1 typedef struct _node
*node
;
8 void node_free1 (/*@only@*/ node n
)
10 free (n
); /* 2 errors: must free n->next, n->val */
13 void node_free2 (/*@only@*/ node n
)
16 free (n
); /* error: must free n->val */
17 } /* error - nn not released */
19 void node_free3 (/*@only@*/ node n
)
25 node_free1 (nn
); /* okay (error for null) */