svn commit: r333482 - head/usr.bin/expand

Joerg Sonnenberger joerg at bec.de
Sat May 12 19:56:27 UTC 2018


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


More information about the svn-src-all mailing list