Remove the single instance of Wstrict-overflow warning and the
associated testcase.

gcc/ChangeLog:

        * expr.cc (maybe_optimize_sub_cmp_0): Removed warning_at () call
        for Wstrict-overflow comparison.

gcc/testsuite/ChangeLog:

        * gcc.dg/Wstrict-overflow-25.c: Removed.
---
 gcc/expr.cc                                |  6 ------
 gcc/testsuite/gcc.dg/Wstrict-overflow-25.c | 11 -----------
 2 files changed, 17 deletions(-)
 delete mode 100644 gcc/testsuite/gcc.dg/Wstrict-overflow-25.c

diff --git a/gcc/expr.cc b/gcc/expr.cc
index 1c68055d45f..9251aa91c80 100644
--- a/gcc/expr.cc
+++ b/gcc/expr.cc
@@ -13713,12 +13713,6 @@ maybe_optimize_sub_cmp_0 (enum tree_code code, tree 
*arg0, tree *arg1)
   if (!TYPE_OVERFLOW_UNDEFINED (TREE_TYPE (treeop0)))
     return;
 
-  if (issue_strict_overflow_warning (WARN_STRICT_OVERFLOW_COMPARISON))
-    warning_at (gimple_location (stmt), OPT_Wstrict_overflow,
-               "assuming signed overflow does not occur when "
-               "simplifying %<X - Y %s 0%> to %<X %s Y%>",
-               op_symbol_code (code), op_symbol_code (code));
-
   *arg0 = treeop0;
   *arg1 = treeop1;
 }
diff --git a/gcc/testsuite/gcc.dg/Wstrict-overflow-25.c 
b/gcc/testsuite/gcc.dg/Wstrict-overflow-25.c
deleted file mode 100644
index 00916446371..00000000000
--- a/gcc/testsuite/gcc.dg/Wstrict-overflow-25.c
+++ /dev/null
@@ -1,11 +0,0 @@
-/* { dg-do compile } */
-/* { dg-options "-fstrict-overflow -O2 -Wstrict-overflow=3" } */
-
-/* We can only simplify the conditional when using strict overflow
-   semantics.  */
-
-int
-foo (int x, int y)
-{
-  return x - y < 0; /* { dg-warning "assuming signed overflow does not occur" 
"correct warning" } */
-}
-- 
2.43.0

Reply via email to