Paul Eggert wrote: > > some GCC versions ignore the __attribute__ ((noreturn)) if it is found > > in the function definition. No? > > That may have been a problem long ago, but it hasn't been true for > a while.
Indeed. With GCC 3.1 already I cannot reproduce the problem any more. So most probably it was fixed in egcs times (2.90 to 2.95). Bruno -- In memoriam Zahra Kazemi <http://en.wikipedia.org/wiki/Zahra_Kazemi>