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 59cc31cd46182b3018f21f5f367fa4fcdae1db7c..db4a62dbce6356a1acb2e4760a4fee3a6295773f 100644 (file)
--- 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 78cd8146e48d0cdd7bd997d640eb73843e907ac0..84fd163093aa09bb97f771849e24c50a6c443f72 100644 (file)
--- 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);