summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/Store.cpp
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2010-02-05 05:06:13 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2010-02-05 05:06:13 +0000
commit7fcd8acbf872229d7271364f4d32fda90be901d9 (patch)
tree2364d127d76576240547a3e8766284181a4bb33e /clang/lib/Checker/Store.cpp
parent8a6d15d5edc7220516c4bf83140d479217842e65 (diff)
downloadbcm5719-llvm-7fcd8acbf872229d7271364f4d32fda90be901d9.tar.gz
bcm5719-llvm-7fcd8acbf872229d7271364f4d32fda90be901d9.zip
More GRState* -> Store changes.
llvm-svn: 95360
Diffstat (limited to 'clang/lib/Checker/Store.cpp')
-rw-r--r--clang/lib/Checker/Store.cpp15
1 files changed, 7 insertions, 8 deletions
diff --git a/clang/lib/Checker/Store.cpp b/clang/lib/Checker/Store.cpp
index 98b86a9f46b..c7746a6dec6 100644
--- a/clang/lib/Checker/Store.cpp
+++ b/clang/lib/Checker/Store.cpp
@@ -224,16 +224,15 @@ SVal StoreManager::CastRetrievedVal(SVal V, const TypedRegion *R,
return V;
}
-const GRState *StoreManager::InvalidateRegions(const GRState *state,
- const MemRegion * const *I,
- const MemRegion * const *End,
- const Expr *E,
- unsigned Count,
- InvalidatedSymbols *IS) {
+Store StoreManager::InvalidateRegions(Store store,
+ const MemRegion * const *I,
+ const MemRegion * const *End,
+ const Expr *E, unsigned Count,
+ InvalidatedSymbols *IS) {
for ( ; I != End ; ++I)
- state = InvalidateRegion(state, *I, E, Count, IS);
+ store = InvalidateRegion(store, *I, E, Count, IS);
- return state;
+ return store;
}
//===----------------------------------------------------------------------===//
OpenPOWER on IntegriCloud