tech-kern archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: __dead functions

On Fri, Jul 18, 2008 at 12:01:09PM -0400, Greg A. Woods; Planix, Inc. wrote:
> Indeed gcc doesn't understand a NOTREACHED comment, that's a lint  
> directive of course and it seems, unfortunately, that lint has fallen  
> out of favour in NetBSD.  However you can tell gcc a function doesn't  
> return with "__attribute__ ((noreturn))" attached to a prototype.
Yes, and __dead macro in cdefs already does that. The problem is that
gcc tends to think that some of these functions might return and
therefore emits a warning.


Home | Main Index | Thread Index | Old Index