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

void bar (void);

void foo ()
{
  if (1)
    goto foo;
  else
    for (;;)
      {
      foo:
	bar ();
	return;
      }
}