diff options
| author | Andrei Karas <akaras@inbox.ru> | 2015-08-08 18:54:50 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2015-08-08 18:54:50 +0300 |
| commit | 2199f3abff5c4b65c6236eea1e86dd68727c8a52 (patch) | |
| tree | 19800438010eb5d637c8bfd51a904faab70fdce0 | |
| parent | 89488241b4941bdc0598e6c191702fec59e37b62 (diff) | |
| download | paranucker-2199f3abff5c4b65c6236eea1e86dd68727c8a52.tar.gz paranucker-2199f3abff5c4b65c6236eea1e86dd68727c8a52.tar.bz2 paranucker-2199f3abff5c4b65c6236eea1e86dd68727c8a52.tar.xz paranucker-2199f3abff5c4b65c6236eea1e86dd68727c8a52.zip | |
Dont check variable in CALL_EXPR if variable have attribute NONNULLPOINTER.
| -rw-r--r-- | src/analysis/expression.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/analysis/expression.cpp b/src/analysis/expression.cpp index 6af1d78..2663a29 100644 --- a/src/analysis/expression.cpp +++ b/src/analysis/expression.cpp @@ -981,7 +981,8 @@ void analyseCallExpr(CallExprNode *node, const WalkItem &wi, WalkItem &wo) VarItem var = getVariableName(node2); if (enableCheck) { - reportParmDeclNullPointer(node, node2, wi); + if (!var.isNonNull) + reportParmDeclNullPointer(node, node2, wi); enableCheck = false; } else |