maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Process array base expression of any type. 

llvm-svn: 59240
This commit is contained in:
Zhongxing Xu 2008-11-13 09:48:44 +00:00
parent e9857ddcc0
commit d4e72fca45
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -186,6 +186,14 @@ SVal RegionStoreManager::getLValueElement(const GRState* St,
loc::MemRegionVal& BaseL = cast<loc::MemRegionVal>(Base); loc::MemRegionVal& BaseL = cast<loc::MemRegionVal>(Base);
// Pointer of any type can be cast and used as array base. We do not support
// that case yet.
if (!isa<ElementRegion>(BaseL.getRegion())) {
// Record what we have seen in real code.
assert(isa<FieldRegion>(BaseL.getRegion()));
return UnknownVal();
}
// We expect BaseR is an ElementRegion, not a base VarRegion. // We expect BaseR is an ElementRegion, not a base VarRegion.
const ElementRegion* ElemR = cast<ElementRegion>(BaseL.getRegion()); const ElementRegion* ElemR = cast<ElementRegion>(BaseL.getRegion());