diff options
| author | Andrei Karas <akaras@inbox.ru> | 2015-07-20 00:49:51 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2015-07-20 00:49:51 +0300 |
| commit | 0bee72a563eeecc365b7b3d4fda9f9adff83244b (patch) | |
| tree | db4041f71f25b934b6501b62fe0a8257ba8bc8c9 /src | |
| parent | 587f1e6e3c9f2e46751cf19782f0d2a8ba9cd997 (diff) | |
| download | paranucker-0bee72a563eeecc365b7b3d4fda9f9adff83244b.tar.gz paranucker-0bee72a563eeecc365b7b3d4fda9f9adff83244b.tar.bz2 paranucker-0bee72a563eeecc365b7b3d4fda9f9adff83244b.tar.xz paranucker-0bee72a563eeecc365b7b3d4fda9f9adff83244b.zip | |
Allow detect if variable was assigned nullptr.
Diffstat (limited to 'src')
| -rw-r--r-- | src/analysis/expression.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/analysis/expression.cpp b/src/analysis/expression.cpp index 70b1666..2ea26e6 100644 --- a/src/analysis/expression.cpp +++ b/src/analysis/expression.cpp @@ -179,6 +179,11 @@ void analyseModifyExpr(ModifyExprNode *node, const WalkItem &wi, WalkItem &wo) { handled = handleSetVarToFunction(var1, arg1, wo); } + else if (arg1 == INTEGER_CST && arg1->label == "0") + { + addNullVar(wo, var1); + handled = true; + } // have var1 only (var1 = UNKNOWN) if (!handled) removeVar(wo, var1); |