diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-06-30 07:41:27 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-06-30 07:41:27 +0000 |
| commit | 2001b8e81fd53d6d36c894309bd20c606b4c98f7 (patch) | |
| tree | 3e66f2844a7da29f0c5d26617ce44598d8bb07f6 /lib/Analysis/BasicStore.cpp | |
| parent | 149f1386c60aa07de0f6a5d43ab524b22af68059 (diff) | |
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
Diffstat (limited to 'lib/Analysis/BasicStore.cpp')
| -rw-r--r-- | lib/Analysis/BasicStore.cpp | 5 |
1 files 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<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; |