gcc/testsuite/gcc.dg/pr46252.c

/* PR debug/46252 */
/* { dg-do compile } */
/* { dg-options "-O -frerun-cse-after-loop -fno-tree-loop-optimize -funroll-loops -fcompare-debug" } */

void bar (void);

void
foo (float *f)
{
  int i;
  for (i = 0; i < 4; i++)
    f[i] = i;
  bar ();
  for (i = 0; i < 4; i++)
    if (f[i] != i)
      __builtin_abort ();
}