summaryrefslogtreecommitdiffstats
path: root/clang/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
commit550c1c46f9678568ba775ab809fa64f04a86a94f (patch)
tree2dadfbb33b387db8fec87f53d4638068f831f0e9 /clang/lib/Analysis/MemRegion.cpp
parent2a6dad5f0f5f064bf48a98adbd2af44381ea8e12 (diff)
downloadbcm5719-llvm-550c1c46f9678568ba775ab809fa64f04a86a94f.tar.gz
bcm5719-llvm-550c1c46f9678568ba775ab809fa64f04a86a94f.zip
Add isSubRegionOf() method to SubRegion.
llvm-svn: 61924
Diffstat (limited to 'clang/lib/Analysis/MemRegion.cpp')
-rw-r--r--clang/lib/Analysis/MemRegion.cpp13
1 files changed, 13 insertions, 0 deletions
diff --git a/clang/lib/Analysis/MemRegion.cpp b/clang/lib/Analysis/MemRegion.cpp
index 8767781354e..c1b6ed32d58 100644
--- a/clang/lib/Analysis/MemRegion.cpp
+++ b/clang/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());
}
OpenPOWER on IntegriCloud