]> granicus.if.org Git - clang/commitdiff
Added "CheckerState" field to ValueState.
authorTed Kremenek <kremenek@apple.com>
Wed, 5 Mar 2008 23:32:23 +0000 (23:32 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 5 Mar 2008 23:32:23 +0000 (23:32 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47979 91177308-0d34-0410-b5e6-96231b3b80d8

include/clang/Analysis/PathSensitive/ValueState.h

index 2d538f544c0327515bbb46010d8fa4484d47facc..7a6cf5163383cc4d1c4f62d23c7077ae742d6895 100644 (file)
@@ -69,6 +69,7 @@ public:
   VarBindingsTy    VarBindings;
   ConstNotEqTy     ConstNotEq;
   ConstEqTy        ConstEq;
+  void*            CheckerState;
   
 public:
   
@@ -79,7 +80,8 @@ public:
       BlockExprBindings(EB),
       VarBindings(VB),
       ConstNotEq(CNE),
-      ConstEq(CE) {}
+      ConstEq(CE),
+      CheckerState(NULL) {}
   
   /// Copy ctor - We must explicitly define this or else the "Next" ptr
   ///  in FoldingSetNode will also get copied.
@@ -89,7 +91,8 @@ public:
       BlockExprBindings(RHS.BlockExprBindings),
       VarBindings(RHS.VarBindings),
       ConstNotEq(RHS.ConstNotEq),
-      ConstEq(RHS.ConstEq) {} 
+      ConstEq(RHS.ConstEq),
+      CheckerState(RHS.CheckerState) {} 
   
   /// Profile - Profile the contents of a ValueState object for use
   ///  in a FoldingSet.
@@ -99,6 +102,7 @@ public:
     V->VarBindings.Profile(ID);
     V->ConstNotEq.Profile(ID);
     V->ConstEq.Profile(ID);
+    ID.AddPointer(V->CheckerState);
   }
 
   /// Profile - Used to profile the contents of this object for inclusion