aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/MemRegion.cpp
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2009-01-08 13:17:14 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2009-01-08 13:17:14 +0000
commit7e5d6ed47dcedce35043de59ee00464b681bc786 (patch)
treebeffcfb9a868a8174eb90af526cef29e4ef96b5b /lib/Analysis/MemRegion.cpp
parent41761d67291ae9ac74843f31737a96157d982c0b (diff)
Add isSubRegionOf() method to SubRegion.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@61924 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/MemRegion.cpp')
-rw-r--r--lib/Analysis/MemRegion.cpp13
1 files changed, 13 insertions, 0 deletions
diff --git a/lib/Analysis/MemRegion.cpp b/lib/Analysis/MemRegion.cpp
index 8767781354..c1b6ed32d5 100644
--- a/lib/Analysis/MemRegion.cpp
+++ b/lib/Analysis/MemRegion.cpp
@@ -21,6 +21,19 @@ using namespace clang;
MemRegion::~MemRegion() {}
+bool SubRegion::isSubRegionOf(const MemRegion* R) const {
+ const MemRegion* r = getSuperRegion();
+ while (r != 0) {
+ if (r == R)
+ return true;
+ if (const SubRegion* sr = dyn_cast<SubRegion>(r))
+ r = sr->getSuperRegion();
+ else
+ break;
+ }
+ return false;
+}
+
void MemSpaceRegion::Profile(llvm::FoldingSetNodeID& ID) const {
ID.AddInteger((unsigned)getKind());
}