Fixed all /*@i...@*/ tags (except 1).

[splint.git] / src / uentryList.c

diff --git a/src/uentryList.c b/src/uentryList.c
index 975f2a060098527d5ececd92e6d3bc2e669cab59..eca84f0b7f097b570b9935d1da3b9191c8e4cc97 100644 (file)
--- a/src/uentryList.c
+++ b/src/uentryList.c
@@ -327,7 +327,6 @@ uentryList uentryList_copy (uentryList s)
 void
 uentryList_free (uentryList s)
 {
-  
   if (!uentryList_isUndefined (s)) 
     {
       int i;
@@ -342,6 +341,18 @@ uentryList_free (uentryList s)
     }
 }
 
+void
+uentryList_freeShallow (uentryList s)
+{
+  if (!uentryList_isUndefined (s)) 
+    {
+      /*@-mustfree@*/ /* free shallow does not free the element */ 
+      sfree (s->elements);
+      /*@=mustfree@*/
+      sfree (s);
+    }
+}
+
 bool
 uentryList_isVoid (uentryList cl)
 {
@@ -873,7 +884,6 @@ uentryList_matchFields (uentryList p1, uentryList p2)
       cp1 = p1->elements[index];
       cp2 = p2->elements[index];
 
-      /*@i32*/
       /*
       ** Should compare uentry's --- need to fix report errors too.
       */