From: Zhongxing Xu <xuzhongxing@gmail.com>
Date: Sat, 17 Oct 2009 07:32:08 +0000 (+0000)
Subject: Actually all regions whose super region is not MemSpaceRegion are of these 3
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=8801bebca3b71a7229d9eb606ea234a5a7721a3f;p=clang

Actually all regions whose super region is not MemSpaceRegion are of these 3
kinds. This means we are visiting all regions 'from super region'.


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

diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp
index 18d58ab10f..fe142af07a 100644
--- a/lib/Analysis/RegionStore.cpp
+++ b/lib/Analysis/RegionStore.cpp
@@ -1741,11 +1741,10 @@ void RegionStoreManager::RemoveDeadBindings(GRState &state, Stmt* Loc,
         // for the other fields and elements around.  The reason is that
         // pointer arithmetic can get us to the other fields or elements.
         // FIXME: add an assertion that this is always true.
-        VisitFlag NewVisit =
-          isa<FieldRegion>(R) || isa<ElementRegion>(R) || isa<ObjCIvarRegion>(R)
-          ? VisitedFromSuperRegion : VisitedFromSubRegion;
-        
-        WorkList.push_back(RBDItem(state_N, superR, NewVisit));
+
+        assert(isa<FieldRegion>(R) || isa<ElementRegion>(R) 
+               || isa<ObjCIvarRegion>(R));
+        WorkList.push_back(RBDItem(state_N, superR, VisitedFromSuperRegion));
       }
     }