------- 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