gcc/testsuite/gcc.dg/torture/pr60115.c

/* { dg-do run } */

int a, b[2];

int
main ()
{
lbl:
  for (; a; a--)
    if (b[10000])
      goto lbl;

  return 0;
}