[cfe-commits] r74815 - /cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h

[Zhongxing Xu]

Author: zhongxingxu
Date: Mon Jul  6 00:34:56 2009
New Revision: 74815

URL: http://llvm.org/viewvc/llvm-project?rev=74815&view=rev
Log:
AllocaRegion and SymbolicRegion are both boundable.

Modified:
    cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h

Modified: cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h?rev=74815&r1=74814&r2=74815&view=diff

==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h Mon Jul  6 00:34:56 2009
@@ -155,7 +155,9 @@
 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 @@
     return sym;
   }
 
+  bool isBoundable() const { return true; }
+
   void Profile(llvm::FoldingSetNodeID& ID) const;
 
   static void ProfileRegion(llvm::FoldingSetNodeID& ID,