gcc/testsuite/gcc.c-torture/compile/goto-1.c

void
f (void)
{
  do
    {
      if (0)
	{
        L1:;
	}
      else
	goto L2;
    L2:;
    }
  while (0);

  goto L1;
}