https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104214
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- variant testcase that was vectorized before but is not now where we cannot use simple pointer relational compare reasoning: int a[1024]; void __attribute__((noipa)) foo (int p, int q) { int i = 0; for (; p < q; ++p, --q) a[i++] = 1; } int main() { foo (__INT_MAX__ - 1, __INT_MAX__); if (a[0] != 1 || a[1] != 0) __builtin_abort (); return 0; }