https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112767
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot
gnu.org
Status|NEW |ASSIGNED
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed. Now with SCCP after loop splitting that's the pass
exposing enough info but not eliding the loop before IVCANON comes and
diagnoses this.
SCCP does
<bb 17> [local count: 119292719]:
- # i_23 = PHI <i_8(3)>
- # phi_24 = PHI <phi_9(3)>
+ i_23 = 16;
+ phi_24 = 8;
if (phi_24 != 8)
and only copyprop3 removes the condition.
