diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-02-05 05:06:13 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-02-05 05:06:13 +0000 |
commit | 7fcd8acbf872229d7271364f4d32fda90be901d9 (patch) | |
tree | 2364d127d76576240547a3e8766284181a4bb33e /clang/lib/Checker/Store.cpp | |
parent | 8a6d15d5edc7220516c4bf83140d479217842e65 (diff) | |
download | bcm5719-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.cpp | 15 |
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; } //===----------------------------------------------------------------------===// |