diff options
author | Andrei Karas <akaras@inbox.ru> | 2015-06-17 21:48:47 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2015-06-17 21:48:47 +0300 |
commit | ada4bce8b0199d2f5c42a64f391ccab441ec6429 (patch) | |
tree | 7b22ae30ab372e4ca00194369db62c38536b9869 /src/analysis/expression.cpp | |
parent | bdfcd0d5ebd5465ea8a46bf3760a3d41de603532 (diff) | |
download | paranucker-ada4bce8b0199d2f5c42a64f391ccab441ec6429.tar.gz paranucker-ada4bce8b0199d2f5c42a64f391ccab441ec6429.tar.bz2 paranucker-ada4bce8b0199d2f5c42a64f391ccab441ec6429.tar.xz paranucker-ada4bce8b0199d2f5c42a64f391ccab441ec6429.zip |
Add fake support for checking is return present inside if statemenets.
Diffstat (limited to 'src/analysis/expression.cpp')
-rw-r--r-- | src/analysis/expression.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/analysis/expression.cpp b/src/analysis/expression.cpp index 1a0593f..3d9f0f6 100644 --- a/src/analysis/expression.cpp +++ b/src/analysis/expression.cpp @@ -28,6 +28,7 @@ #include "nodes/expr/addr_expr.h" #include "nodes/expr/modify_expr.h" #include "nodes/expr/pointerplus_expr.h" +#include "nodes/expr/return_expr.h" #include "nodes/ref/indirect_ref.h" @@ -71,4 +72,9 @@ void analyseAddrExpr(AddrExprNode *node, const WalkItem &wi, WalkItem &wo) reportParmDeclNullPointer(node, node->args[0], wi); } +void analyseReturnExpr(ReturnExprNode *node, const WalkItem &wi, WalkItem &wo) +{ + wo.isReturned = true; +} + } |