OSchip
/
llvm-project
mirror of https://github.com/THU-DSP-LAB/llvm-project.git
13
0
Fork 6
Code Issues Packages Projects Releases Wiki Activity

Do not create a TypedViewRegion when the base struct region is a symbolic 

region. In the future we may set the cast-to type as the same time. But for
now, we simply leave it as it is.

llvm-svn: 71357
This commit is contained in:
Zhongxing Xu 2009-05-09 13:36:16 +00:00
parent 4bc5a4c3bd
commit b18d7cab0c
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
clang/lib/Analysis/RegionStore.cpp
View File

@ -371,10 +371,6 @@ SVal RegionStoreManager::getLValueFieldOrIvar(const GRState* St, SVal Base,
switch (BaseL.getSubKind()) {
case loc::MemRegionKind:
BaseR = cast<loc::MemRegionVal>(BaseL).getRegion();
if (const SymbolicRegion* SR = dyn_cast<SymbolicRegion>(BaseR)) {
SymbolRef Sym = SR->getSymbol();
BaseR = MRMgr.getTypedViewRegion(Sym->getType(getContext()), SR);
}
break;
case loc::GotoLabelKind: