aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/BasicValueFactory.h
diff options
context:
space:
mode:
Diffstat (limited to 'include/clang/Analysis/PathSensitive/BasicValueFactory.h')
-rw-r--r--include/clang/Analysis/PathSensitive/BasicValueFactory.h10
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));
}