From 9acaf3ffa718cde77b9677e70e70e2768fe4d668 Mon Sep 17 00:00:00 2001 From: Andrei Karas Date: Sat, 8 Aug 2015 21:42:15 +0300 Subject: In MODIFY_EXPR report only if vars without non null flags. --- src/analysis/expression.cpp | 6 ++++-- 1 file 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); } } } -- cgit v1.2.3-60-g2f50