From: Zhongxing Xu <xuzhongxing@gmail.com>
Date: Tue, 30 Jun 2009 07:41:27 +0000 (+0000)
Subject: We do not require the super region of element region be typed. So do not
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=2001b8e81fd53d6d36c894309bd20c606b4c98f7;p=clang

We do not require the super region of element region be typed. So do not
create TypedViewRegion for it.



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

diff --git a/lib/Analysis/BasicStore.cpp b/lib/Analysis/BasicStore.cpp
index 368345dfe4..56cf799943 100644
--- a/lib/Analysis/BasicStore.cpp
+++ b/lib/Analysis/BasicStore.cpp
@@ -198,7 +198,7 @@ SVal BasicStoreManager::getLValueElement(const GRState *state,
     return Base;
   
   Loc BaseL = cast<Loc>(Base);  
-  const TypedRegion* BaseR = 0;
+  const MemRegion* BaseR = 0;
   
   switch(BaseL.getSubKind()) {
     case loc::GotoLabelKind:
@@ -223,8 +223,7 @@ SVal BasicStoreManager::getLValueElement(const GRState *state,
       }
       
       if (const SymbolicRegion* SR = dyn_cast<SymbolicRegion>(R)) {
-        SymbolRef Sym = SR->getSymbol();
-        BaseR = MRMgr.getTypedViewRegion(Sym->getType(getContext()), SR);
+        BaseR = SR;
       }
       
       break;