Date: Wed, 27 Mar 1996 12:59:07 -0700 (MST) From: Terry Lambert <terry@lambert.org> To: bde@zeta.org.au (Bruce Evans) Cc: freebsd-current@freebsd.org, j@uriah.heep.sax.de Subject: Re: lint Message-ID: <199603271959.MAA01800@phaeton.artisoft.com> 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
> >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. Putting "/* NOTREACHED*/" after the function call is the traditional lint method... assuming this is supposed to be an implementation of a traditional lint, instead of some new thing. Terry Lambert terry@lambert.org --- Any opinions in this posting are my own and not those of my present or previous employers.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199603271959.MAA01800>