PR 87073/bootstrap

	PR 87073/bootstrap
	* wide-int-range.cc (wide_int_range_div): Do not ignore result
	from wide_int_range_multiplicative_op.

From-SVN: r263828

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d0484e78a876fc20d4090abea56a81e9aaf144c5..7c757c0ef41330870aac41ef22959001d8542fc1 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2018-08-24  Aldy Hernandez  <aldyh@redhat.com>
+
+       PR 87073/bootstrap
+       * wide-int-range.cc (wide_int_range_div): Do not ignore result
+       from wide_int_range_multiplicative_op.
+
 2018-08-23  Prathamesh Kulkarni  <prathamesh.kulkarni@linaro.org>
 
        * tree-vect-data-refs.c (vect_grouped_store_supported): Fix typo

diff --git a/gcc/wide-int-range.cc b/gcc/wide-int-range.cc
index cbc71c25cfeacddc43c93fb0dcd3b97da0230a2f..3cdcede04cdaf588c3604d53f4f22144f595f664 100644 (file)
--- a/gcc/wide-int-range.cc
+++ b/gcc/wide-int-range.cc
@@ -687,14 +687,11 @@ wide_int_range_div (wide_int &wmin, wide_int &wmax,
 
   /* If we know we won't divide by zero, just do the division.  */
   if (!wide_int_range_includes_zero_p (divisor_min, divisor_max, sign))
-    {
-      wide_int_range_multiplicative_op (wmin, wmax, code, sign, prec,
-                                       dividend_min, dividend_max,
-                                       divisor_min, divisor_max,
-                                       overflow_undefined,
-                                       overflow_wraps);
-      return true;
-    }
+    return wide_int_range_multiplicative_op (wmin, wmax, code, sign, prec,
+                                            dividend_min, dividend_max,
+                                            divisor_min, divisor_max,
+                                            overflow_undefined,
+                                            overflow_wraps);
 
   /* If flag_non_call_exceptions, we must not eliminate a division
      by zero.  */