diff options
Diffstat (limited to 'lib/Checker/RegionStore.cpp')
| -rw-r--r-- | lib/Checker/RegionStore.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Checker/RegionStore.cpp b/lib/Checker/RegionStore.cpp index f0b61a4ba3..c4072fd803 100644 --- a/lib/Checker/RegionStore.cpp +++ b/lib/Checker/RegionStore.cpp @@ -1863,7 +1863,7 @@ const GRState *RegionStoreManager::RemoveDeadBindings(GRState &state, Stmt* Loc, state.setStore(B.getRoot()); const GRState *s = StateMgr.getPersistentState(state); // Remove the extents of dead symbolic regions. - llvm::ImmutableMap<const MemRegion*,SVal> Extents =state.get<RegionExtents>(); + llvm::ImmutableMap<const MemRegion*,SVal> Extents = s->get<RegionExtents>(); for (llvm::ImmutableMap<const MemRegion *, SVal>::iterator I=Extents.begin(), E = Extents.end(); I != E; ++I) { if (!W.isVisited(I->first)) |