Detect what variable is null after if with both branches set variable to null value.

1 files changed, 8 insertions, 0 deletions

diff --git a/src/analysis/statement.cpp b/src/analysis/statement.cpp
index f405c2c..e22cdae 100644
--- a/src/analysis/statement.cpp
+++ b/src/analysis/statement.cpp
@@ -170,6 +170,14 @@ void analyseCondition(Node *node,
                 addNonNullVar(wo, it);
             }
         }
+        FOR_EACH (it, wo2.knownNullVars)
+        {
+            if (isIn(it, wo3.knownNullVars) &&
+                isNotIn(it, wo.knownNullVars))
+            {
+                addNullVar(wo, it);
+            }
+        }
     }
 
     wo.isReturned = false;