[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 2.3.  */

/* Skeleton interface for Bison's Yacc-like parsers in C

   Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005, 2006
   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., 51 Franklin Street, Fifth Floor,
   Boston, MA 02110-1301, USA.  */

/* As a special exception, you may create a larger work that contains
   part or all of the Bison parser skeleton and distribute that work
   under terms of your choice, so long as that work isn't itself a
   parser generator using the skeleton or a modified version thereof
   as a parser skeleton.  Alternatively, if you modify or redistribute
   the parser skeleton itself, you may (at your option) remove this
   special exception, which will cause the skeleton and the resulting
   Bison output files to be licensed under the GNU General Public
   License without this special exception.

   This special exception was added by the Free Software Foundation in
   version 2.2 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
/* Tokens.  */
#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 */  
}
/* Line 1529 of yacc.c.  */

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