From: Zhongxing Xu <xuzhongxing@gmail.com>
Date: Wed, 6 May 2009 08:15:46 +0000 (+0000)
Subject: The super region of ElementRegion no longer needs to be TypedRegion. In the
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=4c44e243e36aaaab3fee24ba1190ca65d33bf2ca;p=clang

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
---

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);