[splint-discuss] [Beginner] Glib data structures not detected as freed

[Stephane Bortzmeyer]

On Tue, Jan 13, 2009 at 05:22:53PM -0500,
 Jeff Johnson <n3npq at mac.com> wrote 
 a message of 135 lines which said:

> Whether you consider adding C comments (aka splint annotations) to
> glib prototypes as "modifying source" is all in the eye of the
> beholder.

Well, I tried the following in my source code:

/* Repeat the prototype with annotations */
GList *g_list_delete_link(GList * list, 
                                   GList * link_) 
             /* @releases list@ */ ;

And I get the same warning:

test-glib-splint.c:32:5: Fresh storage list (type GList *) not released before
    assignment: list = g_list_delete_link(list, g_list_last(list))
   test-glib-splint.c:29:5: Fresh storage list created