Committed my changes (but there are several splintme errors currently).

[splint.git] / src / signature.c.der

diff --git a/src/signature.c.der b/src/signature.c.der
index 3b64fe85cdd31bba2726a9b7f43b84bba46f05fa..15b7d4fe5e83c5d567a88abbcbf01ea4329bbc6c 100644 (file)
--- a/src/signature.c.der
+++ b/src/signature.c.der
@@ -41,11 +41,13 @@
 /*@-dependenttrans@*/
 /*@-unqualifiedtrans@*/
 /*@-nullassign@*/
+/*@-nullpass@*/
+/*@-nullptrarith*/
+/*@-usereleased@*/
 /*@-declundef@*/
 
 /*drl added 11/27/2001*/
-/*@-arraybounds@*/
-/*@-arrayboundsread@*/
+/*@-bounds@*/
 /* < end of bison.head > */
 
 
@@ -110,12 +112,14 @@
 
 
 # include <stdio.h>
-# include "lclintMacros.nf"
+# include "splintMacros.nf"
 # include "llbasic.h"
 # include "lslparse.h"
 # include "signature.h"
 
-void lslerror (char *);
+static void lslerror (char *);
+extern int lsllex ();
+
 /*@dependent@*/ /*@null@*/ lslOp importedlslOp;
 
 /*@-noparams@*/ /* Can't list params since YYSTYPE isn't defined yet. */
@@ -223,10 +227,10 @@ static const short yyrhs[] = {    49,
 
 #if YYDEBUG != 0
 static const short yyrline[] = { 0,
-   137,   139,   144,   148,   154,   156,   160,   162,   164,   166,
-   168,   170,   172,   174,   176,   179,   182,   185,   188,   191,
-   194,   199,   204,   206,   208,   211,   213,   216,   218,   221,
-   223,   226,   229,   231,   234,   236,   239,   245
+   139,   141,   146,   150,   156,   158,   162,   164,   166,   168,
+   170,   172,   174,   176,   178,   181,   184,   187,   190,   193,
+   196,   201,   206,   208,   210,   213,   215,   218,   220,   223,
+   225,   228,   231,   233,   236,   238,   241,   247
 };
 #endif
 
@@ -1218,7 +1222,7 @@ void lslerror (char *s)
   llfatalbug 
     (cstring_makeLiteral 
      ("There has been a problem in the parser with LSL signatures. This is believed to result "
-      "from a problem with bison v. 1.25.  Please try rebuidling LCLint "
+      "from a problem with bison v. 1.25.  Please try rebuidling Splint "
       "using the pre-compiled grammar files by commenting out the "
       "BISON= line in the top-level Makefile."));
 }
@@ -1330,5 +1334,4 @@ extern void PrintToken (ltoken tok) {
 
 
 /*drl added 11/27/2001*/
-/*@=arraybounds@*/
-/*@=arrayboundsread@*/
+/*@=bounds@*/