From owner-svn-src-all@freebsd.org  Sat May 12 19:56:27 2018
Return-Path: <owner-svn-src-all@freebsd.org>
Delivered-To: svn-src-all@mailman.ysv.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1])
 by mailman.ysv.freebsd.org (Postfix) with ESMTP id BAE21FCE1D7
 for <svn-src-all@mailman.ysv.freebsd.org>;
 Sat, 12 May 2018 19:56:27 +0000 (UTC) (envelope-from joerg@bec.de)
Received: from relay7-d.mail.gandi.net (relay7-d.mail.gandi.net
 [217.70.183.200])
 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
 (Client did not present a certificate)
 by mx1.freebsd.org (Postfix) with ESMTPS id 496816EC32
 for <svn-src-all@freebsd.org>; Sat, 12 May 2018 19:56:27 +0000 (UTC)
 (envelope-from joerg@bec.de)
X-Originating-IP: 196.52.39.24
Received: from britannica.bec.de
 (ip-24-39-52-196.chicago.us.northamericancoax.com [196.52.39.24])
 (Authenticated sender: joerg@bec.de)
 by relay7-d.mail.gandi.net (Postfix) with ESMTPSA id 077CC20003
 for <svn-src-all@freebsd.org>; Sat, 12 May 2018 21:56:23 +0200 (CEST)
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>
References: <201805110655.w4B6t3sH032476@repo.freebsd.org>
 <69414035.0kMiKCF10F@ralph.baldwin.cx>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <69414035.0kMiKCF10F@ralph.baldwin.cx>
User-Agent: Mutt/1.9.5 (2018-04-13)
X-Spam-Level: 
X-BeenThere: svn-src-all@freebsd.org
X-Mailman-Version: 2.1.25
Precedence: list
List-Id: "SVN commit messages for the entire src tree \(except for &quot;
 user&quot; and &quot; projects&quot; \)" <svn-src-all.freebsd.org>
List-Unsubscribe: <https://lists.freebsd.org/mailman/options/svn-src-all>,
 <mailto:svn-src-all-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-src-all/>
List-Post: <mailto:svn-src-all@freebsd.org>
List-Help: <mailto:svn-src-all-request@freebsd.org?subject=help>
List-Subscribe: <https://lists.freebsd.org/mailman/listinfo/svn-src-all>,
 <mailto:svn-src-all-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sat, 12 May 2018 19:56:27 -0000

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