commit 6377a9877436fd84b7c0be21125ed159274090c3
author Zhongxing Xu <xuzhongxing@gmail.com> Tue Jun 30 07:41:27 2009 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Tue Jun 30 07:41:27 2009 +0000
tree 0880a4b6c21b39c7676d4feb88b87356c1985100
parent 778a51772509d3481987a1808708f5e276327afd

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

llvm-svn: 74516

clang/lib/Analysis/BasicStore.cpp

diff --git a/clang/lib/Analysis/BasicStore.cpp b/clang/lib/Analysis/BasicStore.cpp
index 368345d..56cf799 100644
--- a/clang/lib/Analysis/BasicStore.cpp
+++ b/clang/lib/Analysis/BasicStore.cpp
@@ -198,7 +198,7 @@
     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 @@
       }
       
       if (const SymbolicRegion* SR = dyn_cast<SymbolicRegion>(R)) {
-        SymbolRef Sym = SR->getSymbol();
-        BaseR = MRMgr.getTypedViewRegion(Sym->getType(getContext()), SR);
+        BaseR = SR;
       }
       
       break;