http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58228
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- This is nested vectorization, where the step in the inner loop is 0, while in the outer loop is bigger than that, and for inv_p we look at the step in the outer loop in that case, while we perhaps should look at the inner one. Richard?