Handle situation like this: "type var = nullptr". Here var will be known as nulled variable.

1 files changed, 11 insertions, 0 deletions

diff --git a/src/analysis/collections.cpp b/src/analysis/collections.cpp
index d8d9510..b7acf6d 100644
--- a/src/analysis/collections.cpp
+++ b/src/analysis/collections.cpp
@@ -187,6 +187,17 @@ void addUnknownVar(WalkItem &wi,
     wi.removeNullVarsAll.erase(var);
 }
 
+void addNullVar(WalkItem &wi,
+                const std::string &var)
+{
+    wi.knownVars.insert(var);
+    wi.knownNullVars.insert(var);
+    wi.knownNonNullVars.erase(var);
+    wi.addNullVars.insert(var);
+    wi.removeNullVars.erase(var);
+    wi.removeNullVarsAll.erase(var);
+}
+
 void addNonNullVar(WalkItem &wi,
                    const std::string &var)
 {