diff options
| -rw-r--r-- | include/clang/Analysis/PathSensitive/MemRegion.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/include/clang/Analysis/PathSensitive/MemRegion.h b/include/clang/Analysis/PathSensitive/MemRegion.h index 82f0e91896..053ad44053 100644 --- a/include/clang/Analysis/PathSensitive/MemRegion.h +++ b/include/clang/Analysis/PathSensitive/MemRegion.h @@ -418,6 +418,11 @@ public: /// 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. |