[cfe-commits] r74516 - /cfe/trunk/lib/Analysis/BasicStore.cpp

[Zhongxing Xu]

Author: zhongxingxu
Date: Tue Jun 30 02:41:27 2009
New Revision: 74516

URL: http://llvm.org/viewvc/llvm-project?rev=74516&view=rev
Log:
We do not require the super region of element region be typed. So do not
create TypedViewRegion for it.


Modified:
    cfe/trunk/lib/Analysis/BasicStore.cpp

Modified: cfe/trunk/lib/Analysis/BasicStore.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/BasicStore.cpp?rev=74516&r1=74515&r2=74516&view=diff

==============================================================================
--- cfe/trunk/lib/Analysis/BasicStore.cpp (original)
+++ cfe/trunk/lib/Analysis/BasicStore.cpp Tue Jun 30 02:41:27 2009
@@ -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;