update for change in API.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@63363 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/BasicConstraintManager.cpp b/lib/Analysis/BasicConstraintManager.cpp
index f14ada7..0c98bf6 100644
--- a/lib/Analysis/BasicConstraintManager.cpp
+++ b/lib/Analysis/BasicConstraintManager.cpp
@@ -345,7 +345,7 @@
const llvm::APSInt& V, bool& isFeasible) {
// Is 'V' the smallest possible value?
- if (V == llvm::APSInt::getMinValue(V.getBitWidth(), V.isSigned())) {
+ if (V == llvm::APSInt::getMinValue(V.getBitWidth(), V.isUnsigned())) {
// sym cannot be any value less than 'V'. This path is infeasible.
isFeasible = false;
return St;
@@ -360,7 +360,7 @@
const llvm::APSInt& V, bool& isFeasible) {
// Is 'V' the largest possible value?
- if (V == llvm::APSInt::getMaxValue(V.getBitWidth(), V.isSigned())) {
+ if (V == llvm::APSInt::getMaxValue(V.getBitWidth(), V.isUnsigned())) {
// sym cannot be any value greater than 'V'. This path is infeasible.
isFeasible = false;
return St;
@@ -382,7 +382,7 @@
// Sym is not a constant, but it is worth looking to see if V is the
// maximum integer value.
- if (V == llvm::APSInt::getMaxValue(V.getBitWidth(), V.isSigned())) {
+ if (V == llvm::APSInt::getMaxValue(V.getBitWidth(), V.isUnsigned())) {
// If we know that sym != V, then this condition is infeasible since
// there is no other value greater than V.
isFeasible = !isNotEqual(St, sym, V);
@@ -411,7 +411,7 @@
// Sym is not a constant, but it is worth looking to see if V is the
// minimum integer value.
- if (V == llvm::APSInt::getMinValue(V.getBitWidth(), V.isSigned())) {
+ if (V == llvm::APSInt::getMinValue(V.getBitWidth(), V.isUnsigned())) {
// If we know that sym != V, then this condition is infeasible since
// there is no other value less than V.
isFeasible = !isNotEqual(St, sym, V);