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 | b4a9c612f901a47135ea531f60db997d4cc4cdf5 (patch) | |
| tree | 44e5b1c338fb29d2bdf24e1c9caae718ee42bd89 /lib/Checker/CFRefCount.cpp | |
| parent | a4e8c2a65a985782344a818d356c40d117fc4f12 (diff) | |
More GRState* -> Store changes.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95360 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/CFRefCount.cpp')
| -rw-r--r-- | lib/Checker/CFRefCount.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/Checker/CFRefCount.cpp b/lib/Checker/CFRefCount.cpp index 6577219a4d..85d9dbdce1 100644 --- a/lib/Checker/CFRefCount.cpp +++ b/lib/Checker/CFRefCount.cpp @@ -2683,10 +2683,12 @@ void CFRefCount::EvalSummary(ExplodedNodeSet& Dst, StoreManager::InvalidatedSymbols IS; - state = StoreMgr.InvalidateRegions(state, RegionsToInvalidate.data(), + Store store = state->getStore(); + store = StoreMgr.InvalidateRegions(store, RegionsToInvalidate.data(), RegionsToInvalidate.data() + RegionsToInvalidate.size(), Ex, Count, &IS); + state = state->makeWithStore(store); for (StoreManager::InvalidatedSymbols::iterator I = IS.begin(), E = IS.end(); I!=E; ++I) { // Remove any existing reference-count binding. |