https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71575
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org --- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> --- I believe the assertion is simply bogus -- some condition PHIs _can_ be analyzed by SCEV. Removing the assert "fixes" the testcase.