diff options
Diffstat (limited to 'src/analysis/statement.cpp')
| -rw-r--r-- | src/analysis/statement.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/analysis/statement.cpp b/src/analysis/statement.cpp index 1bedd7f..08bb4db 100644 --- a/src/analysis/statement.cpp +++ b/src/analysis/statement.cpp @@ -63,6 +63,8 @@ void analyseCondition(Node *node, removeCheckNullVarsSet(wi2, wco.checkedNonNullVars); wi2.checkNullVars.insert(wco.checkedNullVars.begin(), wco.checkedNullVars.end()); + wi2.knownVars.insert(wco.checkedNullVars.begin(), + wco.checkedNullVars.end()); Log::dumpWI(node, "wi2 then ", wi2); reportParmDeclNullPointer(node, @@ -75,6 +77,8 @@ void analyseCondition(Node *node, removeCheckNullVarsSet(wi3, wco.checkedNullVars); wi3.checkNullVars.insert(wco.checkedNonNullVars.begin(), wco.checkedNonNullVars.end()); + wi3.knownVars.insert(wco.checkedNonNullVars.begin(), + wco.checkedNonNullVars.end()); Log::dumpWI(node, "wi3 else ", wi3); reportParmDeclNullPointer(node, |