Fixed -help <mode> bug.

[splint.git] / src / lcllib.c

diff --git a/src/lcllib.c b/src/lcllib.c
index ac388a67d1edf5de4b45ecec8cd79ba9eadcbc7c..46b028ed13f67e875b8176f464818990e3b213d6 100644 (file)
--- 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,18 +37,15 @@
  */
 
 # include "splintMacros.nf"
-# include "llbasic.h"
+# include "basic.h"
 # include "osd.h"
+# include "version.h"
 
-# ifndef NOLCL
 # include "gram.h"
-
 # include "lclscan.h"
-# endif
 
 # include "lcllib.h"
 # include "llmain.h"
-# include "portab.h"
 
 /*@-incondefs@*/ /*@-redecl@*/
 extern /*:open:*/ /*@dependent@*/ FILE *yyin;
@@ -171,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]))
@@ -229,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
              */
            }
        }
@@ -258,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@*/
 }
@@ -304,7 +299,7 @@ dumpState (cstring cfname)
       */
 
       fprintf (f, "%s %s\n", LIBRARY_MARKER, cstring_toCharsSafe (fname));
-      fprintf (f, ";;%s\n", SPLINT_VERSION);
+      fprintf (f, ";;Splint %f\n", SPLINT_LIBVERSION);
       fprintf (f, ";;lib:%d\n", (int) context_getLibrary ());
       fprintf (f, ";;ctTable\n");
       
@@ -399,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);
@@ -486,10 +482,13 @@ loadLCDFile (FILE *f, cstring name)
                  vname = cstring_fromChars (buf + 9);
 
                  loadllmsg (message ("Load library %s is in obsolete Splint library "
-                                     "format (version %s).  Attempting "
+                                     "format (version %f (%s), expecting version %f).  Attempting "
                                      "to continue anyway, but results may be incorrect.  Rebuild "
                                      "the library with this version of splint.", 
-                                     name, vname));
+                                     name, 
+                                     version,
+                                     vname, 
+                                     SPLINT_LIBVERSION));
                }
              else
                {