diff options
Diffstat (limited to 'include/clang/Analysis/PathSensitive/BasicValueFactory.h')
-rw-r--r-- | include/clang/Analysis/PathSensitive/BasicValueFactory.h | 10 |
1 files 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)); } |