diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-05-06 08:15:46 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-05-06 08:15:46 +0000 |
commit | 4c44e243e36aaaab3fee24ba1190ca65d33bf2ca (patch) | |
tree | 9a6fbf1e838d179be93af4fe82dee9d02dff9c6b | |
parent | ccb161603c3c280c378e6701986e9f3646898277 (diff) |
The super region of ElementRegion no longer needs to be TypedRegion. In the
future we would create ElementRegion directly on top of typeless regions.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71075 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | include/clang/Analysis/PathSensitive/MemRegion.h | 2 | ||||
-rw-r--r-- | lib/Analysis/MemRegion.cpp | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/include/clang/Analysis/PathSensitive/MemRegion.h b/include/clang/Analysis/PathSensitive/MemRegion.h index 59cc31cd46..db4a62dbce 100644 --- a/include/clang/Analysis/PathSensitive/MemRegion.h +++ b/include/clang/Analysis/PathSensitive/MemRegion.h @@ -619,7 +619,7 @@ public: /// getElementRegion - Retrieve the memory region associated with the /// associated element type, index, and super region. ElementRegion* getElementRegion(QualType elementType, SVal Idx, - const TypedRegion* superRegion); + const MemRegion* superRegion); /// getFieldRegion - Retrieve or create the memory region associated with /// a specified FieldDecl. 'superRegion' corresponds to the containing diff --git a/lib/Analysis/MemRegion.cpp b/lib/Analysis/MemRegion.cpp index 78cd8146e4..84fd163093 100644 --- a/lib/Analysis/MemRegion.cpp +++ b/lib/Analysis/MemRegion.cpp @@ -304,7 +304,7 @@ MemRegionManager::getCompoundLiteralRegion(const CompoundLiteralExpr* CL) { ElementRegion* MemRegionManager::getElementRegion(QualType elementType, SVal Idx, - const TypedRegion* superRegion){ + const MemRegion* superRegion){ llvm::FoldingSetNodeID ID; ElementRegion::ProfileRegion(ID, elementType, Idx, superRegion); |