diff options
| author | Andrei Karas <akaras@inbox.ru> | 2015-07-23 17:01:33 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2015-07-23 17:01:33 +0300 |
| commit | f454b761bf96d2d2fc877eefdd13aa5c1b713753 (patch) | |
| tree | 50e45001f4edb04789aabfa735914bd7cd317d1e | |
| parent | 57adc4b80c716565bdc6403e4823260e9f876e86 (diff) | |
| download | paranucker-f454b761bf96d2d2fc877eefdd13aa5c1b713753.tar.gz paranucker-f454b761bf96d2d2fc877eefdd13aa5c1b713753.tar.bz2 paranucker-f454b761bf96d2d2fc877eefdd13aa5c1b713753.tar.xz paranucker-f454b761bf96d2d2fc877eefdd13aa5c1b713753.zip | |
While adding known null/non null vars also add it to known vars collection.
| -rw-r--r-- | src/analysis/collections.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
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); |