Date: Tue, 4 Jan 2011 17:37:36 +0000 From: Bruce Cran <bruce@cran.org.uk> To: Julian Elischer <julian@freebsd.org> Cc: svn-src-head@freebsd.org, svn-src-all@freebsd.org, src-committers@freebsd.org, John Baldwin <jhb@freebsd.org> Subject: Re: svn commit: r216954 - head/sys/kern Message-ID: <20110104173736.00006b5b@unknown> 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 Tue, 04 Jan 2011 09:00:12 -0800 Julian Elischer <julian@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20110104173736.00006b5b>