Remove all variables from knownVars if both branches in if returned.

1 files changed, 3 insertions, 1 deletions

diff --git a/src/analysis/statement.cpp b/src/analysis/statement.cpp
index 71b5227..ec9ec7f 100644
--- a/src/analysis/statement.cpp
+++ b/src/analysis/statement.cpp
@@ -179,9 +179,11 @@ void analyseCondition(Node *node,
     if (wo2.isReturned && wo3.isReturned)
     {
         // add variable for ignore for all parent nodes except special like IF_STMT
-        FOR_EACH (it, wo.needCheckNullVars)
+        FOR_EACH (it, wo.knownVars)
         {
             wo.removeNullVarsAll.insert(it);
+            wo.knownNullVars.erase(it);
+            wo.knownNonNullVars.erase(it);
         }
     }