https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95643
Andrew Pinski changed:
What|Removed |Added
Target Milestone|--- |11.0
See Also|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95643
Andrew Pinski changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95643
Andrew Pinski changed:
What|Removed |Added
Severity|normal |enhancement
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95643
Richard Biener changed:
What|Removed |Added
CC||rguenth at gcc dot gnu.org
Ever
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95643
--- Comment #1 from Marc Glisse ---
After FRE1 we have
_2 = x_9(D) == 0;
if (_2 != 0)
so we assert things for _2 and not x_9, and we lose the __builtin_unreachable
information in CCP2.