]> andersk Git - splint.git/blobdiff - test/list.c
Added files to generate a binary package by doing make bindist
[splint.git] / test / list.c
index dbcd288325e44d434689529d0753470fcd829068..ac827ebf560519c2e84b86f627043c1edb0076ea 100644 (file)
@@ -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 */
 
       
This page took 0.585034 seconds and 4 git commands to generate.