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

/*
** Inserted at beginning of c files generated by bison
** REMEMBER:  Change bison.reset too.
*/

/*@-allmacros@*/
/*@+boolint@*/
/*@+charint@*/
/*@-macroparams@*/
/*@-macroundef@*/
/*@-unreachable@*/
/*@-macrospec@*/
/*@-varuse@*/
/*@+ignorequals@*/
/*@-macrostmt@*/
/*@-noeffect@*/
/*@-shadow@*/
/*@-exitarg@*/
/*@-macroredef@*/
/*@-uniondef@*/
/*@-compdef@*/
/*@-matchfields@*/
/*@-exportlocal@*/
/*@-evalorderuncon@*/
/*@-exportheader@*/
/*@-typeuse@*/
/*@-redecl@*/
/*@-redef@*/
/*@-noparams@*/
/*@-ansireserved@*/
/*@-fielduse@*/
/*@-ifblock@*/
/*@-elseifcomplete@*/
/*@-whileblock@*/
/*@-forblock@*/
/*@-branchstate@*/
/*@-readonlytrans@*/
/*@-namechecks@*/
/*@-usedef@*/
/*@-systemunrecog@*/
/*@-dependenttrans@*/
/*@-unqualifiedtrans@*/
/*@-nullassign@*/
/*@-nullpass@*/
/*@-nullptrarith*/
/*@-usereleased@*/
/*@-declundef@*/

/*drl added 11/27/2001*/
/*@-bounds@*/

/*drl added 12/11/2002*/
/*@-type@*/

/* < end of bison.head > */

/* A Bison parser, made by GNU Bison 1.875a.  */

/* Skeleton parser for Yacc-like parsing with Bison,
   Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003 Free Software Foundation, Inc.

   This program is free software; you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
   the Free Software Foundation; either version 2, or (at your option)
   any later version.

   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with this program; if not, write to the Free Software
   Foundation, Inc., 59 Temple Place - Suite 330,
   Boston, MA 02111-1307, USA.  */

/* As a special exception, when this file is copied by Bison into a
   Bison output file, you may use that output file without restriction.
   This special exception was added by the Free Software Foundation
   in version 1.24 of Bison.  */

/* Tokens.  */
#ifndef YYTOKENTYPE
# define YYTOKENTYPE
   /* Put the tokens into the symbol table, so that GDB and other debuggers
      know about them.  */
   enum yytokentype {
     BADTOK = 258,
     SKIPTOK = 259,
     CTOK_ELIPSIS = 260,
     CASE = 261,
     DEFAULT = 262,
     CIF = 263,
     CELSE = 264,
     SWITCH = 265,
     WHILE = 266,
     DO = 267,
     CFOR = 268,
     GOTO = 269,
     CONTINUE = 270,
     BREAK = 271,
     RETURN = 272,
     TSEMI = 273,
     TLBRACE = 274,
     TRBRACE = 275,
     TCOMMA = 276,
     TCOLON = 277,
     TASSIGN = 278,
     TLPAREN = 279,
     TRPAREN = 280,
     TLSQBR = 281,
     TRSQBR = 282,
     TDOT = 283,
     TAMPERSAND = 284,
     TEXCL = 285,
     TTILDE = 286,
     TMINUS = 287,
     TPLUS = 288,
     TMULT = 289,
     TDIV = 290,
     TPERCENT = 291,
     TLT = 292,
     TGT = 293,
     TCIRC = 294,
     TBAR = 295,
     TQUEST = 296,
     CSIZEOF = 297,
     CALIGNOF = 298,
     CTYPEOF = 299,
     ARROW_OP = 300,
     CTYPEDEF = 301,
     COFFSETOF = 302,
     INC_OP = 303,
     DEC_OP = 304,
     LEFT_OP = 305,
     RIGHT_OP = 306,
     LE_OP = 307,
     GE_OP = 308,
     EQ_OP = 309,
     NE_OP = 310,
     AND_OP = 311,
     OR_OP = 312,
     MUL_ASSIGN = 313,
     DIV_ASSIGN = 314,
     MOD_ASSIGN = 315,
     ADD_ASSIGN = 316,
     SUB_ASSIGN = 317,
     LEFT_ASSIGN = 318,
     RIGHT_ASSIGN = 319,
     AND_ASSIGN = 320,
     XOR_ASSIGN = 321,
     OR_ASSIGN = 322,
     CSTRUCT = 323,
     CUNION = 324,
     CENUM = 325,
     VA_ARG = 326,
     VA_DCL = 327,
     QWARN = 328,
     QGLOBALS = 329,
     QMODIFIES = 330,
     QNOMODS = 331,
     QCONSTANT = 332,
     QFUNCTION = 333,
     QITER = 334,
     QDEFINES = 335,
     QUSES = 336,
     QALLOCATES = 337,
     QSETS = 338,
     QRELEASES = 339,
     QPRECLAUSE = 340,
     QPOSTCLAUSE = 341,
     QINVARIANT = 342,
     QALT = 343,
     QUNDEF = 344,
     QKILLED = 345,
     QENDMACRO = 346,
     LLMACRO = 347,
     LLMACROITER = 348,
     LLMACROEND = 349,
     TENDMACRO = 350,
     QDREVEALSTATE = 351,
     QSWITCHBREAK = 352,
     QLOOPBREAK = 353,
     QINNERBREAK = 354,
     QSAFEBREAK = 355,
     QINNERCONTINUE = 356,
     QFALLTHROUGH = 357,
     QLINTNOTREACHED = 358,
     QLINTFALLTHROUGH = 359,
     QLINTFALLTHRU = 360,
     QARGSUSED = 361,
     QPRINTFLIKE = 362,
     QLINTPRINTFLIKE = 363,
     QSCANFLIKE = 364,
     QMESSAGELIKE = 365,
     QNOTREACHED = 366,
     QCONST = 367,
     QRESTRICT = 368,
     QVOLATILE = 369,
     QINLINE = 370,
     QEXTENSION = 371,
     QEXTERN = 372,
     QSTATIC = 373,
     QAUTO = 374,
     QREGISTER = 375,
     QOUT = 376,
     QIN = 377,
     QYIELD = 378,
     QONLY = 379,
     QTEMP = 380,
     QSHARED = 381,
     QREF = 382,
     QUNIQUE = 383,
     QCHECKED = 384,
     QUNCHECKED = 385,
     QCHECKEDSTRICT = 386,
     QCHECKMOD = 387,
     QKEEP = 388,
     QKEPT = 389,
     QPARTIAL = 390,
     QSPECIAL = 391,
     QOWNED = 392,
     QDEPENDENT = 393,
     QRETURNED = 394,
     QEXPOSED = 395,
     QNULL = 396,
     QOBSERVER = 397,
     QISNULL = 398,
     QEXITS = 399,
     QMAYEXIT = 400,
     QNEVEREXIT = 401,
     QTRUEEXIT = 402,
     QFALSEEXIT = 403,
     QLONG = 404,
     QSIGNED = 405,
     QUNSIGNED = 406,
     QSHORT = 407,
     QUNUSED = 408,
     QSEF = 409,
     QNOTNULL = 410,
     QRELNULL = 411,
     QABSTRACT = 412,
     QNUMABSTRACT = 413,
     QCONCRETE = 414,
     QMUTABLE = 415,
     QIMMUTABLE = 416,
     QTRUENULL = 417,
     QFALSENULL = 418,
     QEXTERNAL = 419,
     QREFCOUNTED = 420,
     QREFS = 421,
     QNEWREF = 422,
     QTEMPREF = 423,
     QKILLREF = 424,
     QRELDEF = 425,
     CGCHAR = 426,
     CBOOL = 427,
     CINT = 428,
     CGFLOAT = 429,
     CDOUBLE = 430,
     CVOID = 431,
     QANYTYPE = 432,
     QINTEGRALTYPE = 433,
     QUNSIGNEDINTEGRALTYPE = 434,
     QSIGNEDINTEGRALTYPE = 435,
     QNULLTERMINATED = 436,
     QSETBUFFERSIZE = 437,
     QSETSTRINGLENGTH = 438,
     QMAXSET = 439,
     QMAXREAD = 440,
     QTESTINRANGE = 441,
     TCAND = 442,
     IDENTIFIER = 443,
     NEW_IDENTIFIER = 444,
     TYPE_NAME_OR_ID = 445,
     CANNOTATION = 446,
     CCONSTANT = 447,
     ITER_NAME = 448,
     ITER_ENDNAME = 449,
     TYPE_NAME = 450,
     METASTATE_NAME = 451
   };
#endif
#define BADTOK 258
#define SKIPTOK 259
#define CTOK_ELIPSIS 260
#define CASE 261
#define DEFAULT 262
#define CIF 263
#define CELSE 264
#define SWITCH 265
#define WHILE 266
#define DO 267
#define CFOR 268
#define GOTO 269
#define CONTINUE 270
#define BREAK 271
#define RETURN 272
#define TSEMI 273
#define TLBRACE 274
#define TRBRACE 275
#define TCOMMA 276
#define TCOLON 277
#define TASSIGN 278
#define TLPAREN 279
#define TRPAREN 280
#define TLSQBR 281
#define TRSQBR 282
#define TDOT 283
#define TAMPERSAND 284
#define TEXCL 285
#define TTILDE 286
#define TMINUS 287
#define TPLUS 288
#define TMULT 289
#define TDIV 290
#define TPERCENT 291
#define TLT 292
#define TGT 293
#define TCIRC 294
#define TBAR 295
#define TQUEST 296
#define CSIZEOF 297
#define CALIGNOF 298
#define CTYPEOF 299
#define ARROW_OP 300
#define CTYPEDEF 301
#define COFFSETOF 302
#define INC_OP 303
#define DEC_OP 304
#define LEFT_OP 305
#define RIGHT_OP 306
#define LE_OP 307
#define GE_OP 308
#define EQ_OP 309
#define NE_OP 310
#define AND_OP 311
#define OR_OP 312
#define MUL_ASSIGN 313
#define DIV_ASSIGN 314
#define MOD_ASSIGN 315
#define ADD_ASSIGN 316
#define SUB_ASSIGN 317
#define LEFT_ASSIGN 318
#define RIGHT_ASSIGN 319
#define AND_ASSIGN 320
#define XOR_ASSIGN 321
#define OR_ASSIGN 322
#define CSTRUCT 323
#define CUNION 324
#define CENUM 325
#define VA_ARG 326
#define VA_DCL 327
#define QWARN 328
#define QGLOBALS 329
#define QMODIFIES 330
#define QNOMODS 331
#define QCONSTANT 332
#define QFUNCTION 333
#define QITER 334
#define QDEFINES 335
#define QUSES 336
#define QALLOCATES 337
#define QSETS 338
#define QRELEASES 339
#define QPRECLAUSE 340
#define QPOSTCLAUSE 341
#define QINVARIANT 342
#define QALT 343
#define QUNDEF 344
#define QKILLED 345
#define QENDMACRO 346
#define LLMACRO 347
#define LLMACROITER 348
#define LLMACROEND 349
#define TENDMACRO 350
#define QDREVEALSTATE 351
#define QSWITCHBREAK 352
#define QLOOPBREAK 353
#define QINNERBREAK 354
#define QSAFEBREAK 355
#define QINNERCONTINUE 356
#define QFALLTHROUGH 357
#define QLINTNOTREACHED 358
#define QLINTFALLTHROUGH 359
#define QLINTFALLTHRU 360
#define QARGSUSED 361
#define QPRINTFLIKE 362
#define QLINTPRINTFLIKE 363
#define QSCANFLIKE 364
#define QMESSAGELIKE 365
#define QNOTREACHED 366
#define QCONST 367
#define QRESTRICT 368
#define QVOLATILE 369
#define QINLINE 370
#define QEXTENSION 371
#define QEXTERN 372
#define QSTATIC 373
#define QAUTO 374
#define QREGISTER 375
#define QOUT 376
#define QIN 377
#define QYIELD 378
#define QONLY 379
#define QTEMP 380
#define QSHARED 381
#define QREF 382
#define QUNIQUE 383
#define QCHECKED 384
#define QUNCHECKED 385
#define QCHECKEDSTRICT 386
#define QCHECKMOD 387
#define QKEEP 388
#define QKEPT 389
#define QPARTIAL 390
#define QSPECIAL 391
#define QOWNED 392
#define QDEPENDENT 393
#define QRETURNED 394
#define QEXPOSED 395
#define QNULL 396
#define QOBSERVER 397
#define QISNULL 398
#define QEXITS 399
#define QMAYEXIT 400
#define QNEVEREXIT 401
#define QTRUEEXIT 402
#define QFALSEEXIT 403
#define QLONG 404
#define QSIGNED 405
#define QUNSIGNED 406
#define QSHORT 407
#define QUNUSED 408
#define QSEF 409
#define QNOTNULL 410
#define QRELNULL 411
#define QABSTRACT 412
#define QNUMABSTRACT 413
#define QCONCRETE 414
#define QMUTABLE 415
#define QIMMUTABLE 416
#define QTRUENULL 417
#define QFALSENULL 418
#define QEXTERNAL 419
#define QREFCOUNTED 420
#define QREFS 421
#define QNEWREF 422
#define QTEMPREF 423
#define QKILLREF 424
#define QRELDEF 425
#define CGCHAR 426
#define CBOOL 427
#define CINT 428
#define CGFLOAT 429
#define CDOUBLE 430
#define CVOID 431
#define QANYTYPE 432
#define QINTEGRALTYPE 433
#define QUNSIGNEDINTEGRALTYPE 434
#define QSIGNEDINTEGRALTYPE 435
#define QNULLTERMINATED 436
#define QSETBUFFERSIZE 437
#define QSETSTRINGLENGTH 438
#define QMAXSET 439
#define QMAXREAD 440
#define QTESTINRANGE 441
#define TCAND 442
#define IDENTIFIER 443
#define NEW_IDENTIFIER 444
#define TYPE_NAME_OR_ID 445
#define CANNOTATION 446
#define CCONSTANT 447
#define ITER_NAME 448
#define ITER_ENDNAME 449
#define TYPE_NAME 450
#define METASTATE_NAME 451


#if ! defined (cgrammar_YYSTYPE) && ! defined (cgrammar_YYSTYPE_IS_DECLARED)

typedef union cgrammar_YYSTYPE {
  lltok tok;
  int count;
  qual typequal;
  qualList tquallist;
  ctype ctyp;
  /*@dependent@*/ sRef sr;
  /*@only@*/ sRef osr;

  /*@only@*/ functionClauseList funcclauselist;
  /*@only@*/ functionClause funcclause;  
  /*@only@*/ flagSpec flagspec;
  /*@only@*/ globalsClause globsclause;
  /*@only@*/ modifiesClause modsclause;
  /*@only@*/ warnClause warnclause;
  /*@only@*/ stateClause stateclause;
  /*@only@*/ pointers pointers;
  /*@only@*/ functionConstraint fcnconstraint; 

  /*@only@*/ metaStateConstraint msconstraint;
  /*@only@*/ metaStateSpecifier msspec;
  /*@only@*/ metaStateExpression msexpr;
  /*@observer@*/ metaStateInfo msinfo;

  /*@only@*/ sRefList srlist;
  /*@only@*/ globSet globset;
  /*@only@*/ qtype qtyp;
  /*@only@*/ cstring cname;
  /*@observer@*/ annotationInfo annotation;
  /*@only@*/ idDecl ntyp;
  /*@only@*/ idDeclList ntyplist;
  /*@only@*/ uentryList flist;
  /*@owned@*/ uentryList entrylist;
  /*@observer@*/ /*@dependent@*/ uentry entry;
  /*@only@*/ uentry oentry;
  /*@only@*/ exprNode expr;
  /*@only@*/ enumNameList enumnamelist;
  /*@only@*/ exprNodeList exprlist;
  /*@only@*/ sRefSet srset; 
  /*@only@*/ cstringList cstringlist;

  /*drl
    added 1/19/2001
  */
  constraint con;
  constraintList conL;
  constraintExpr conE;
  /* drl */  
} cgrammar_YYSTYPE;
/* Line 1240 of yacc.c.  */

# define yystype cgrammar_YYSTYPE /* obsolescent; will be withdrawn */
# define cgrammar_YYSTYPE_IS_DECLARED 1
# define cgrammar_YYSTYPE_IS_TRIVIAL 1
#endif

extern cgrammar_YYSTYPE yylval;


/*
** Resets all flags in bison.head
*/


/*@=allmacros@*/
/*@=boolint@*/
/*@=charint@*/
/*@=macroparams@*/
/*@=macroundef@*/
/*@=unreachable@*/
/*@=macrospec@*/
/*@=varuse@*/
/*@=ignorequals@*/
/*@=macrostmt@*/
/*@=noeffect@*/
/*@=shadow@*/
/*@=exitarg@*/
/*@=macroredef@*/
/*@=uniondef@*/
/*@=compdef@*/
/*@=matchfields@*/
/*@=exportlocal@*/
/*@=evalorderuncon@*/
/*@=exportheader@*/
/*@=typeuse@*/
/*@=redecl@*/
/*@=redef@*/
/*@=noparams@*/
/*@=ansireserved@*/
/*@=fielduse@*/
/*@=ifblock@*/
/*@=elseifcomplete@*/
/*@=whileblock@*/
/*@=forblock@*/
/*@=branchstate@*/
/*@=readonlytrans@*/
/*@=namechecks@*/
/*@=usedef@*/
/*@=systemunrecog@*/
/*@=dependenttrans@*/
/*@=unqualifiedtrans@*/
/*@=declundef@*/


/*drl added 11/27/2001*/
/*@=bounds@*/

/*drl added 12/11/2002*/
/*@=type@*/
Commit	Line	Data
d317ee89	1	/*
	2	** Inserted at beginning of c files generated by bison
	3	** REMEMBER: Change bison.reset too.
	4	*/
	5
	6	/@-allmacros@/
	7	/@+boolint@/
	8	/@+charint@/
	9	/@-macroparams@/
	10	/@-macroundef@/
	11	/@-unreachable@/
	12	/@-macrospec@/
	13	/@-varuse@/
	14	/@+ignorequals@/
	15	/@-macrostmt@/
	16	/@-noeffect@/
	17	/@-shadow@/
	18	/@-exitarg@/
	19	/@-macroredef@/
	20	/@-uniondef@/
	21	/@-compdef@/
	22	/@-matchfields@/
	23	/@-exportlocal@/
	24	/@-evalorderuncon@/
	25	/@-exportheader@/
	26	/@-typeuse@/
	27	/@-redecl@/
	28	/@-redef@/
	29	/@-noparams@/
	30	/@-ansireserved@/
	31	/@-fielduse@/
	32	/@-ifblock@/
	33	/@-elseifcomplete@/
	34	/@-whileblock@/
	35	/@-forblock@/
	36	/@-branchstate@/
	37	/@-readonlytrans@/
	38	/@-namechecks@/
	39	/@-usedef@/
	40	/@-systemunrecog@/
	41	/@-dependenttrans@/
	42	/@-unqualifiedtrans@/
	43	/@-nullassign@/
	44	/@-nullpass@/
	45	/@-nullptrarith/
	46	/@-usereleased@/
	47	/@-declundef@/
	48
	49	/drl added 11/27/2001/
	50	/@-bounds@/
1d91681f	51
	52	/drl added 12/11/2002/
	53	/@-type@/
	54
d317ee89	55	/* < end of bison.head > */
d317ee89	56
8f58355a	57	/* A Bison parser, made by GNU Bison 1.875a. */
d0b80d80	58
8f58355a	59	/* Skeleton parser for Yacc-like parsing with Bison,
	60	Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003 Free Software Foundation, Inc.
	61
	62	This program is free software; you can redistribute it and/or modify
	63	it under the terms of the GNU General Public License as published by
	64	the Free Software Foundation; either version 2, or (at your option)
	65	any later version.
	66
	67	This program is distributed in the hope that it will be useful,
	68	but WITHOUT ANY WARRANTY; without even the implied warranty of
	69	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	70	GNU General Public License for more details.
	71
	72	You should have received a copy of the GNU General Public License
	73	along with this program; if not, write to the Free Software
	74	Foundation, Inc., 59 Temple Place - Suite 330,
	75	Boston, MA 02111-1307, USA. */
	76
	77	/* As a special exception, when this file is copied by Bison into a
	78	Bison output file, you may use that output file without restriction.
	79	This special exception was added by the Free Software Foundation
	80	in version 1.24 of Bison. */
	81
	82	/* Tokens. */
	83	#ifndef YYTOKENTYPE
	84	# define YYTOKENTYPE
	85	/* Put the tokens into the symbol table, so that GDB and other debuggers
	86	know about them. */
	87	enum yytokentype {
	88	BADTOK = 258,
	89	SKIPTOK = 259,
	90	CTOK_ELIPSIS = 260,
	91	CASE = 261,
	92	DEFAULT = 262,
	93	CIF = 263,
	94	CELSE = 264,
	95	SWITCH = 265,
	96	WHILE = 266,
	97	DO = 267,
	98	CFOR = 268,
	99	GOTO = 269,
	100	CONTINUE = 270,
	101	BREAK = 271,
	102	RETURN = 272,
	103	TSEMI = 273,
	104	TLBRACE = 274,
	105	TRBRACE = 275,
	106	TCOMMA = 276,
	107	TCOLON = 277,
	108	TASSIGN = 278,
	109	TLPAREN = 279,
	110	TRPAREN = 280,
	111	TLSQBR = 281,
	112	TRSQBR = 282,
	113	TDOT = 283,
	114	TAMPERSAND = 284,
	115	TEXCL = 285,
	116	TTILDE = 286,
	117	TMINUS = 287,
	118	TPLUS = 288,
	119	TMULT = 289,
	120	TDIV = 290,
	121	TPERCENT = 291,
	122	TLT = 292,
123	TGT = 293,
124	TCIRC = 294,
125	TBAR = 295,
126	TQUEST = 296,
127	CSIZEOF = 297,
128	CALIGNOF = 298,
129	CTYPEOF = 299,
130	ARROW_OP = 300,
131	CTYPEDEF = 301,
132	COFFSETOF = 302,
133	INC_OP = 303,
134	DEC_OP = 304,
135	LEFT_OP = 305,
136	RIGHT_OP = 306,
137	LE_OP = 307,
138	GE_OP = 308,
139	EQ_OP = 309,
140	NE_OP = 310,
141	AND_OP = 311,
142	OR_OP = 312,
143	MUL_ASSIGN = 313,
144	DIV_ASSIGN = 314,
145	MOD_ASSIGN = 315,
146	ADD_ASSIGN = 316,
147	SUB_ASSIGN = 317,
148	LEFT_ASSIGN = 318,
149	RIGHT_ASSIGN = 319,
150	AND_ASSIGN = 320,
151	XOR_ASSIGN = 321,
152	OR_ASSIGN = 322,
153	CSTRUCT = 323,
154	CUNION = 324,
155	CENUM = 325,
156	VA_ARG = 326,
157	VA_DCL = 327,
158	QWARN = 328,
159	QGLOBALS = 329,
160	QMODIFIES = 330,
161	QNOMODS = 331,
162	QCONSTANT = 332,
163	QFUNCTION = 333,
164	QITER = 334,
165	QDEFINES = 335,
166	QUSES = 336,
167	QALLOCATES = 337,
168	QSETS = 338,
169	QRELEASES = 339,
170	QPRECLAUSE = 340,
171	QPOSTCLAUSE = 341,
172	QINVARIANT = 342,
173	QALT = 343,
174	QUNDEF = 344,
175	QKILLED = 345,
176	QENDMACRO = 346,
177	LLMACRO = 347,
178	LLMACROITER = 348,
179	LLMACROEND = 349,
180	TENDMACRO = 350,
181	QDREVEALSTATE = 351,
182	QSWITCHBREAK = 352,
183	QLOOPBREAK = 353,
184	QINNERBREAK = 354,
185	QSAFEBREAK = 355,
186	QINNERCONTINUE = 356,
187	QFALLTHROUGH = 357,
188	QLINTNOTREACHED = 358,
189	QLINTFALLTHROUGH = 359,
190	QLINTFALLTHRU = 360,
191	QARGSUSED = 361,
192	QPRINTFLIKE = 362,
193	QLINTPRINTFLIKE = 363,
194	QSCANFLIKE = 364,
195	QMESSAGELIKE = 365,
196	QNOTREACHED = 366,
197	QCONST = 367,
198	QRESTRICT = 368,
199	QVOLATILE = 369,
200	QINLINE = 370,
201	QEXTENSION = 371,
202	QEXTERN = 372,
203	QSTATIC = 373,
204	QAUTO = 374,
205	QREGISTER = 375,
206	QOUT = 376,
207	QIN = 377,
208	QYIELD = 378,
209	QONLY = 379,
210	QTEMP = 380,
211	QSHARED = 381,
212	QREF = 382,
213	QUNIQUE = 383,
214	QCHECKED = 384,
215	QUNCHECKED = 385,
216	QCHECKEDSTRICT = 386,
217	QCHECKMOD = 387,
218	QKEEP = 388,
219	QKEPT = 389,
220	QPARTIAL = 390,
221	QSPECIAL = 391,
222	QOWNED = 392,
223	QDEPENDENT = 393,
224	QRETURNED = 394,
225	QEXPOSED = 395,
226	QNULL = 396,
227	QOBSERVER = 397,
228	QISNULL = 398,
229	QEXITS = 399,
230	QMAYEXIT = 400,
231	QNEVEREXIT = 401,
232	QTRUEEXIT = 402,
233	QFALSEEXIT = 403,
234	QLONG = 404,
235	QSIGNED = 405,
236	QUNSIGNED = 406,
237	QSHORT = 407,
238	QUNUSED = 408,
239	QSEF = 409,
240	QNOTNULL = 410,
241	QRELNULL = 411,
242	QABSTRACT = 412,
243	QNUMABSTRACT = 413,
244	QCONCRETE = 414,
245	QMUTABLE = 415,
246	QIMMUTABLE = 416,
247	QTRUENULL = 417,
248	QFALSENULL = 418,
249	QEXTERNAL = 419,
250	QREFCOUNTED = 420,
251	QREFS = 421,
252	QNEWREF = 422,
253	QTEMPREF = 423,
254	QKILLREF = 424,
255	QRELDEF = 425,
256	CGCHAR = 426,
257	CBOOL = 427,
258	CINT = 428,
259	CGFLOAT = 429,
260	CDOUBLE = 430,
261	CVOID = 431,
262	QANYTYPE = 432,
263	QINTEGRALTYPE = 433,
264	QUNSIGNEDINTEGRALTYPE = 434,
265	QSIGNEDINTEGRALTYPE = 435,
266	QNULLTERMINATED = 436,
267	QSETBUFFERSIZE = 437,
268	QSETSTRINGLENGTH = 438,
269	QMAXSET = 439,
270	QMAXREAD = 440,
271	QTESTINRANGE = 441,
272	TCAND = 442,
273	IDENTIFIER = 443,
274	NEW_IDENTIFIER = 444,
275	TYPE_NAME_OR_ID = 445,
276	CANNOTATION = 446,
277	CCONSTANT = 447,
278	ITER_NAME = 448,
279	ITER_ENDNAME = 449,
280	TYPE_NAME = 450,
281	METASTATE_NAME = 451
282	};
283	#endif
284	#define BADTOK 258
285	#define SKIPTOK 259
286	#define CTOK_ELIPSIS 260
287	#define CASE 261
288	#define DEFAULT 262
289	#define CIF 263
290	#define CELSE 264
291	#define SWITCH 265
292	#define WHILE 266
293	#define DO 267
294	#define CFOR 268
295	#define GOTO 269
296	#define CONTINUE 270
297	#define BREAK 271
298	#define RETURN 272
299	#define TSEMI 273
300	#define TLBRACE 274
301	#define TRBRACE 275
302	#define TCOMMA 276
303	#define TCOLON 277
304	#define TASSIGN 278
305	#define TLPAREN 279
306	#define TRPAREN 280
307	#define TLSQBR 281
308	#define TRSQBR 282
309	#define TDOT 283
310	#define TAMPERSAND 284
311	#define TEXCL 285
312	#define TTILDE 286
313	#define TMINUS 287
314	#define TPLUS 288
315	#define TMULT 289
316	#define TDIV 290
317	#define TPERCENT 291
318	#define TLT 292
319	#define TGT 293
320	#define TCIRC 294
321	#define TBAR 295
322	#define TQUEST 296
323	#define CSIZEOF 297
324	#define CALIGNOF 298
325	#define CTYPEOF 299
326	#define ARROW_OP 300
327	#define CTYPEDEF 301
328	#define COFFSETOF 302
329	#define INC_OP 303
330	#define DEC_OP 304
331	#define LEFT_OP 305
332	#define RIGHT_OP 306
333	#define LE_OP 307
334	#define GE_OP 308
335	#define EQ_OP 309
336	#define NE_OP 310
337	#define AND_OP 311
338	#define OR_OP 312
339	#define MUL_ASSIGN 313
340	#define DIV_ASSIGN 314
341	#define MOD_ASSIGN 315
342	#define ADD_ASSIGN 316
343	#define SUB_ASSIGN 317
344	#define LEFT_ASSIGN 318
345	#define RIGHT_ASSIGN 319
346	#define AND_ASSIGN 320
347	#define XOR_ASSIGN 321
348	#define OR_ASSIGN 322
349	#define CSTRUCT 323
350	#define CUNION 324
351	#define CENUM 325
352	#define VA_ARG 326
353	#define VA_DCL 327
354	#define QWARN 328
355	#define QGLOBALS 329
356	#define QMODIFIES 330
357	#define QNOMODS 331
358	#define QCONSTANT 332
359	#define QFUNCTION 333
360	#define QITER 334
361	#define QDEFINES 335
362	#define QUSES 336
363	#define QALLOCATES 337
364	#define QSETS 338
365	#define QRELEASES 339
366	#define QPRECLAUSE 340
367	#define QPOSTCLAUSE 341
368	#define QINVARIANT 342
369	#define QALT 343
370	#define QUNDEF 344
371	#define QKILLED 345
372	#define QENDMACRO 346
373	#define LLMACRO 347
374	#define LLMACROITER 348
375	#define LLMACROEND 349
376	#define TENDMACRO 350
377	#define QDREVEALSTATE 351
378	#define QSWITCHBREAK 352
379	#define QLOOPBREAK 353
380	#define QINNERBREAK 354
381	#define QSAFEBREAK 355
382	#define QINNERCONTINUE 356
383	#define QFALLTHROUGH 357
384	#define QLINTNOTREACHED 358
385	#define QLINTFALLTHROUGH 359
386	#define QLINTFALLTHRU 360
387	#define QARGSUSED 361
388	#define QPRINTFLIKE 362
389	#define QLINTPRINTFLIKE 363
390	#define QSCANFLIKE 364
391	#define QMESSAGELIKE 365
392	#define QNOTREACHED 366
393	#define QCONST 367
394	#define QRESTRICT 368
395	#define QVOLATILE 369
396	#define QINLINE 370
397	#define QEXTENSION 371
398	#define QEXTERN 372
399	#define QSTATIC 373
400	#define QAUTO 374
401	#define QREGISTER 375
402	#define QOUT 376
403	#define QIN 377
404	#define QYIELD 378
405	#define QONLY 379
406	#define QTEMP 380
407	#define QSHARED 381
408	#define QREF 382
409	#define QUNIQUE 383
410	#define QCHECKED 384
411	#define QUNCHECKED 385
412	#define QCHECKEDSTRICT 386
413	#define QCHECKMOD 387
414	#define QKEEP 388
415	#define QKEPT 389
416	#define QPARTIAL 390
417	#define QSPECIAL 391
418	#define QOWNED 392
419	#define QDEPENDENT 393
420	#define QRETURNED 394
421	#define QEXPOSED 395
422	#define QNULL 396
423	#define QOBSERVER 397
424	#define QISNULL 398
425	#define QEXITS 399
426	#define QMAYEXIT 400
427	#define QNEVEREXIT 401
428	#define QTRUEEXIT 402
429	#define QFALSEEXIT 403
430	#define QLONG 404
431	#define QSIGNED 405
432	#define QUNSIGNED 406
433	#define QSHORT 407
434	#define QUNUSED 408
435	#define QSEF 409
436	#define QNOTNULL 410
437	#define QRELNULL 411
438	#define QABSTRACT 412
439	#define QNUMABSTRACT 413
440	#define QCONCRETE 414
441	#define QMUTABLE 415
442	#define QIMMUTABLE 416
443	#define QTRUENULL 417
444	#define QFALSENULL 418
445	#define QEXTERNAL 419
446	#define QREFCOUNTED 420
447	#define QREFS 421
448	#define QNEWREF 422
449	#define QTEMPREF 423
450	#define QKILLREF 424
451	#define QRELDEF 425
452	#define CGCHAR 426
453	#define CBOOL 427
454	#define CINT 428
455	#define CGFLOAT 429
456	#define CDOUBLE 430
457	#define CVOID 431
458	#define QANYTYPE 432
459	#define QINTEGRALTYPE 433
460	#define QUNSIGNEDINTEGRALTYPE 434
461	#define QSIGNEDINTEGRALTYPE 435
462	#define QNULLTERMINATED 436
463	#define QSETBUFFERSIZE 437
464	#define QSETSTRINGLENGTH 438
465	#define QMAXSET 439
466	#define QMAXREAD 440
467	#define QTESTINRANGE 441
468	#define TCAND 442
469	#define IDENTIFIER 443
470	#define NEW_IDENTIFIER 444
471	#define TYPE_NAME_OR_ID 445
472	#define CANNOTATION 446
473	#define CCONSTANT 447
474	#define ITER_NAME 448
475	#define ITER_ENDNAME 449
476	#define TYPE_NAME 450
477	#define METASTATE_NAME 451
478
479
480
481
482	#if ! defined (cgrammar_YYSTYPE) && ! defined (cgrammar_YYSTYPE_IS_DECLARED)
483
484	typedef union cgrammar_YYSTYPE {
d0b80d80	485	lltok tok;
	486	int count;
	487	qual typequal;
	488	qualList tquallist;
	489	ctype ctyp;
	490	/@dependent@/ sRef sr;
	491	/@only@/ sRef osr;
	492
	493	/@only@/ functionClauseList funcclauselist;
	494	/@only@/ functionClause funcclause;
	495	/@only@/ flagSpec flagspec;
	496	/@only@/ globalsClause globsclause;
	497	/@only@/ modifiesClause modsclause;
	498	/@only@/ warnClause warnclause;
	499	/@only@/ stateClause stateclause;
	500	/@only@/ pointers pointers;
	501	/@only@/ functionConstraint fcnconstraint;
	502
	503	/@only@/ metaStateConstraint msconstraint;
	504	/@only@/ metaStateSpecifier msspec;
	505	/@only@/ metaStateExpression msexpr;
	506	/@observer@/ metaStateInfo msinfo;
	507
	508	/@only@/ sRefList srlist;
	509	/@only@/ globSet globset;
	510	/@only@/ qtype qtyp;
	511	/@only@/ cstring cname;
	512	/@observer@/ annotationInfo annotation;
	513	/@only@/ idDecl ntyp;
	514	/@only@/ idDeclList ntyplist;
	515	/@only@/ uentryList flist;
	516	/@owned@/ uentryList entrylist;
	517	/@observer@/ /@dependent@/ uentry entry;
	518	/@only@/ uentry oentry;
	519	/@only@/ exprNode expr;
	520	/@only@/ enumNameList enumnamelist;
	521	/@only@/ exprNodeList exprlist;
	522	/@only@/ sRefSet srset;
	523	/@only@/ cstringList cstringlist;
	524
	525	/*drl
	526	added 1/19/2001
	527	*/
	528	constraint con;
	529	constraintList conL;
	530	constraintExpr conE;
	531	/* drl */
8f58355a	532	} cgrammar_YYSTYPE;
	533	/* Line 1240 of yacc.c. */
	534
	535	# define yystype cgrammar_YYSTYPE /* obsolescent; will be withdrawn */
	536	# define cgrammar_YYSTYPE_IS_DECLARED 1
d0b80d80	537	# define cgrammar_YYSTYPE_IS_TRIVIAL 1
d0b80d80	538	#endif
d0b80d80	539
	540	extern cgrammar_YYSTYPE yylval;
	541
8f58355a	542
8f58355a	543
d317ee89	544	/*
	545	** Resets all flags in bison.head
	546	*/
	547
	548
	549	/@=allmacros@/
	550	/@=boolint@/
	551	/@=charint@/
	552	/@=macroparams@/
	553	/@=macroundef@/
	554	/@=unreachable@/
	555	/@=macrospec@/
	556	/@=varuse@/
	557	/@=ignorequals@/
	558	/@=macrostmt@/
	559	/@=noeffect@/
	560	/@=shadow@/
	561	/@=exitarg@/
	562	/@=macroredef@/
	563	/@=uniondef@/
	564	/@=compdef@/
	565	/@=matchfields@/
	566	/@=exportlocal@/
	567	/@=evalorderuncon@/
	568	/@=exportheader@/
	569	/@=typeuse@/
	570	/@=redecl@/
	571	/@=redef@/
	572	/@=noparams@/
	573	/@=ansireserved@/
	574	/@=fielduse@/
	575	/@=ifblock@/
	576	/@=elseifcomplete@/
	577	/@=whileblock@/
	578	/@=forblock@/
	579	/@=branchstate@/
	580	/@=readonlytrans@/
	581	/@=namechecks@/
	582	/@=usedef@/
	583	/@=systemunrecog@/
	584	/@=dependenttrans@/
	585	/@=unqualifiedtrans@/
	586	/@=declundef@/
	587
	588
	589	/drl added 11/27/2001/
	590	/@=bounds@/
1d91681f	591
	592	/drl added 12/11/2002/
	593	/@=type@/