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

We cannot get precise lvalue for symbolic base array region. 

llvm-svn: 58243
This commit is contained in:
Zhongxing Xu 2008-10-27 12:23:17 +00:00
parent c6db58a6bd
commit 36d4ade4be
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -168,6 +168,9 @@ SVal RegionStoreManager::getLValueElement(const GRState* St,
if (Base.isUnknownOrUndef()) if (Base.isUnknownOrUndef())
return Base; return Base;
if (isa<loc::SymbolVal>(Base))
return Base;
loc::MemRegionVal& BaseL = cast<loc::MemRegionVal>(Base); loc::MemRegionVal& BaseL = cast<loc::MemRegionVal>(Base);
// We expect BaseR is an ElementRegion, not a base VarRegion. // We expect BaseR is an ElementRegion, not a base VarRegion.