Path: utzoo!attcan!uunet!mcvax!ukc!stl!ist!rb
From: rb@ist.CO.UK (News reading a/c for rb)
Newsgroups: comp.lang.c
Subject: Re: lint on malloc calls
Message-ID: <338@istop.ist.CO.UK>
Date: 15 Sep 88 11:43:40 GMT
References: <8472@smoke.ARPA>
Organization: Imperial Software Technology, London, UK
Lines: 12

From article <8472@smoke.ARPA>, by gwyn@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.