X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/f9264521e093e570a8831d5238ccc3bc20e01119..7ac98eb7e62335f5bb191d2c399d7dae5c1e62ab:/src/Headers/cgrammar_tokens.h diff --git a/src/Headers/cgrammar_tokens.h b/src/Headers/cgrammar_tokens.h index 569def2..a862ccb 100644 --- a/src/Headers/cgrammar_tokens.h +++ b/src/Headers/cgrammar_tokens.h @@ -48,8 +48,16 @@ /*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; @@ -99,202 +107,209 @@ typedef union 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 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 QSWITCHBREAK 350 -#define QLOOPBREAK 351 -#define QINNERBREAK 352 -#define QSAFEBREAK 353 -#define QINNERCONTINUE 354 -#define QFALLTHROUGH 355 -#define QLINTNOTREACHED 356 -#define QLINTFALLTHROUGH 357 -#define QLINTFALLTHRU 358 -#define QARGSUSED 359 -#define QPRINTFLIKE 360 -#define QLINTPRINTFLIKE 361 -#define QSCANFLIKE 362 -#define QMESSAGELIKE 363 -#define QNOTREACHED 364 -#define QCONST 365 -#define QRESTRICT 366 -#define QVOLATILE 367 -#define QINLINE 368 -#define QEXTENSION 369 -#define QEXTERN 370 -#define QSTATIC 371 -#define QAUTO 372 -#define QREGISTER 373 -#define QOUT 374 -#define QIN 375 -#define QYIELD 376 -#define QONLY 377 -#define QTEMP 378 -#define QSHARED 379 -#define QREF 380 -#define QUNIQUE 381 -#define QCHECKED 382 -#define QUNCHECKED 383 -#define QCHECKEDSTRICT 384 -#define QCHECKMOD 385 -#define QKEEP 386 -#define QKEPT 387 -#define QPARTIAL 388 -#define QSPECIAL 389 -#define QOWNED 390 -#define QDEPENDENT 391 -#define QRETURNED 392 -#define QEXPOSED 393 -#define QNULL 394 -#define QOBSERVER 395 -#define QISNULL 396 -#define QEXITS 397 -#define QMAYEXIT 398 -#define QNEVEREXIT 399 -#define QTRUEEXIT 400 -#define QFALSEEXIT 401 -#define QLONG 402 -#define QSIGNED 403 -#define QUNSIGNED 404 -#define QSHORT 405 -#define QUNUSED 406 -#define QSEF 407 -#define QNOTNULL 408 -#define QRELNULL 409 -#define QABSTRACT 410 -#define QCONCRETE 411 -#define QMUTABLE 412 -#define QIMMUTABLE 413 -#define QTRUENULL 414 -#define QFALSENULL 415 -#define QEXTERNAL 416 -#define QREFCOUNTED 417 -#define QREFS 418 -#define QNEWREF 419 -#define QTEMPREF 420 -#define QKILLREF 421 -#define QRELDEF 422 -#define CGCHAR 423 -#define CBOOL 424 -#define CINT 425 -#define CGFLOAT 426 -#define CDOUBLE 427 -#define CVOID 428 -#define QANYTYPE 429 -#define QINTEGRALTYPE 430 -#define QUNSIGNEDINTEGRALTYPE 431 -#define QSIGNEDINTEGRALTYPE 432 -#define QNULLTERMINATED 433 -#define QSETBUFFERSIZE 434 -#define QSETSTRINGLENGTH 435 -#define QMAXSET 436 -#define QMAXREAD 437 -#define QTESTINRANGE 438 -#define TCAND 439 -#define IDENTIFIER 440 -#define NEW_IDENTIFIER 441 -#define TYPE_NAME_OR_ID 442 -#define CANNOTATION 443 -#define CCONSTANT 444 -#define ITER_NAME 445 -#define ITER_ENDNAME 446 -#define TYPE_NAME 447 -#define METASTATE_NAME 448 +} 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 YYSTYPE yylval; +extern cgrammar_YYSTYPE yylval; + +#endif /* not BISON_CGRAMMAR_TAB_H */ /* ** Resets all flags in bison.head */ @@ -342,3 +357,6 @@ extern YYSTYPE yylval; /*drl added 11/27/2001*/ /*@=bounds@*/ + +/*drl added 12/11/2002*/ +/*@=type@*/