Date: Wed, 27 Mar 1996 08:11:04 +0100 (MET) From: J Wunsch <j@uriah.heep.sax.de> To: freebsd-current@FreeBSD.org (FreeBSD-current users) Cc: jpo.drs@sni.de (Jochen Pohl) Subject: Re: lint Message-ID: <199603270711.IAA19152@uriah.heep.sax.de> In-Reply-To: <199603270555.QAA17578@godzilla.zeta.org.au> from "Bruce Evans" at Mar 27, 96 04:55:00 pm
next in thread | previous in thread | raw e-mail | index | archive | help
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. ;-)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199603270711.IAA19152>