gcc/testsuite/gcc.dg/torture/pr52943.c

/* { dg-do run } */

extern void abort (void);
int a[] = { 0, 0, 0, 6 };

int b;
int
main ()
{
  for (;;)
    {
      b = 3;
      for (; b; b -= 1)
	a[b] = a[3] > 1;
      break;
    }
  if (a[1] != 0)
    abort ();
  return 0;
}