lclint-interest message 87

Date: Fri, 5 Jul 96 15:51:02 -0400
From: evans@cs.virginia.edu (David Evans)
To: lclint-interest@larch.lcs.mit.edu
Cc: evans@cs.virginia.edu, ok@yallara.cs.rmit.edu.au
In-Reply-To: Richard A OKeefe's message of Fri, 5 Jul 1996 12:19:13 +1000 (EST) <199607050219.MAA28510@yallara.cs.rmit.EDU.AU>
Subject: Formal array size check request


> From: Peter Seebach 
>
> The names given to the parameters must be in the implementation namespace,
> and should generally be *far* from anything anyone would ever use.

This is a good point, I hadn't considered.  

Richard O'Keefe's suggestion to treat formal parameters in protoypes as
a separate namespace sounds like a good idea --- I'll add this to the
next minor version.  

Its often useful to have some name there for documentation, so some
checking to relate the names used in the prototype to the names in the
definition might be useful.  Perhaps it should be an option to generate
a message when the name in the prototype after removing the namespace
prefix does not match the definition name.  

The other suggested checks/flags all seem useful (and trivial to
implement, except perhaps sizeofformalarray) so I'll add these to the
next minor version.

> From: Richard A OKeefe 
>    How would it be if lclint were always to squish underscores and hyphens
>    out of flag names, so that these flags could also be written as

Good idea...don't see any reason not to do this.

--- Dave