From eca69623c2c942fdb995cecc92a275a189fd731c Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Tue, 17 Feb 2009 19:22:05 +0000 Subject: [PATCH] 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 --- .../clang/Analysis/PathSensitive/BasicValueFactory.h | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/include/clang/Analysis/PathSensitive/BasicValueFactory.h b/include/clang/Analysis/PathSensitive/BasicValueFactory.h index f25bf5da1d..a8d67b49a9 100644 --- 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)); } -- 2.40.0