From: Zhongxing Xu <xuzhongxing@gmail.com>
Date: Mon, 6 Jul 2009 05:34:56 +0000 (+0000)
Subject: AllocaRegion and SymbolicRegion are both boundable.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=9852b5bf94d4934de63da6356c651c61e81f58d9;p=clang

AllocaRegion and SymbolicRegion are both boundable.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@74815 91177308-0d34-0410-b5e6-96231b3b80d8
---

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,