[Bug bootstrap/87073] go bootstrap failure due to ICE in vr_values::extract_range_from_binary_expr

aldyh at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Thu Aug 23 18:01:00 GMT 2018


https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87073

Aldy Hernandez <aldyh at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |aldyh at gcc dot gnu.org

--- Comment #2 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
(In reply to Martin Sebor from comment #1)
> I wonder if it's related to pr87059.

No, not related.

Reproduced with a stage1 compiler just with --disable-multilib and
--enable-languages=go and  make all-target-libgo.

This one's entirely my fault.  For all my whining about Ada, I should really
start testing go and ada for all my VRP changes :-/.

Does this cause the bootstrap to succeed?

diff --git a/gcc/wide-int-range.cc b/gcc/wide-int-range.cc
index cbc71c25cfe..3cdcede04cd 100644
--- 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.  */


More information about the Gcc-bugs mailing list