Improve analysis for nodes EQ_EXPR, NE_EXPR, TRUTH_ORIF_EXPR (incomplete).

1 files changed, 9 insertions, 4 deletions

diff --git a/src/analysis/walkitem.h b/src/analysis/walkitem.h
index 29352c0..11245bf 100644
--- a/src/analysis/walkitem.h
+++ b/src/analysis/walkitem.h
@@ -28,22 +28,27 @@ struct WalkItem
     WalkItem() :
         checkNullVars(),
         removeNullVars(),
+        checkedNullVars(),
+        checkedNonNullVars(),
         stopWalking(false),
-        isReturned(false),
-        isExpr(false)
+        isReturned(false)
     {
     }
 
     WalkItem(const WalkItem &item) :
         checkNullVars(item.checkNullVars),
         removeNullVars(item.removeNullVars),
+        checkedNullVars(item.checkedNullVars),
+        checkedNonNullVars(item.checkedNonNullVars),
         stopWalking(item.stopWalking),
         isReturned(item.isReturned)
     {
     }
 
-    std::set<std::string> checkNullVars;
-    std::set<std::string> removeNullVars;
+    std::set<std::string> checkNullVars;        // need check for usage without null pointer check
+    std::set<std::string> removeNullVars;       // need remove vars from parent checkNullVars
+    std::set<std::string> checkedNullVars;      // vars checked for null in expressions
+    std::set<std::string> checkedNonNullVars;   // vars checked for nonnull in expressions
     bool stopWalking;   // stop walking on tree after this node
     bool isReturned;    // set if return present in child nodes
     bool isExpr;        // set if walking on expression for if other kind nodes