[Bug tree-optimization/84321] [8 Regression] ice in intersect_range_with_nonzero_bits, at tree-vrp.c:213

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321 Jeffrey A. Law changed: What|Removed |Added Status|ASSIGNED|RESOLVED CC|

[Bug tree-optimization/84321] [8 Regression] ice in intersect_range_with_nonzero_bits, at tree-vrp.c:213

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321 --- Comment #14 from Jeffrey A. Law --- Author: law Date: Tue Feb 13 15:48:38 2018 New Revision: 257629 URL: https://gcc.gnu.org/viewcvs?rev=257629=gcc=rev Log: 2018-02-12 Richard Sandiford gcc/ PR

[Bug tree-optimization/84321] [8 Regression] ice in intersect_range_with_nonzero_bits, at tree-vrp.c:213

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321 Richard Biener changed: What|Removed |Added Priority|P3 |P1

[Bug tree-optimization/84321] [8 Regression] ice in intersect_range_with_nonzero_bits, at tree-vrp.c:213

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321 --- Comment #13 from rsandifo at gcc dot gnu.org --- Testing a patch. The VR_ANTI_RANGE code was wrong in a few ways. :-(

[Bug tree-optimization/84321] [8 Regression] ice in intersect_range_with_nonzero_bits, at tree-vrp.c:213

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321 --- Comment #12 from rsandifo at gcc dot gnu.org --- (In reply to Jakub Jelinek from comment #11) > (In reply to rsand...@gcc.gnu.org from comment #10) > > I'd tried doing this in set_nonzero_bits first, before adding > >

[Bug tree-optimization/84321] [8 Regression] ice in intersect_range_with_nonzero_bits, at tree-vrp.c:213

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321 --- Comment #11 from Jakub Jelinek --- (In reply to rsand...@gcc.gnu.org from comment #10) > I'd tried doing this in set_nonzero_bits first, before adding > intersect_range_with_nonzero_bits. See >

[Bug tree-optimization/84321] [8 Regression] ice in intersect_range_with_nonzero_bits, at tree-vrp.c:213

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321 --- Comment #10 from rsandifo at gcc dot gnu.org --- (In reply to Jakub Jelinek from comment #8) > This seems to fix it. But as I said, the asserts still need to go. > > --- gcc/tree-ssanames.c.jj2018-01-30 12:30:27.678359900 +0100 > +++

[Bug tree-optimization/84321] [8 Regression] ice in intersect_range_with_nonzero_bits, at tree-vrp.c:213

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321 --- Comment #9 from Jakub Jelinek --- Perhaps we can handle anti range similarly and then not to intersect_range_with_nonzero_bits at all.

[Bug tree-optimization/84321] [8 Regression] ice in intersect_range_with_nonzero_bits, at tree-vrp.c:213

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321 --- Comment #7 from Jakub Jelinek --- int c; void foo (int *a, int b) { int e; if (b == 1) return; for (e = 0; e < (b & ~7); e += 8) ; for (++e; e < b;) c = a[e]; } actually.

[Bug tree-optimization/84321] [8 Regression] ice in intersect_range_with_nonzero_bits, at tree-vrp.c:213

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321 Jakub Jelinek changed: What|Removed |Added Status|SUSPENDED |ASSIGNED --- Comment #8 from Jakub

[Bug tree-optimization/84321] [8 Regression] ice in intersect_range_with_nonzero_bits, at tree-vrp.c:213

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321 rsandifo at gcc dot gnu.org changed: What|Removed |Added Status|UNCONFIRMED |SUSPENDED Last

[Bug tree-optimization/84321] [8 Regression] ice in intersect_range_with_nonzero_bits, at tree-vrp.c:213

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321 --- Comment #5 from Jakub Jelinek --- Note, we have in set_range_info_raw: /* If it is a range, try to improve nonzero_bits from the min/max. */ if (range_type == VR_RANGE) { wide_int xorv = ri->get_min () ^ ri->get_max ();

[Bug tree-optimization/84321] [8 Regression] ice in intersect_range_with_nonzero_bits, at tree-vrp.c:213

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment #4

[Bug tree-optimization/84321] [8 Regression] ice in intersect_range_with_nonzero_bits, at tree-vrp.c:213

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84321 Andrew Pinski changed: What|Removed |Added Keywords||ice-on-valid-code Component|c