shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity

An ElementRegion is really a typed region. Its super region's type has to be ArrayType.

Browse Source 
llvm-svn: 58245
This commit is contained in:
Zhongxing Xu 2008-10-27 13:17:02 +00:00
parent 89ebcb9d8d
commit 7b700575dd
2 changed files with 11 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
clang/include/clang/Analysis/PathSensitive/MemRegion.h
View File

@ -327,13 +327,13 @@ public:
}
};
class ElementRegion : public SubRegion {
class ElementRegion : public TypedRegion {
friend class MemRegionManager;
SVal Index;
ElementRegion(SVal Idx, const MemRegion* sReg)
: SubRegion(sReg, ElementRegionKind), Index(Idx) {}
: TypedRegion(sReg, ElementRegionKind), Index(Idx) {}
static void ProfileRegion(llvm::FoldingSetNodeID& ID, SVal Idx,
const MemRegion* superRegion);
@ -342,6 +342,8 @@ public:
SVal getIndex() const { return Index; }
QualType getType(ASTContext&) const;
void print(llvm::raw_ostream& os) const;
void Profile(llvm::FoldingSetNodeID& ID) const;

7
clang/lib/Analysis/MemRegion.cpp
View File

@ -83,6 +83,13 @@ void ElementRegion::ProfileRegion(llvm::FoldingSetNodeID& ID, SVal Idx,
void ElementRegion::Profile(llvm::FoldingSetNodeID& ID) const {
ElementRegion::ProfileRegion(ID, Index, superRegion);
}
QualType ElementRegion::getType(ASTContext& C) const {
QualType T = cast<TypedRegion>(superRegion)->getType(C);
ArrayType* AT = cast<ArrayType>(T.getTypePtr());
return AT->getElementType();
}
//===----------------------------------------------------------------------===//
// Region pretty-printing.
//===----------------------------------------------------------------------===//