If in if/while body changed any variable, outside of body it removed from known null vars.

1 files changed, 11 insertions, 0 deletions

diff --git a/src/analysis/collections.cpp b/src/analysis/collections.cpp
index b7acf6d..e9acce6 100644
--- a/src/analysis/collections.cpp
+++ b/src/analysis/collections.cpp
@@ -58,6 +58,17 @@ void addNeedCheckNullVars2(WalkItem &wi, WalkItem &wo)
     }
 }
 
+void removeKnownNullVars2(WalkItem &wi, WalkItem &wo)
+{
+    FOR_EACH (it, wo.knownNullVars)
+    {
+        if (isNotIn(it, wi.knownNullVars))
+        {
+            wo.knownNullVars.erase(it);
+        }
+    }
+}
+
 void removeNeedCheckNullVars2(WalkItem &wco, WalkItem &wi, WalkItem &wo)
 {
     FOR_EACH (it, wi.knownNonNullVars)