[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