Fixed problem with NULL being changed.

[splint.git] / src / mtgrammar.c

diff --git a/src/mtgrammar.c b/src/mtgrammar.c
index 363386d7f85d4a5b80c010800e2729f991fe76ed..67c2e99df9c9ac53b137d8836d97bd52c9953ce7 100644 (file)
--- a/src/mtgrammar.c
+++ b/src/mtgrammar.c
@@ -48,6 +48,10 @@
 
 /*drl added 11/27/2001*/
 /*@-bounds@*/
+
+/*drl added 12/11/2002*/
+/*@-type@*/
+
 /* < end of bison.head > */
 
 /* A Bison parser, made from mtgrammar.y
@@ -114,7 +118,7 @@
 
 # include "bison.reset"
 # include "splintMacros.nf"
-# include "llbasic.h"
+# include "basic.h"
 
 # ifndef S_SPLINT_S
 extern ctype mtscanner_lookupType (mttok p_tok) /*@modifies p_tok@*/ ;
@@ -269,16 +273,16 @@ static const short yyrhs[] =
 /* YYRLINE[YYN] -- source line where rule number YYN was defined. */
 static const short yyrline[] =
 {
-       0,   160,   161,   164,   166,   170,   174,   175,   179,   180,
-     181,   182,   183,   184,   185,   186,   187,   188,   191,   195,
-     196,   199,   200,   201,   202,   203,   204,   211,   212,   215,
-     216,   219,   220,   224,   227,   228,   232,   233,   234,   237,
-     238,   239,   240,   243,   244,   245,   248,   249,   252,   253,
-     254,   261,   262,   263,   264,   265,   266,   267,   268,   269,
-     270,   276,   279,   282,   283,   287,   290,   293,   295,   299,
-     302,   303,   307,   311,   314,   315,   318,   322,   323,   326,
-     329,   332,   335,   338,   339,   342,   345,   346,   349,   353,
-     354,   357,   358,   361
+       0,   160,   161,   165,   167,   172,   177,   178,   183,   184,
+     185,   186,   187,   188,   189,   190,   191,   192,   196,   201,
+     202,   206,   207,   208,   209,   210,   211,   219,   220,   224,
+     225,   229,   230,   235,   239,   240,   244,   245,   246,   250,
+     251,   252,   253,   257,   258,   259,   263,   264,   268,   269,
+     270,   278,   279,   280,   281,   282,   283,   284,   285,   286,
+     287,   294,   298,   302,   303,   308,   312,   316,   318,   323,
+     327,   328,   333,   338,   342,   343,   347,   352,   353,   357,
+     361,   365,   369,   373,   374,   378,   382,   383,   387,   392,
+     393,   397,   398,   402
 };
 #endif
 
@@ -1719,3 +1723,6 @@ static void yyprint (FILE *file, int type, YYSTYPE value)
 
 /*drl added 11/27/2001*/
 /*@=bounds@*/
+
+/*drl added 12/11/2002*/
+/*@=type@*/