diff options
author | Ted Kremenek <kremenek@apple.com> | 2008-03-05 23:32:23 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2008-03-05 23:32:23 +0000 |
commit | cb0ab296dd7942b951ca84a0b82b954e3642b116 (patch) | |
tree | cb3616d648cba054502ac0cf18e1724ba158f6b7 | |
parent | 55aea31ee3d35a05387b4eddb13c7b19408c8cf6 (diff) |
Added "CheckerState" field to ValueState.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47979 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | include/clang/Analysis/PathSensitive/ValueState.h | 8 |
1 files changed, 6 insertions, 2 deletions
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 |