/* From PR 19578.  */
extern void foo (void) __attribute__((noreturn));

void
g (void)
{
  void (*f) (void) = foo;
  f ();
  f ();
}


syntax highlighted by Code2HTML, v. 0.9.1