Date: Tue, 4 Jan 2011 13:14:08 -0500 From: John Baldwin <jhb@freebsd.org> To: Julian Elischer <julian@freebsd.org> Cc: svn-src-head@freebsd.org, svn-src-all@freebsd.org, src-committers@freebsd.org Subject: Re: svn commit: r216954 - head/sys/kern Message-ID: <201101041314.08949.jhb@freebsd.org> In-Reply-To: <4D23521C.8020506@freebsd.org> References: <201101041316.p04DGSo6037042@svn.freebsd.org> <4D23521C.8020506@freebsd.org>
next in thread | previous in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201101041314.08949.jhb>