From 2001b8e81fd53d6d36c894309bd20c606b4c98f7 Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Tue, 30 Jun 2009 07:41:27 +0000 Subject: [PATCH] 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 --- lib/Analysis/BasicStore.cpp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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(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(R)) { - SymbolRef Sym = SR->getSymbol(); - BaseR = MRMgr.getTypedViewRegion(Sym->getType(getContext()), SR); + BaseR = SR; } break; -- 2.50.1