[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@*/

/*@-enummemuse@*/

/* < 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
#line 81 "cgrammar.y"
{
  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 1489 of yacc.c.  */
#line 491 "cgrammar.tab.h"
	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@*/

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