[cfe-commits] r104669 - /cfe/trunk/lib/Checker/RegionStore.cpp

Zhongxing Xu xuzhongxing at gmail.com
Tue May 25 20:36:08 PDT 2010


Author: zhongxingxu
Date: Tue May 25 22:36:08 2010
New Revision: 104669

URL: http://llvm.org/viewvc/llvm-project?rev=104669&view=rev
Log:
Small fix.

Modified:
    cfe/trunk/lib/Checker/RegionStore.cpp

Modified: cfe/trunk/lib/Checker/RegionStore.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Checker/RegionStore.cpp?rev=104669&r1=104668&r2=104669&view=diff
==============================================================================
--- cfe/trunk/lib/Checker/RegionStore.cpp (original)
+++ cfe/trunk/lib/Checker/RegionStore.cpp Tue May 25 22:36:08 2010
@@ -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))





More information about the cfe-commits mailing list