On Mon, Jun 18, 2007 at 08:43:32AM +0200, Wenzel, Bodo wrote:
> static void
> s_free (/*@only@*/ /*@null@*/ struct s * f) {
>   if ( f == NULL )
>     return;
>   s1_free(f->f1);
>   s2_free(f->f2);
>   free(f);
> }

It has the problem that if you "forget" to free e.g. f->f2 in
s_free() splint doesn't warn you about it. Maybe not a big deal
though, if s_free is simple.


--
Tommy Pettersson <ptp@lysa...>
_______________________________________________
splint-discuss mailing list
splint-discuss@ares...
http://www.cs.Virginia.EDU/mailman-2.1.5/listinfo/splint-discuss