From: Ted Kremenek <kremenek@apple.com>
Date: Wed, 5 Mar 2008 23:32:23 +0000 (+0000)
Subject: Added "CheckerState" field to ValueState.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=cb0ab296dd7942b951ca84a0b82b954e3642b116;p=clang

Added "CheckerState" field to ValueState.


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

diff --git a/include/clang/Analysis/PathSensitive/ValueState.h b/include/clang/Analysis/PathSensitive/ValueState.h
index 2d538f544c..7a6cf51633 100644
--- a/include/clang/Analysis/PathSensitive/ValueState.h
+++ b/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