diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-07-06 05:34:56 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-07-06 05:34:56 +0000 |
| commit | 9852b5bf94d4934de63da6356c651c61e81f58d9 (patch) | |
| tree | b8cbb6f768b55fbb6151f1eb180de5fa28b1ec3d | |
| parent | 43e2aafea1cdeca3a3fc849b41a92cc18e001ac0 (diff) | |
AllocaRegion and SymbolicRegion are both boundable.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@74815 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | include/clang/Analysis/PathSensitive/MemRegion.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/include/clang/Analysis/PathSensitive/MemRegion.h b/include/clang/Analysis/PathSensitive/MemRegion.h index 5926229e51..376c440398 100644 --- a/include/clang/Analysis/PathSensitive/MemRegion.h +++ b/include/clang/Analysis/PathSensitive/MemRegion.h @@ -155,7 +155,9 @@ protected: public: const Expr* getExpr() const { return Ex; } - + + bool isBoundable() const { return true; } + void Profile(llvm::FoldingSetNodeID& ID) const; static void ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr* Ex, @@ -286,6 +288,8 @@ public: return sym; } + bool isBoundable() const { return true; } + void Profile(llvm::FoldingSetNodeID& ID) const; static void ProfileRegion(llvm::FoldingSetNodeID& ID, |