To make gcc believe __attribute__((__noreturn__)) claim, the function
must end with a call to a known dead function. For a "leaf" dead
function adding an infinite loop seems to convince gcc it will not
return.
What about adding somethign like:
#if !defined(__lint__)
#define __NORETURN__ for (;;) continue
#else
#define __NORETURN__
#endif
to be used like:
void foo(...) __attribute__((__noreturn__));
void
foo(...)
{
...
/* NOTREACHED */
__NORETURN__;
}
Suggestions for a better name are welcome.
PS: If lint sees that infinite loop, it's happy with "for" version,
but for "while" or "do/while" it complains that the loop is not
entered at top.
SY, Uwe
--
uwe@ptc.spbu.ru | Zu Grunde kommen
http://snark.ptc.spbu.ru/~uwe/ | Ist zu Grunde gehen