Fixed unsignedcompare test. Removed diag for unclosed files.

[splint.git] / src / fileTable.c

diff --git a/src/fileTable.c b/src/fileTable.c
index 8b90b0414d0df5bbd04e9e76489e2db53ed57ad5..658d500a279fac2d0a17c48425a043f36f86fcf7 100644 (file)
--- a/src/fileTable.c
+++ b/src/fileTable.c
@@ -991,11 +991,12 @@ void fileTable_closeAll (fileTable ft)
 
   for (i = 0; i < ft->nopen; i++) 
     {
+      /* 
+        lldiagmsg (message ("Unclosed file at exit: %s", ft->openelements[i]->fname)); 
+      */
+
+      (void) fclose (ft->openelements[i]->f); /* No check - cleaning up after errors */
       lldiagmsg (message ("Unclosed file at exit: %s", cstring_toCharsSafe (ft->openelements[i]->fname)));
-      
-      /*@-retvalint@*/
-      fclose (ft->openelements[i]->f); /* No check - cleaning up after errors */
-      /*@=retvalint@*/
       ft->openelements[i]->f = NULL;
       foentry_free (ft->openelements[i]);
       ft->openelements[i] = NULL;