*** empty log message ***

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

diff --git a/src/Headers/mtgrammar_tokens.h b/src/Headers/mtgrammar_tokens.h
index d4d959abfc49f81a7f458575206771284b871336..95e6f3d6a95d0ab37105e7b7866e535c36a23024 100644 (file)
--- a/src/Headers/mtgrammar_tokens.h
+++ b/src/Headers/mtgrammar_tokens.h
@@ -41,6 +41,7 @@
 /*@-dependenttrans@*/
 /*@-unqualifiedtrans@*/
 /*@-nullassign@*/
+/*@-declundef@*/
 
 /* < end of bison.head > */
 
@@ -81,39 +82,42 @@ typedef union {
 #define        MT_DEFAULT      264
 #define        MT_REFERENCE    265
 #define        MT_PARAMETER    266
-#define        MT_CLAUSE       267
-#define        MT_ANNOTATIONS  268
-#define        MT_ARROW        269
-#define        MT_MERGE        270
-#define        MT_TRANSFERS    271
-#define        MT_PRECONDITIONS        272
-#define        MT_POSTCONDITIONS       273
-#define        MT_LOSEREFERENCE        274
-#define        MT_AS   275
-#define        MT_ERROR        276
-#define        MT_PLUS 277
-#define        MT_STAR 278
-#define        MT_BAR  279
-#define        MT_LPAREN       280
-#define        MT_RPAREN       281
-#define        MT_LBRACKET     282
-#define        MT_RBRACKET     283
-#define        MT_LBRACE       284
-#define        MT_RBRACE       285
-#define        MT_COMMA        286
-#define        MT_CHAR 287
-#define        MT_INT  288
-#define        MT_FLOAT        289
-#define        MT_DOUBLE       290
-#define        MT_VOID 291
-#define        MT_ANYTYPE      292
-#define        MT_INTEGRALTYPE 293
-#define        MT_UNSIGNEDINTEGRALTYPE 294
-#define        MT_SIGNEDINTEGRALTYPE   295
-#define        MT_CONST        296
-#define        MT_VOLATILE     297
-#define        MT_STRINGLIT    298
-#define        MT_IDENT        299
+#define        MT_RESULT       267
+#define        MT_CLAUSE       268
+#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
@@ -157,3 +161,4 @@ typedef union {
 /*@=systemunrecog@*/
 /*@=dependenttrans@*/
 /*@=unqualifiedtrans@*/
+/*@=declundef@*/