------- Additional Comments From pinskia at gcc dot gnu dot org 2005-01-22
18:00 -------
Just for the record (and for lazy people aka me), here is the testcase:
extern void foo (void) __attribute__((noreturn));
void g (void)
{
void (*f) (void) = foo;
f ();
f ();
}-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19578
