X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/e5081f8c08424e4511d50a3b1fc187666c95852c..91b588dea2cd9d465b092f5a934ebf1638f79253:/src/lcllib.c

diff --git a/src/lcllib.c b/src/lcllib.c
index 4ea77cd..46b028e 100644
--- a/src/lcllib.c
+++ b/src/lcllib.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
@@ -37,7 +37,7 @@
  */
 
 # include "splintMacros.nf"
-# include "llbasic.h"
+# include "basic.h"
 # include "osd.h"
 # include "version.h"
 
@@ -46,7 +46,6 @@
 
 # include "lcllib.h"
 # include "llmain.h"
-# include "portab.h"
 
 /*@-incondefs@*/ /*@-redecl@*/
 extern /*:open:*/ /*@dependent@*/ FILE *yyin;
@@ -169,7 +168,6 @@ lcllib_isSkipHeader (cstring sname)
   if (context_getFlag (FLG_SKIPISOHEADERS)
       && context_usingAnsiLibrary ())
     {
-      
       for (i = 0; i < NUMLIBS; i++)
 	{
 	  if (mstring_equal (libname, stdlibs[i]))
@@ -227,11 +225,10 @@ lcllib_isSkipHeader (cstring sname)
 	      /*@-nullstate@*/ 
 	      return TRUE; 
 	      /*@=nullstate@*/
-	      /*@i233@*/
+
 	      /* evans 2002-03-02: 
-		 the returned reference is possibly null,
-		 but this should not change the null state of the parameter
-		 investigate this warning 
+		   the returned reference is possibly null,
+  		   but this should not change the null state of the parameter
 	      */
 	    }
 	}
@@ -256,7 +253,7 @@ lcllib_isSkipHeader (cstring sname)
 
   cstring_free (xname);
   /*@noaccess cstring@*/
-  /*@-nullstate@*/ /*@i233@*/ /* same problem as above */
+  /*@-nullstate@*/ /* same problem as above */
   return FALSE;
   /*@=nullstate@*/
 }
@@ -397,7 +394,8 @@ loadStandardState ()
 		    *tt = '\0';
 
 		  lldiagmsg (message ("Standard library: %s", fpath));
-		  lldiagmsg (message ("   (created using %s)", cstring_fromChars (t)));
+		  /* evans 2004-01-13: removed this (it is the libversion which is confusing) */
+		  /*   lldiagmsg (message ("   (created using %s)", cstring_fromChars (t)));		    */
 		}
 
 	      sfree (ot);