aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2008-03-05 23:32:23 +0000
committerTed Kremenek <kremenek@apple.com>2008-03-05 23:32:23 +0000
commitcb0ab296dd7942b951ca84a0b82b954e3642b116 (patch)
treecb3616d648cba054502ac0cf18e1724ba158f6b7
parent55aea31ee3d35a05387b4eddb13c7b19408c8cf6 (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.h8
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