diff options
author | Andrei Karas <akaras@inbox.ru> | 2015-07-23 22:03:03 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2015-07-23 22:03:03 +0300 |
commit | b4d939b41aa569853b8367b1796bf6c3a83f5114 (patch) | |
tree | 594171c6161f7db6152350846e6ba56bf69ce7f1 | |
parent | d72e17479567eec5871e02d02154d288b8c13de2 (diff) | |
download | paranucker-b4d939b41aa569853b8367b1796bf6c3a83f5114.tar.gz paranucker-b4d939b41aa569853b8367b1796bf6c3a83f5114.tar.bz2 paranucker-b4d939b41aa569853b8367b1796bf6c3a83f5114.tar.xz paranucker-b4d939b41aa569853b8367b1796bf6c3a83f5114.zip |
Add some missing checks for null pointers.
-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 0d2647b..4e084ae 100644 --- a/src/analysis/expression.cpp +++ b/src/analysis/expression.cpp @@ -959,6 +959,10 @@ bool handleSetVarToFunction(const std::string &var, { node1 = skipNop(node1); node2 = skipNop(node2); + + reportParmDeclLeftNullPointer(node1, node1, wo); + reportParmDeclNullPointer(node2, node2, wo); + if (!isPointerArg(node1)) return handleSetVarToFunctionBack(var, node2, wo); @@ -1090,6 +1094,8 @@ void analyseInitExpr(InitExprNode* node, return; handleSetVar(node->args[0], node->args[1], wi, wo); + reportParmDeclLeftNullPointer(node, node->args[0], wi); + reportParmDeclLeftNullPointer(node, node->args[1], wi); } } |