https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89440
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- OK, I believe we can simply remove the assert since for nested cycles we can handle this just fine. With integers we get t2.c:7:3: missed: inner-loop induction only used outside of the outer vectorized loop. t2.c:2:1: missed: not vectorized: relevant phi not supported: a_28 = PHI <a_29(5), a_10(8)> which is a missed optimization.