diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-01-08 13:17:14 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-01-08 13:17:14 +0000 |
commit | 550c1c46f9678568ba775ab809fa64f04a86a94f (patch) | |
tree | 2dadfbb33b387db8fec87f53d4638068f831f0e9 /clang/lib/Analysis/MemRegion.cpp | |
parent | 2a6dad5f0f5f064bf48a98adbd2af44381ea8e12 (diff) | |
download | bcm5719-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.cpp | 13 |
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()); } |