From: Zhongxing Xu <xuzhongxing@gmail.com>
Date: Mon, 29 Jun 2009 05:44:14 +0000 (+0000)
Subject: The default answer for isBoundable() should be false.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=f0f0605c87739c906861f73d4287798a4969b1e0;p=clang

The default answer for isBoundable() should be false.

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

diff --git a/include/clang/Analysis/PathSensitive/MemRegion.h b/include/clang/Analysis/PathSensitive/MemRegion.h
index 65ac0b5302..427c2db7c5 100644
--- a/include/clang/Analysis/PathSensitive/MemRegion.h
+++ b/include/clang/Analysis/PathSensitive/MemRegion.h
@@ -83,7 +83,7 @@ public:
   
   template<typename RegionTy> const RegionTy* getAs() const;
   
-  virtual bool isBoundable() const { return true; }
+  virtual bool isBoundable() const { return false; }
 
   static bool classof(const MemRegion*) { return true; }
 };