* fold-const.c (fold_binary): Correct warning for X - c >= X.

From-SVN: r123172

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index c32cb9c591314c2d58579ca897c9efdde47d14b8..6f140628c919d7375b5a22f645fe4281ae599226 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2007-03-23  Ian Lance Taylor  <iant@google.com>
+
+       * fold-const.c (fold_binary): Correct warning for X - c >= X.
+
 2007-03-23  Ian Lance Taylor  <iant@google.com>
 
        * tree-dump.c (dump_files): Correct comment.

diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index daad1ba3d41f5ba6840bc5f23c9598c8ff709d35..e4efda0f9410f9d6c5eceaccb177fa1b42d7c506 100644 (file)
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -11802,7 +11802,7 @@ fold_binary (enum tree_code code, tree type, tree op0, tree op1)
                  if (TYPE_OVERFLOW_UNDEFINED (TREE_TYPE (arg1)))
                    fold_overflow_warning (("assuming signed overflow does "
                                            "not occur when assuming that "
-                                           "(X - c) >= X is always true"),
+                                           "(X - c) >= X is always false"),
                                           WARN_STRICT_OVERFLOW_ALL);
                  return constant_boolean_node (0, type);
                }