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

int a[2];

__inline__ f (b, o)
{
  unsigned int i;
  int *p;
  for (p = &a[b], i = b; --i < ~0; )
    *--p = i * 3 + o;
}

g(int b)
{
  f (b, (int)a);
}

main ()
{
  a[0] = a[1] = 0;
  g (2);
  if (a[0] != (int)a || a[1] != (int)a + 3)
    abort ();
  exit (0);
}