Fixed loading of rc files, warnrc and showscan.

[splint.git] / src / Headers / mtgrammar_tokens.h

diff --git a/src/Headers/mtgrammar_tokens.h b/src/Headers/mtgrammar_tokens.h
index 9e242ca775ec8f84b313dd02d6b43b925d078045..bf50245df7c52b6e9bb9b68ac5d39d9777c175e5 100644 (file)
--- a/src/Headers/mtgrammar_tokens.h
+++ b/src/Headers/mtgrammar_tokens.h
@@ -43,6 +43,9 @@
 /*@-nullassign@*/
 /*@-declundef@*/
 
+/*drl added 11/27/2001*/
+/*@-arraybounds@*/
+/*@-arrayboundsread@*/
 /* < end of bison.head > */
 
 typedef union {
@@ -84,38 +87,40 @@ typedef union {
 #define        MT_PARAMETER    266
 #define        MT_RESULT       267
 #define        MT_CLAUSE       268
-#define        MT_ANNOTATIONS  269
-#define        MT_ARROW        270
-#define        MT_MERGE        271
-#define        MT_TRANSFERS    272
-#define        MT_PRECONDITIONS        273
-#define        MT_POSTCONDITIONS       274
-#define        MT_LOSEREFERENCE        275
-#define        MT_AS   276
-#define        MT_ERROR        277
-#define        MT_PLUS 278
-#define        MT_STAR 279
-#define        MT_BAR  280
-#define        MT_LPAREN       281
-#define        MT_RPAREN       282
-#define        MT_LBRACKET     283
-#define        MT_RBRACKET     284
-#define        MT_LBRACE       285
-#define        MT_RBRACE       286
-#define        MT_COMMA        287
-#define        MT_CHAR 288
-#define        MT_INT  289
-#define        MT_FLOAT        290
-#define        MT_DOUBLE       291
-#define        MT_VOID 292
-#define        MT_ANYTYPE      293
-#define        MT_INTEGRALTYPE 294
-#define        MT_UNSIGNEDINTEGRALTYPE 295
-#define        MT_SIGNEDINTEGRALTYPE   296
-#define        MT_CONST        297
-#define        MT_VOLATILE     298
-#define        MT_STRINGLIT    299
-#define        MT_IDENT        300
+#define        MT_LITERAL      269
+#define        MT_NULL 270
+#define        MT_ANNOTATIONS  271
+#define        MT_ARROW        272
+#define        MT_MERGE        273
+#define        MT_TRANSFERS    274
+#define        MT_PRECONDITIONS        275
+#define        MT_POSTCONDITIONS       276
+#define        MT_LOSEREFERENCE        277
+#define        MT_AS   278
+#define        MT_ERROR        279
+#define        MT_PLUS 280
+#define        MT_STAR 281
+#define        MT_BAR  282
+#define        MT_LPAREN       283
+#define        MT_RPAREN       284
+#define        MT_LBRACKET     285
+#define        MT_RBRACKET     286
+#define        MT_LBRACE       287
+#define        MT_RBRACE       288
+#define        MT_COMMA        289
+#define        MT_CHAR 290
+#define        MT_INT  291
+#define        MT_FLOAT        292
+#define        MT_DOUBLE       293
+#define        MT_VOID 294
+#define        MT_ANYTYPE      295
+#define        MT_INTEGRALTYPE 296
+#define        MT_UNSIGNEDINTEGRALTYPE 297
+#define        MT_SIGNEDINTEGRALTYPE   298
+#define        MT_CONST        299
+#define        MT_VOLATILE     300
+#define        MT_STRINGLIT    301
+#define        MT_IDENT        302
 
 /*
 ** Resets all flags in bison.head
@@ -160,3 +165,8 @@ typedef union {
 /*@=dependenttrans@*/
 /*@=unqualifiedtrans@*/
 /*@=declundef@*/
+
+
+/*drl added 11/27/2001*/
+/*@=arraybounds@*/
+/*@=arrayboundsread@*/