[cfe-commits] r71097 - in /cfe/branches/Apple/Dib: include/clang/Analysis/PathSensitive/MemRegion.h lib/Analysis/MemRegion.cpp

Mike Stump mrs at apple.com
Wed May 6 11:24:43 PDT 2009


Author: mrs
Date: Wed May  6 13:24:43 2009
New Revision: 71097

URL: http://llvm.org/viewvc/llvm-project?rev=71097&view=rev
Log:
Merge in 71075:

The super region of ElementRegion no longer needs to be TypedRegion. In the
future we would create ElementRegion directly on top of typeless regions.

Modified:
    cfe/branches/Apple/Dib/include/clang/Analysis/PathSensitive/MemRegion.h
    cfe/branches/Apple/Dib/lib/Analysis/MemRegion.cpp

Modified: cfe/branches/Apple/Dib/include/clang/Analysis/PathSensitive/MemRegion.h
URL: http://llvm.org/viewvc/llvm-project/cfe/branches/Apple/Dib/include/clang/Analysis/PathSensitive/MemRegion.h?rev=71097&r1=71096&r2=71097&view=diff

==============================================================================
--- cfe/branches/Apple/Dib/include/clang/Analysis/PathSensitive/MemRegion.h (original)
+++ cfe/branches/Apple/Dib/include/clang/Analysis/PathSensitive/MemRegion.h Wed May  6 13:24:43 2009
@@ -619,7 +619,7 @@
   /// 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

Modified: cfe/branches/Apple/Dib/lib/Analysis/MemRegion.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/branches/Apple/Dib/lib/Analysis/MemRegion.cpp?rev=71097&r1=71096&r2=71097&view=diff

==============================================================================
--- cfe/branches/Apple/Dib/lib/Analysis/MemRegion.cpp (original)
+++ cfe/branches/Apple/Dib/lib/Analysis/MemRegion.cpp Wed May  6 13:24:43 2009
@@ -304,7 +304,7 @@
 
 ElementRegion*
 MemRegionManager::getElementRegion(QualType elementType, SVal Idx,
-                                   const TypedRegion* superRegion){
+                                   const MemRegion* superRegion){
 
   llvm::FoldingSetNodeID ID;
   ElementRegion::ProfileRegion(ID, elementType, Idx, superRegion);





More information about the cfe-commits mailing list