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))

Perry