From cced08e13c9fba9381e39a27c70abe6978adee37 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Tue, 17 Aug 2010 23:51:30 +0000 Subject: [PATCH] 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 --- include/clang/Checker/PathSensitive/MemRegion.h | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) 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(); -- 2.50.1