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.
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
