On Tue, 04 Jan 2011 09:00:12 -0800
Julian Elischer <jul...@freebsd.org> wrote:
> On 1/4/11 5:16 AM, John Baldwin wrote:
> >    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.

Shouldn't people know that kproc_exit doesn't return?

-- 
Bruce Cran
_______________________________________________
svn-src-all@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/svn-src-all
To unsubscribe, send any mail to "svn-src-all-unsubscr...@freebsd.org"

Reply via email to