/*@-dependenttrans@*/
/*@-unqualifiedtrans@*/
/*@-nullassign@*/
+/*@-nullpass@*/
+/*@-nullptrarith*/
+/*@-usereleased@*/
+/*@-declundef@*/
+
+/*drl added 11/27/2001*/
+/*@-bounds@*/
+
+/*drl added 12/11/2002*/
+/*@-type@*/
/* < end of bison.head > */
+#ifndef BISON_CGRAMMAR_TAB_H
+# define BISON_CGRAMMAR_TAB_H
+
+#ifndef cgrammar_YYSTYPE
typedef union
{
- lltok tok;
- int count;
- specialClauseKind sck;
- qual typequal;
- qualList tquallist;
- ctype ctyp;
- sRef sr;
- /*@only@*/ qtype qtyp;
- /*@only@*/ cstring cname;
- /*@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 alist;
- /*@only@*/ sRefSet srset;
- /*@only@*/ cstringList cstringlist;
+ 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 */
-} 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 QGLOBALS 326
-#define QMODIFIES 327
-#define QNOMODS 328
-#define QCONSTANT 329
-#define QFUNCTION 330
-#define QITER 331
-#define QDEFINES 332
-#define QUSES 333
-#define QALLOCATES 334
-#define QSETS 335
-#define QRELEASES 336
-#define QPRECLAUSE 337
-#define QPOSTCLAUSE 338
-#define QALT 339
-#define QUNDEF 340
-#define QKILLED 341
-#define QENDMACRO 342
-#define LLMACRO 343
-#define LLMACROITER 344
-#define LLMACROEND 345
-#define TENDMACRO 346
-#define QSWITCHBREAK 347
-#define QLOOPBREAK 348
-#define QINNERBREAK 349
-#define QSAFEBREAK 350
-#define QINNERCONTINUE 351
-#define QFALLTHROUGH 352
-#define QLINTNOTREACHED 353
-#define QLINTFALLTHROUGH 354
-#define QLINTFALLTHRU 355
-#define QARGSUSED 356
-#define QPRINTFLIKE 357
-#define QLINTPRINTFLIKE 358
-#define QSCANFLIKE 359
-#define QMESSAGELIKE 360
-#define QNOTREACHED 361
-#define QCONST 362
-#define QVOLATILE 363
-#define QINLINE 364
-#define QEXTENSION 365
-#define QEXTERN 366
-#define QSTATIC 367
-#define QAUTO 368
-#define QREGISTER 369
-#define QOUT 370
-#define QIN 371
-#define QYIELD 372
-#define QONLY 373
-#define QTEMP 374
-#define QSHARED 375
-#define QREF 376
-#define QUNIQUE 377
-#define QCHECKED 378
-#define QUNCHECKED 379
-#define QCHECKEDSTRICT 380
-#define QCHECKMOD 381
-#define QKEEP 382
-#define QKEPT 383
-#define QPARTIAL 384
-#define QSPECIAL 385
-#define QOWNED 386
-#define QDEPENDENT 387
-#define QRETURNED 388
-#define QEXPOSED 389
-#define QNULL 390
-#define QOBSERVER 391
-#define QISNULL 392
-#define QEXITS 393
-#define QMAYEXIT 394
-#define QNEVEREXIT 395
-#define QTRUEEXIT 396
-#define QFALSEEXIT 397
-#define QLONG 398
-#define QSIGNED 399
-#define QUNSIGNED 400
-#define QSHORT 401
-#define QUNUSED 402
-#define QSEF 403
-#define QNOTNULL 404
-#define QRELNULL 405
-#define QABSTRACT 406
-#define QCONCRETE 407
-#define QMUTABLE 408
-#define QIMMUTABLE 409
-#define QTRUENULL 410
-#define QFALSENULL 411
-#define QEXTERNAL 412
-#define QREFCOUNTED 413
-#define QREFS 414
-#define QNEWREF 415
-#define QTEMPREF 416
-#define QKILLREF 417
-#define QRELDEF 418
-#define CGCHAR 419
-#define CBOOL 420
-#define CINT 421
-#define CGFLOAT 422
-#define CDOUBLE 423
-#define CVOID 424
-#define QANYTYPE 425
-#define QINTEGRALTYPE 426
-#define QUNSIGNEDINTEGRALTYPE 427
-#define QSIGNEDINTEGRALTYPE 428
-#define QNULLTERMINATED 429
-#define QSETBUFFERSIZE 430
-#define QBUFFERCONSTRAINT 431
-#define QENSURESCONSTRAINT 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 CCONSTANT 441
-#define ITER_NAME 442
-#define ITER_ENDNAME 443
-#define TYPE_NAME 444
+ /* drl */
+} yystype;
+# define cgrammar_YYSTYPE yystype
+# define cgrammar_YYSTYPE_IS_TRIVIAL 1
+#endif
+# 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 CTYPEOF 298
+# define ARROW_OP 299
+# define CTYPEDEF 300
+# define COFFSETOF 301
+# define INC_OP 302
+# define DEC_OP 303
+# define LEFT_OP 304
+# define RIGHT_OP 305
+# define LE_OP 306
+# define GE_OP 307
+# define EQ_OP 308
+# define NE_OP 309
+# define AND_OP 310
+# define OR_OP 311
+# define MUL_ASSIGN 312
+# define DIV_ASSIGN 313
+# define MOD_ASSIGN 314
+# define ADD_ASSIGN 315
+# define SUB_ASSIGN 316
+# define LEFT_ASSIGN 317
+# define RIGHT_ASSIGN 318
+# define AND_ASSIGN 319
+# define XOR_ASSIGN 320
+# define OR_ASSIGN 321
+# define CSTRUCT 322
+# define CUNION 323
+# define CENUM 324
+# define VA_ARG 325
+# define VA_DCL 326
+# define QWARN 327
+# define QGLOBALS 328
+# define QMODIFIES 329
+# define QNOMODS 330
+# define QCONSTANT 331
+# define QFUNCTION 332
+# define QITER 333
+# define QDEFINES 334
+# define QUSES 335
+# define QALLOCATES 336
+# define QSETS 337
+# define QRELEASES 338
+# define QPRECLAUSE 339
+# define QPOSTCLAUSE 340
+# define QINVARIANT 341
+# define QALT 342
+# define QUNDEF 343
+# define QKILLED 344
+# define QENDMACRO 345
+# define LLMACRO 346
+# define LLMACROITER 347
+# define LLMACROEND 348
+# define TENDMACRO 349
+# define QDREVEALSTATE 350
+# define QSWITCHBREAK 351
+# define QLOOPBREAK 352
+# define QINNERBREAK 353
+# define QSAFEBREAK 354
+# define QINNERCONTINUE 355
+# define QFALLTHROUGH 356
+# define QLINTNOTREACHED 357
+# define QLINTFALLTHROUGH 358
+# define QLINTFALLTHRU 359
+# define QARGSUSED 360
+# define QPRINTFLIKE 361
+# define QLINTPRINTFLIKE 362
+# define QSCANFLIKE 363
+# define QMESSAGELIKE 364
+# define QNOTREACHED 365
+# define QCONST 366
+# define QRESTRICT 367
+# define QVOLATILE 368
+# define QINLINE 369
+# define QEXTENSION 370
+# define QEXTERN 371
+# define QSTATIC 372
+# define QAUTO 373
+# define QREGISTER 374
+# define QOUT 375
+# define QIN 376
+# define QYIELD 377
+# define QONLY 378
+# define QTEMP 379
+# define QSHARED 380
+# define QREF 381
+# define QUNIQUE 382
+# define QCHECKED 383
+# define QUNCHECKED 384
+# define QCHECKEDSTRICT 385
+# define QCHECKMOD 386
+# define QKEEP 387
+# define QKEPT 388
+# define QPARTIAL 389
+# define QSPECIAL 390
+# define QOWNED 391
+# define QDEPENDENT 392
+# define QRETURNED 393
+# define QEXPOSED 394
+# define QNULL 395
+# define QOBSERVER 396
+# define QISNULL 397
+# define QEXITS 398
+# define QMAYEXIT 399
+# define QNEVEREXIT 400
+# define QTRUEEXIT 401
+# define QFALSEEXIT 402
+# define QLONG 403
+# define QSIGNED 404
+# define QUNSIGNED 405
+# define QSHORT 406
+# define QUNUSED 407
+# define QSEF 408
+# define QNOTNULL 409
+# define QRELNULL 410
+# define QABSTRACT 411
+# define QNUMABSTRACT 412
+# define QCONCRETE 413
+# define QMUTABLE 414
+# define QIMMUTABLE 415
+# define QTRUENULL 416
+# define QFALSENULL 417
+# define QEXTERNAL 418
+# define QREFCOUNTED 419
+# define QREFS 420
+# define QNEWREF 421
+# define QTEMPREF 422
+# define QKILLREF 423
+# define QRELDEF 424
+# define CGCHAR 425
+# define CBOOL 426
+# define CINT 427
+# define CGFLOAT 428
+# define CDOUBLE 429
+# define CVOID 430
+# define QANYTYPE 431
+# define QINTEGRALTYPE 432
+# define QUNSIGNEDINTEGRALTYPE 433
+# define QSIGNEDINTEGRALTYPE 434
+# define QNULLTERMINATED 435
+# define QSETBUFFERSIZE 436
+# define QSETSTRINGLENGTH 437
+# define QMAXSET 438
+# define QMAXREAD 439
+# define QTESTINRANGE 440
+# define TCAND 441
+# define IDENTIFIER 442
+# define NEW_IDENTIFIER 443
+# define TYPE_NAME_OR_ID 444
+# define CANNOTATION 445
+# define CCONSTANT 446
+# define ITER_NAME 447
+# define ITER_ENDNAME 448
+# define TYPE_NAME 449
+# define METASTATE_NAME 450
+
+
+extern cgrammar_YYSTYPE yylval;
+
+#endif /* not BISON_CGRAMMAR_TAB_H */
+/*
+** 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@*/
-extern YYSTYPE yylval;
+/*drl added 12/11/2002*/
+/*@=type@*/
andersk / splint.git / blobdiff