Added "CheckerState" field to ValueState.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47979 91177308-0d34-0410-b5e6-96231b3b80d8

include/clang/Analysis/PathSensitive/ValueState.h

@@ -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