Renaming - LCLint => Splint

[splint.git] / src / sRefTable.c

diff --git a/src/sRefTable.c b/src/sRefTable.c
index fd362904103b774b0a560fe1ae35a3fd2bbf02d1..36ab07402caa0a085f8b208dec416d4a0bc0016d 100644 (file)
--- a/src/sRefTable.c
+++ b/src/sRefTable.c
@@ -1,6 +1,6 @@
 /*
-** LCLint - annotation-assisted static program checker
-** Copyright (C) 1994-2000 University of Virginia,
+** Splint - annotation-assisted static program checker
+** Copyright (C) 1994-2001 University of Virginia,
 **         Massachusetts Institute of Technology
 **
 ** This program is free software; you can redistribute it and/or modify it
@@ -19,7 +19,7 @@
 **
 ** For information on lclint: lclint-request@cs.virginia.edu
 ** To report a bug: lclint-bug@cs.virginia.edu
-** For more information: http://lclint.cs.virginia.edu
+** For more information: http://www.splint.org
 */
 /*
 ** sRefTable.c
@@ -80,9 +80,9 @@ sRefTable_add (sRefTable s, /*@owned@*/ sRef el)
   
   llassert (s->elements != NULL);
   s->elements[s->entries] = el;
+  DPRINTF (("Adding to sRef table: [%p]", el));
   
   s->entries++;
-
   return s;
 }
 
@@ -95,9 +95,11 @@ sRefTable_clear (sRefTable s)
       
       for (i = 0; i < s->entries; i++)
        {
-                 sRef_free (s->elements[i]); 
+         DPRINTF (("Table clear: [%p] %s", s->elements[i], sRef_unparseDebug (s->elements[i])));
+         /* sRef_checkValid (s->elements[i]); */
+         sRef_free (s->elements[i]); 
        }
-
+      
       s->nspace += s->entries;
       s->entries = 0;
     }
@@ -137,6 +139,7 @@ sRefTable_free (/*@only@*/ sRefTable s)
 
       for (i = 0; i < s->entries; i++)
        {
+         DPRINTF (("Table free: [%p] %s", s->elements[i], sRef_unparse (s->elements[i])));
          sRef_free (s->elements[i]);
        }