lint on malloc calls

News reading a/c for rb rb at ist.CO.UK
Thu Sep 15 21:43:40 AEST 1988


>From article <8472 at smoke.ARPA>, by gwyn at smoke.ARPA (Doug Gwyn ):
> "lint" doesn't know that malloc() always returns a suitably-aligned pointer.
> There really isn't any way to prevent these warnings (other than changing
> the code that "lint" sees).

Or modify lint (like we did) so that you can say:

/*ALIGNED*/
extern char *malloc();

and lint then doesn't complain about the alignment of the
value malloc returns.



More information about the Comp.lang.c mailing list