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;
}

Reply via email to