- library fixes:

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

diff --git a/src/Headers/mtgrammar_tokens.h b/src/Headers/mtgrammar_tokens.h
index d4d959abfc49f81a7f458575206771284b871336..620f9285b27723f4d5af71c217a8e0b6564e52ef 100644 (file)
--- a/src/Headers/mtgrammar_tokens.h
+++ b/src/Headers/mtgrammar_tokens.h
@@ -41,7 +41,13 @@
 /*@-dependenttrans@*/
 /*@-unqualifiedtrans@*/
 /*@-nullassign@*/
+/*@-nullpass@*/
+/*@-nullptrarith*/
+/*@-usereleased@*/
+/*@-declundef@*/
 
+/*drl added 11/27/2001*/
+/*@-bounds@*/
 /* < end of bison.head > */
 
 typedef union {
@@ -65,11 +71,12 @@ typedef union {
   mtTransferAction mttransferaction;
   mtLoseReferenceList mtlosereferencelist;
   mtLoseReference mtlosereference;
-
+  pointers pointers;
   /*@only@*/ cstringList cstringlist;
   ctype ctyp;
   /*@only@*/ qtype qtyp;
-  int count;
+  qual qual;
+  qualList quals;
 } YYSTYPE;
 #define        MT_BADTOK       257
 #define        MT_END  258
@@ -81,39 +88,43 @@ 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_RESTRICT     301
+#define        MT_STRINGLIT    302
+#define        MT_IDENT        303
 
 /*
 ** Resets all flags in bison.head
@@ -157,3 +168,8 @@ typedef union {
 /*@=systemunrecog@*/
 /*@=dependenttrans@*/
 /*@=unqualifiedtrans@*/
+/*@=declundef@*/
+
+
+/*drl added 11/27/2001*/
+/*@=bounds@*/