1 typedef /*@null@*/ struct _list
4 /*@null@*/ /*@only@*/ struct _list *next;
7 extern /*@out@*/ /*@only@*/ void *
11 list_addh (/*@temp@*/ list l,
16 while (l->next != NULL)
22 smalloc (sizeof (*l->next));
25 } /* l->next->next not defined */
28 list_addh2 (/*@temp@*/ list l,
34 assert (l->next == NULL);
36 new = (list) smalloc (sizeof (*l->next));
39 } /* l->next->next not defined */