BasicValueFactory: getMaxValue and getMinValue now also handle 'block' pointers.

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

diff --git a/include/clang/Analysis/PathSensitive/BasicValueFactory.h b/include/clang/Analysis/PathSensitive/BasicValueFactory.h
index f25bf5da1d3d506143a85f6f3f3390e1647c45a8..a8d67b49a9d0d4de5cd9d442c0514f4009c97b65 100644 (file)
--- a/include/clang/Analysis/PathSensitive/BasicValueFactory.h
+++ b/include/clang/Analysis/PathSensitive/BasicValueFactory.h
@@ -90,14 +90,16 @@ public:
   }
 
   inline const llvm::APSInt& getMaxValue(QualType T) {
-    assert(T->isIntegerType() || T->isPointerType());
-    bool isUnsigned = T->isUnsignedIntegerType() || T->isPointerType();
+    assert(T->isIntegerType() || T->isPointerType() || T->isBlockPointerType());
+    bool isUnsigned = T->isUnsignedIntegerType() || T->isPointerType() ||
+                      T->isBlockPointerType();
     return getValue(llvm::APSInt::getMaxValue(Ctx.getTypeSize(T), isUnsigned));
   }
   
   inline const llvm::APSInt& getMinValue(QualType T) {
-    assert(T->isIntegerType() || T->isPointerType());
-    bool isUnsigned = T->isUnsignedIntegerType() || T->isPointerType();
+    assert(T->isIntegerType() || T->isPointerType() || T->isBlockPointerType());
+    bool isUnsigned = T->isUnsignedIntegerType() || T->isPointerType() ||
+                      T->isBlockPointerType();
     return getValue(llvm::APSInt::getMinValue(Ctx.getTypeSize(T), isUnsigned));
   }