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 _______________________________________________ svn-src-head@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/svn-src-head To unsubscribe, send any mail to "svn-src-head-unsubscr...@freebsd.org"
