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

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

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