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 | 6377a9877436fd84b7c0be21125ed159274090c3 (patch) | |
| tree | 0880a4b6c21b39c7676d4feb88b87356c1985100 /clang/lib/Analysis/BasicStore.cpp | |
| parent | 778a51772509d3481987a1808708f5e276327afd (diff) | |
| download | bcm5719-llvm-6377a9877436fd84b7c0be21125ed159274090c3.tar.gz bcm5719-llvm-6377a9877436fd84b7c0be21125ed159274090c3.zip | |
We do not require the super region of element region be typed. So do not
create TypedViewRegion for it.
llvm-svn: 74516
Diffstat (limited to 'clang/lib/Analysis/BasicStore.cpp')
| -rw-r--r-- | clang/lib/Analysis/BasicStore.cpp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/clang/lib/Analysis/BasicStore.cpp b/clang/lib/Analysis/BasicStore.cpp index 368345dfe45..56cf799943e 100644 --- a/clang/lib/Analysis/BasicStore.cpp +++ b/clang/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; |
