[cfe-commits] r63363 - /cfe/trunk/lib/Analysis/BasicConstraintManager.cpp

[Chris Lattner]

Author: lattner
Date: Thu Jan 29 19:58:33 2009
New Revision: 63363

URL: http://llvm.org/viewvc/llvm-project?rev=63363&view=rev
Log:
update for change in API.

Modified:
    cfe/trunk/lib/Analysis/BasicConstraintManager.cpp

Modified: cfe/trunk/lib/Analysis/BasicConstraintManager.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/BasicConstraintManager.cpp?rev=63363&r1=63362&r2=63363&view=diff

==============================================================================
--- cfe/trunk/lib/Analysis/BasicConstraintManager.cpp (original)
+++ cfe/trunk/lib/Analysis/BasicConstraintManager.cpp Thu Jan 29 19:58:33 2009
@@ -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);