[cfe-commits] r111329 - /cfe/trunk/include/clang/Checker/PathSensitive/MemRegion.h

Ted Kremenek kremenek at apple.com
Tue Aug 17 16:51:30 PDT 2010


Author: kremenek
Date: Tue Aug 17 18:51:30 2010
New Revision: 111329

URL: http://llvm.org/viewvc/llvm-project?rev=111329&view=rev
Log:
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.

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

Modified: cfe/trunk/include/clang/Checker/PathSensitive/MemRegion.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Checker/PathSensitive/MemRegion.h?rev=111329&r1=111328&r2=111329&view=diff
==============================================================================
--- cfe/trunk/include/clang/Checker/PathSensitive/MemRegion.h (original)
+++ cfe/trunk/include/clang/Checker/PathSensitive/MemRegion.h Tue Aug 17 18:51:30 2010
@@ -365,9 +365,7 @@
     return getLocationType().getDesugaredType();
   }
 
-  bool isBoundable() const {
-    return !getValueType().isNull();
-  }
+  bool isBoundable() const { return true; }
 
   static bool classof(const MemRegion* R) {
     unsigned k = R->getKind();





More information about the cfe-commits mailing list