From 0b9b0be3ad76d69a15b2ad7baafa4278e28becb1 Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Tue, 21 Jul 2015 22:37:02 +0300
Subject: Track variables as non null if to pointer variable assigned non zero
 value.

---
 src/analysis/expression.cpp | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/analysis/expression.cpp b/src/analysis/expression.cpp
index ba4802b..9fcc11e 100644
--- a/src/analysis/expression.cpp
+++ b/src/analysis/expression.cpp
@@ -756,9 +756,12 @@ bool handleSetVarToFunctionBack(const std::string &var,
                                 Node *node2,
                                 WalkItem &wo)
 {
-    if (node2 == INTEGER_CST && node2->label == "0")
+    if (node2 == INTEGER_CST)
     {
-        addNullVar(wo, var);
+        if (node2->label == "0")
+            addNullVar(wo, var);
+        else
+            addNonNullVar(wo, var);
         return true;
     }
     return false;
-- 
cgit v1.2.3-60-g2f50