From 2199f3abff5c4b65c6236eea1e86dd68727c8a52 Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Sat, 8 Aug 2015 18:54:50 +0300
Subject: Dont check variable in CALL_EXPR if variable have attribute
 NONNULLPOINTER.

---
 src/analysis/expression.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
cgit v1.2.3-60-g2f50