/*
** 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@*/
/* < end of bison.head > */

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


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