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

[splint.git] / src / uentryList.c

diff --git a/src/uentryList.c b/src/uentryList.c
index 96951d631248e8aa46ae8088da90ead99abddf52..eca84f0b7f097b570b9935d1da3b9191c8e4cc97 100644 (file)
--- a/src/uentryList.c
+++ b/src/uentryList.c
@@ -1,6 +1,6 @@
 /*
 ** Splint - annotation-assisted static program checker
-** Copyright (C) 1994-2002 University of Virginia,
+** Copyright (C) 1994-2003 University of Virginia,
 **         Massachusetts Institute of Technology
 **
 ** This program is free software; you can redistribute it and/or modify it
@@ -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.
       */