commit ed4214c96ae58a82b79d6fbf9ba987a43bbed0de
author Zhongxing Xu <xuzhongxing@gmail.com> Wed May 26 03:36:08 2010 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Wed May 26 03:36:08 2010 +0000
tree d724befb394dc6c2ff35201eb54b3469df64158f
parent 95798981b4859f61c1a3d4df26cb033b3e91518a

Small fix.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@104669 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Checker/RegionStore.cpp

diff --git a/lib/Checker/RegionStore.cpp b/lib/Checker/RegionStore.cpp
index f0b61a4..c4072fd 100644
--- a/lib/Checker/RegionStore.cpp
+++ b/lib/Checker/RegionStore.cpp
@@ -1863,7 +1863,7 @@
   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))