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