From owner-freebsd-current Tue Mar 26 23:43:29 1996 Return-Path: owner-current Received: (from root@localhost) by freefall.freebsd.org (8.7.3/8.7.3) id XAA03529 for current-outgoing; Tue, 26 Mar 1996 23:43:29 -0800 (PST) Received: from irz301.inf.tu-dresden.de (irz301.inf.tu-dresden.de [141.76.1.11]) by freefall.freebsd.org (8.7.3/8.7.3) with SMTP id XAA03506 for ; Tue, 26 Mar 1996 23:43:24 -0800 (PST) Received: from sax.sax.de by irz301.inf.tu-dresden.de (8.6.12/8.6.12-s1) with ESMTP id JAA12448; Wed, 27 Mar 1996 09:43:06 +0200 Received: by sax.sax.de (8.6.11/8.6.12-s1) with UUCP id IAA29384; Wed, 27 Mar 1996 08:43:06 +0100 Received: (from j@localhost) by uriah.heep.sax.de (8.7.4/8.6.9) id IAA19152; Wed, 27 Mar 1996 08:11:04 +0100 (MET) From: J Wunsch Message-Id: <199603270711.IAA19152@uriah.heep.sax.de> Subject: Re: lint To: freebsd-current@FreeBSD.org (FreeBSD-current users) Date: Wed, 27 Mar 1996 08:11:04 +0100 (MET) Cc: jpo.drs@sni.de (Jochen Pohl) Reply-To: joerg_wunsch@uriah.heep.sax.de (Joerg Wunsch) In-Reply-To: <199603270555.QAA17578@godzilla.zeta.org.au> from "Bruce Evans" at Mar 27, 96 04:55:00 pm X-Phone: +49-351-2012 669 X-Mailer: ELM [version 2.4 PL24 ME8a] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: owner-current@FreeBSD.org X-Loop: FreeBSD.org Precedence: bulk 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? -- cheers, J"org joerg_wunsch@uriah.heep.sax.de -- http://www.sax.de/~joerg/ -- NIC: JW11-RIPE Never trust an operating system you don't have sources for. ;-)