aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Checker/PathSensitive/BasicValueFactory.h
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2010-02-05 02:26:30 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2010-02-05 02:26:30 +0000
commitbfcaf8048d1673320de60a22ca9c297d7484b2a8 (patch)
treed09d37cbff8aa84f7ef123881bae7138a33e2c78 /include/clang/Checker/PathSensitive/BasicValueFactory.h
parent9f9e0dbc13a85b35fcf36883619c7e6f89ca5a84 (diff)
Change LazyCompoundVal to a <Store, MemRegion*> pair. We really don't need to
spread GRState* everywhere. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95354 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/Checker/PathSensitive/BasicValueFactory.h')
-rw-r--r--include/clang/Checker/PathSensitive/BasicValueFactory.h14
1 files changed, 7 insertions, 7 deletions
diff --git a/include/clang/Checker/PathSensitive/BasicValueFactory.h b/include/clang/Checker/PathSensitive/BasicValueFactory.h
index 1717c268d3..2f0b6c2a03 100644
--- a/include/clang/Checker/PathSensitive/BasicValueFactory.h
+++ b/include/clang/Checker/PathSensitive/BasicValueFactory.h
@@ -46,19 +46,19 @@ public:
};
class LazyCompoundValData : public llvm::FoldingSetNode {
- const GRState *state;
+ const void *store;
const TypedRegion *region;
public:
- LazyCompoundValData(const GRState *st, const TypedRegion *r)
- : state(st), region(r) {}
+ LazyCompoundValData(const void *st, const TypedRegion *r)
+ : store(st), region(r) {}
- const GRState *getState() const { return state; }
+ const void *getStore() const { return store; }
const TypedRegion *getRegion() const { return region; }
- static void Profile(llvm::FoldingSetNodeID& ID, const GRState *state,
+ static void Profile(llvm::FoldingSetNodeID& ID, const void *store,
const TypedRegion *region);
- void Profile(llvm::FoldingSetNodeID& ID) { Profile(ID, state, region); }
+ void Profile(llvm::FoldingSetNodeID& ID) { Profile(ID, store, region); }
};
class BasicValueFactory {
@@ -169,7 +169,7 @@ public:
const CompoundValData *getCompoundValData(QualType T,
llvm::ImmutableList<SVal> Vals);
- const LazyCompoundValData *getLazyCompoundValData(const GRState *state,
+ const LazyCompoundValData *getLazyCompoundValData(const void *store,
const TypedRegion *region);
llvm::ImmutableList<SVal> getEmptySValList() {