diff options
| -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); |