svn commit: r216954 - head/sys/kern

[John Baldwin]

On Tuesday, January 04, 2011 12:00:12 pm Julian Elischer wrote:
> On 1/4/11 5:16 AM, John Baldwin wrote:
> > Author: jhb
> > Date: Tue Jan  4 13:16:28 2011
> > New Revision: 216954
> > URL: http://svn.freebsd.org/changeset/base/216954
> >
> > Log:
> >    kproc_exit() is already marked __dead2 so a NOTREACHED comment here isn't
> >    needed for lint.
> 
> yes but it IS good documentation when reading the code.

Err, no, the point of NOTREACHED is to serve as documentation for lint(1), but
that has subsequently been obsoleted by __dead2.

Do you put a NOTREACHED comment after every call to exit() in userland? :)

-- 
John Baldwin