From owner-freebsd-current  Wed Mar 27 04:46:25 1996
Return-Path: owner-current
Received: (from root@localhost)
          by freefall.freebsd.org (8.7.3/8.7.3) id EAA25257
          for current-outgoing; Wed, 27 Mar 1996 04:46:25 -0800 (PST)
Received: from david.siemens.de (david.siemens.de [146.254.1.1])
          by freefall.freebsd.org (8.7.3/8.7.3) with SMTP id EAA25252
          for <freebsd-current@freebsd.org>; Wed, 27 Mar 1996 04:46:19 -0800 (PST)
Received: from ztivax.zfe.siemens.de (ztivax.siemens.de) by david.siemens.de with SMTP id AA25160
  (5.67a/IDA-1.5 for <freebsd-current@freebsd.org>); Wed, 27 Mar 1996 13:46:08 +0100
Received: from efg.zfe.siemens.de (arktur) by ztivax.zfe.siemens.de with SMTP id AA09699
  (5.67a/IDA-1.5); Wed, 27 Mar 1996 13:46:13 +0100
Received: from regulus.nisced by efg.zfe.siemens.de (4.1/SMI-4.1)
	id AA16005; Wed, 27 Mar 96 13:46:10 +0100
Received: by regulus.nisced (5.x/SMI-SVR4)
	id AA07830; Wed, 27 Mar 1996 13:46:43 +0100
Date: Wed, 27 Mar 1996 13:46:43 +0100
Message-Id: <9603271246.AA07830@regulus.nisced>
From: jpo.drs@sni.de (Jochen Pohl)
To: joerg_wunsch@uriah.heep.sax.de (Joerg Wunsch)
Reply-To: pohl@rz.tu-ilmenau.de
Cc: freebsd-current@freebsd.org (FreeBSD-current users),
        jpo.drs@sni.de (Jochen Pohl)
Subject: Re: lint
In-Reply-To: <199603270711.IAA19152@uriah.heep.sax.de>
References: <199603270555.QAA17578@godzilla.zeta.org.au>
	<199603270711.IAA19152@uriah.heep.sax.de>
Sender: owner-current@freebsd.org
X-Loop: FreeBSD.org
Precedence: bulk

J. Wunsch writes:
> As Bruce Evans wrote:
> > 
> > >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.
> 
> Jochen, is this perchance fixed in a recent version?  If so, we don't
> have access to NetBSD's CVS tree, could you send us (me) a cvs diff
> against version 1.3 of your lint sources?

It hasn't been fixed, but I have it on my global todo list, with low
priority. So there will be no fix in the next three or four months,
neither of this nor of any other missing or not working feature in
lint. However, when this and/or other things have been fixed I'll send
you the diffs. Untill then one should probably use the preprocessor to
get rid of __attribute__().

Jochen