From: Ted Kremenek <kremenek@apple.com>
Date: Tue, 17 Aug 2010 23:51:30 +0000 (+0000)
Subject: TypedRegion::isBoundable() should return true by default.  Since there is no TypedVie... 
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=cced08e13c9fba9381e39a27c70abe6978adee37;p=clang

TypedRegion::isBoundable() should return true by default.  Since there is no TypedViewRegion anyore, it is not possible that the subclass (which doesn't override isBoundable) could return a null value type.

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

diff --git a/include/clang/Checker/PathSensitive/MemRegion.h b/include/clang/Checker/PathSensitive/MemRegion.h
index 441c637d07..96f906af28 100644
--- a/include/clang/Checker/PathSensitive/MemRegion.h
+++ b/include/clang/Checker/PathSensitive/MemRegion.h
@@ -365,9 +365,7 @@ public:
     return getLocationType().getDesugaredType();
   }
 
-  bool isBoundable() const {
-    return !getValueType().isNull();
-  }
+  bool isBoundable() const { return true; }
 
   static bool classof(const MemRegion* R) {
     unsigned k = R->getKind();