- library fixes:

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

diff --git a/src/Headers/mtgrammar_tokens.h b/src/Headers/mtgrammar_tokens.h
index 9e242ca775ec8f84b313dd02d6b43b925d078045..620f9285b27723f4d5af71c217a8e0b6564e52ef 100644 (file)
--- a/src/Headers/mtgrammar_tokens.h
+++ b/src/Headers/mtgrammar_tokens.h
@@ -41,8 +41,13 @@
 /*@-dependenttrans@*/
 /*@-unqualifiedtrans@*/
 /*@-nullassign@*/
+/*@-nullpass@*/
+/*@-nullptrarith*/
+/*@-usereleased@*/
 /*@-declundef@*/
 
+/*drl added 11/27/2001*/
+/*@-bounds@*/
 /* < end of bison.head > */
 
 typedef union {
@@ -66,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
@@ -84,38 +90,41 @@ 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_RESTRICT     301
+#define        MT_STRINGLIT    302
+#define        MT_IDENT        303
 
 /*
 ** Resets all flags in bison.head
@@ -160,3 +169,7 @@ typedef union {
 /*@=dependenttrans@*/
 /*@=unqualifiedtrans@*/
 /*@=declundef@*/
+
+
+/*drl added 11/27/2001*/
+/*@=bounds@*/