[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