Date: Sat, 12 May 2018 21:56:15 +0200 From: Joerg Sonnenberger <joerg@bec.de> To: svn-src-all@freebsd.org Subject: Re: svn commit: r333482 - head/usr.bin/expand Message-ID: <20180512195615.GC30429@britannica.bec.de> In-Reply-To: <69414035.0kMiKCF10F@ralph.baldwin.cx> References: <201805110655.w4B6t3sH032476@repo.freebsd.org> <69414035.0kMiKCF10F@ralph.baldwin.cx>
next in thread | previous in thread | raw e-mail | index | archive | help
On Fri, May 11, 2018 at 04:57:06PM -0700, John Baldwin wrote: > On Friday, May 11, 2018 06:55:03 AM Eitan Adler wrote: > > Author: eadler > > Date: Fri May 11 06:55:02 2018 > > New Revision: 333482 > > URL: https://svnweb.freebsd.org/changeset/base/333482 > > > > Log: > > [expand] add __dead2 annotation to usage > > Can't any modern compiler infer this already from the call to exit() at the end? A modern compiler can certainly infer that all branches are dead, but it can't infer if that is the intention. That can make a huge difference for any code analysis. Joerg
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20180512195615.GC30429>