diff options
Diffstat (limited to 'src/analysis/expression.cpp')
| -rw-r--r-- | src/analysis/expression.cpp | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/analysis/expression.cpp b/src/analysis/expression.cpp index 177c4ec..fa14172 100644 --- a/src/analysis/expression.cpp +++ b/src/analysis/expression.cpp @@ -113,6 +113,18 @@ void analyseModifyExpr(ModifyExprNode *node, const WalkItem &wi, WalkItem &wo) Node *arg = skipNop(node->args[0]); if (arg) { + std::string var1 = getVariableName(arg); + std::string var2 = getVariableName(node->args[1]); + // var2 not found in known checking pointer + if (wi.needCheckNullVars.find(var2) == wi.needCheckNullVars.end() && + wi.knownVars.find(var2) == wi.knownVars.end()) + { + //Log::log("removed var: %s\n", var1.c_str()); + removeNeedCheckNullVar(wo, var1); + wo.removeNullVars.insert(var1); +// return; + } + if (arg == INDIRECT_REF) { reportParmDeclNullPointer(node, |