From f454b761bf96d2d2fc877eefdd13aa5c1b713753 Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Thu, 23 Jul 2015 17:01:33 +0300
Subject: While adding known null/non null vars also add it to known vars
 collection.

---
 src/analysis/collections.cpp | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src')

diff --git a/src/analysis/collections.cpp b/src/analysis/collections.cpp
index 9bdcee8..c94c8af 100644
--- a/src/analysis/collections.cpp
+++ b/src/analysis/collections.cpp
@@ -393,6 +393,8 @@ void addKnownNullVarsWithLinked(WalkItem &wo, WalkItem &wi, std::set<std::string
 {
     wo.knownNullVars.insert(vars.begin(),
         vars.end());
+    wo.knownVars.insert(vars.begin(),
+        vars.end());
     FOR_EACH (it, vars)
     {
         auto it2 = wi.linkedVars.find(it);
@@ -413,6 +415,8 @@ void addKnownNonNullVarsWithLinked(WalkItem &wo, WalkItem &wi, std::set<std::str
 {
     wo.knownNonNullVars.insert(vars.begin(),
         vars.end());
+    wo.knownVars.insert(vars.begin(),
+        vars.end());
     FOR_EACH (it, vars)
     {
         auto it2 = wi.linkedVars.find(it);
-- 
cgit v1.2.3-70-g09d2