Subject: Re: Problems with lint(1)
To: Christos Zoulas <>
From: Perry E. Metzger <>
List: tech-userlevel
Date: 07/29/1998 15:19:33
Christos Zoulas writes:
> That might be a worth-while goal; we need to make a clear decision
> about implementing __attribute__ directives in lint:
> 	- do we implement all/any supported gcc attributes?

I'd say we should.

> 	- how do we deal with ARGSUSED/NOTREACHED? It would be nice to
> 	  be consistant and use a unified syntax for all lint annotations
> 	  instead of having a mixture of lint comments and __attribute__
> 	  statements.

I think we should use the standard lint comment directives to the
extent that we can, but that lint should also know, at the very least, 
about __attribute__((noreturn))