From owner-freebsd-current  Tue Mar 26 21:55:49 1996
Return-Path: owner-current
Received: (from root@localhost)
          by freefall.freebsd.org (8.7.3/8.7.3) id VAA24736
          for current-outgoing; Tue, 26 Mar 1996 21:55:49 -0800 (PST)
Received: from godzilla.zeta.org.au (godzilla.zeta.org.au [203.2.228.19])
          by freefall.freebsd.org (8.7.3/8.7.3) with SMTP id VAA24729
          for <freebsd-current@freebsd.org>; Tue, 26 Mar 1996 21:55:44 -0800 (PST)
Received: (from bde@localhost) by godzilla.zeta.org.au (8.6.12/8.6.9) id QAA17578; Wed, 27 Mar 1996 16:55:00 +1100
Date: Wed, 27 Mar 1996 16:55:00 +1100
From: Bruce Evans <bde@zeta.org.au>
Message-Id: <199603270555.QAA17578@godzilla.zeta.org.au>
To: freebsd-current@freebsd.org, j@uriah.heep.sax.de
Subject: Re: lint
Sender: owner-current@freebsd.org
X-Loop: FreeBSD.org
Precedence: bulk

>Ah.  Hmm, does lint grok exotic thing like ``__attribute(dead2)''
>anyway?  Or, does it simply drop the expression in the parens for an
>__attribute() statement?  Well, in the latter case, it must fake
>gcc >= 2.5, if i'm not mistaken.

It doesn't understand them even with -g.  I think the author plans to
fix this.  There has to be a way to tell lint that certain functions
don't return, and __attribute__((__noreturn__)) is a good way.

Bruce