20000707-1.c

this is a gcc file, you can download it and learn its usetility, for further detail please look at t

/* { dg-do compile } */
/* { dg-options "-O2 -Wall" } */

extern void foo(void *here);
extern inline void bar(void)
{
  __label__ here;
  foo(&&here);
here:
  ;
}

void baz(void)
{
  bar();
}