[cfe-commits] r58313 - /cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h

Zhongxing Xu xuzhongxing at gmail.com
Mon Oct 27 22:15:25 PDT 2008


Author: zhongxingxu
Date: Tue Oct 28 00:15:23 2008
New Revision: 58313

URL: http://llvm.org/viewvc/llvm-project?rev=58313&view=rev
Log:
Add isGlobalsRegion() predicate to MemRegionManager.

Modified:
    cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h

Modified: cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h?rev=58313&r1=58312&r2=58313&view=diff

==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h Tue Oct 28 00:15:23 2008
@@ -418,6 +418,11 @@
   /// getUnknownRegion - Retrieve the memory region associated with unknown
   /// memory space.
   MemSpaceRegion* getUnknownRegion();
+
+  bool isGlobalsRegion(const MemRegion* R) { 
+    assert(R && globals);
+    return R == globals; 
+  }
   
   /// getCompoundLiteralRegion - Retrieve the region associated with a
   ///  given CompoundLiteral.





More information about the cfe-commits mailing list