> OK - it's good to make code pass lint.  Lint has pulled out lurking
> bugs that gcc did not flag with -Wall, though that may be more a
> problem with -Wall than anything else.

Quite aside from whether this has anything to say about -Wall, those
two statements are not equivalent.  If lint has pulled out lurking
bugs, that's a reason to use lint and read over the results; it is not
necessarily a reason to arrange that lint be silent about them.

I'd also not recommend -Wall alone; it does *not* turn on all warnings!
My preferred set of options is -Werror -W -Wall -Wpointer-arith
-Wcast-qual -Wwrite-strings -Wstrict-prototypes -Wmissing-prototypes
-Wno-uninitialized -Wno-sign-compare -Wno-missing-init, of which
-Wno-missing-init is due to my own patches (there's no way to turn off
the missing-initializer warning when using -W -Wall otherwise).

>> [I've used lint too] but I've never gone to the trouble to eliminate
>> every last gripe, because some are just too silly (such as the
>> dreadful "pointer casts can be troublesome" - franchement, if you
>> can't even cast pointers without upsetting lint, it's hard to write
>> anything useful.
> I thought it threw those out when you cast a pointer to an int.

Then the message is atrociously worded. :-)  This also doesn't match a
small test I just did:

[Sparkle] 28> cat z.c
main()
{
 double d;

 d = 7.41;
 printf("%d\n",(char *)&d);
}
[Sparkle] 29> lint -chp z.c
z.c:
z.c(6): warning: pointer casts may be troublesome
Lint pass2:
printf returns value which is always ignored
[Sparkle] 30> 

Changing the cast to (int) produces instead

z.c(6): warning: conversion of pointer to 'int' may lose bits

(with no printf declaration, I don't expect lint to produce anything
equivalent to gcc -Wformat's warning for the "%d" vs (char *) thing).

> It is a valid complaint to make considering that
> (sizeof(int) == sizeof(void*)) does not evaluate to true on all
> architectures ;-)

gcc has a warning along the lines of "cast from pointer to integer of
different size" (and another one in the other direction); safe casts
between pointers and integers are a little too useful for me to want to
pitch them entirely.

					der Mouse

			       mouse@rodents.montreal.qc.ca
		     7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B