On Wed, 29 Oct 2003, Terry Colligan wrote:
>
> A parsing idiom that I use a lot is to have a parsing function
> return a pointer to the next place in the buffer. When running
> splint on such a program, I get the following messages:
>
> isspam.c: (in function isspam)
> isspam.c:1961:17: Fresh storage p not released before return
> A memory leak has been detected. Storage allocated locally is not released
> before the last reference to it is lost. (Use -mustfreefresh to inhibit
> warning)
> isspam.c:1957:3: Fresh storage p created
The annotation you want to use is /[EMAIL PROTECTED]@*/. For example,
char *parse_header (/[EMAIL PROTECTED]@*/ char *p)
means that the value returned by parse_header may be a reference to the
parameter p. See http://www.splint.org/manual/html/sec6.html (6.1.2) for
details.
--- Dave
_______________________________________________
splint-discuss mailing list
[EMAIL PROTECTED]
http://www.splint.org/mailman/listinfo/splint-discuss
