X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/885824d34f6f6626fde2fb041801408cbaf1f6f1..c1dda563eb19325315f8206c609b20c070e260d8:/test/list.c?ds=sidebyside

diff --git a/test/list.c b/test/list.c
index dbcd288..ac827eb 100644
--- a/test/list.c
+++ b/test/list.c
@@ -22,7 +22,7 @@ list_addh (/*@temp@*/ list l,
 	smalloc (sizeof (*l->next));
       l->next->this = e;
     }
-}
+} /* l->next->next not defined */
 
 void
 list_addh2 (/*@temp@*/ list l, 
@@ -36,6 +36,6 @@ list_addh2 (/*@temp@*/ list l,
   new = (list) smalloc (sizeof (*l->next));
   new->this = e;
   l->next = new;
-}
+} /* l->next->next not defined */