gcc/testsuite/gcc.c-torture/execute/loop-1.c

void abort (void);
void exit (int);

int
main (void)
{
  int i, j, k[3];

  j = 0;
  for (i=0; i < 3; i++)
    {
      k[i] = j++;
    }

  for (i=2; i >= 0; i--)
    {
      if (k[i] != i)
	abort ();
    }

  exit (0);
}