https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101755
Richard Earnshaw changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101755
--- Comment #5 from CVS Commits ---
The master branch has been updated by Richard Earnshaw :
https://gcc.gnu.org/g:62082d278d1fc9773539244194061ab32556db4d
commit r12-8108-g62082d278d1fc9773539244194061ab32556db4d
Author: Richard Earnshaw
Dat
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101755
Richard Earnshaw changed:
What|Removed |Added
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101755
Richard Biener changed:
What|Removed |Added
Keywords||testsuite-fail
--- Comment #3 from Ric
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101755
--- Comment #2 from Andrew Pinski ---
d = a | -2;
b = (d == 0) ? c : (c % d);
d can never be 0, VRP figures this out now.
so we end up with:
d = a | -2;
b = 0xc7d24b5e % d;
if (b != 0xc7d24b5e)
abort();
and b cannot be 0xc7d24b5e because
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101755
--- Comment #1 from Andrew Macleod ---
What is that suppose to test?
The range ecosystem has gotten smarter and we basically fold that function away
to return 0 now. between EVRP, VRP and threading, you'd have to turn off a lot
of optimization
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101755
Christophe Lyon changed:
What|Removed |Added
Target||arm
Target Milestone|---