diff options
author | Andrei Karas <akaras@inbox.ru> | 2015-08-08 21:42:15 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2015-08-08 21:42:15 +0300 |
commit | 9acaf3ffa718cde77b9677e70e70e2768fe4d668 (patch) | |
tree | 5310adc97f0781d77a417c8d4078e3b5b9db42a1 | |
parent | dd15ba9fe775ba27eb6545c37f2ac3f062af7611 (diff) | |
download | paranucker-9acaf3ffa718cde77b9677e70e70e2768fe4d668.tar.gz paranucker-9acaf3ffa718cde77b9677e70e70e2768fe4d668.tar.bz2 paranucker-9acaf3ffa718cde77b9677e70e70e2768fe4d668.tar.xz paranucker-9acaf3ffa718cde77b9677e70e70e2768fe4d668.zip |
In MODIFY_EXPR report only if vars without non null flags.
-rw-r--r-- | src/analysis/expression.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/analysis/expression.cpp b/src/analysis/expression.cpp index 2663a29..7b2b897 100644 --- a/src/analysis/expression.cpp +++ b/src/analysis/expression.cpp @@ -411,8 +411,10 @@ void analyseModifyExpr(ModifyExprNode *node, const WalkItem &wi, WalkItem &wo) } else { - reportParmDeclLeftNullPointer(node, node->args[0], wi); - reportParmDeclNullPointer(node, node->args[1], wi); + if (var1.empty() || !var1.isNonNull) + reportParmDeclLeftNullPointer(node, node->args[0], wi); + if (var2.empty() || !var2.isNonNull) + reportParmDeclNullPointer(node, node->args[1], wi); } } } |