X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/8ea5df88d4d589854cfd2cf734e203ce58da744d..909cf5eb75a37820d441f670ee02a6e0c42944fc:/src/Headers/cgrammar_tokens.h diff --git a/src/Headers/cgrammar_tokens.h b/src/Headers/cgrammar_tokens.h index 01aa633..a862ccb 100644 --- a/src/Headers/cgrammar_tokens.h +++ b/src/Headers/cgrammar_tokens.h @@ -204,106 +204,107 @@ typedef union # 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 QNUMABSTRACT 411 -# define QCONCRETE 412 -# define QMUTABLE 413 -# define QIMMUTABLE 414 -# define QTRUENULL 415 -# define QFALSENULL 416 -# define QEXTERNAL 417 -# define QREFCOUNTED 418 -# define QREFS 419 -# define QNEWREF 420 -# define QTEMPREF 421 -# define QKILLREF 422 -# define QRELDEF 423 -# define CGCHAR 424 -# define CBOOL 425 -# define CINT 426 -# define CGFLOAT 427 -# define CDOUBLE 428 -# define CVOID 429 -# define QANYTYPE 430 -# define QINTEGRALTYPE 431 -# define QUNSIGNEDINTEGRALTYPE 432 -# define QSIGNEDINTEGRALTYPE 433 -# define QNULLTERMINATED 434 -# define QSETBUFFERSIZE 435 -# define QSETSTRINGLENGTH 436 -# define QMAXSET 437 -# define QMAXREAD 438 -# define QTESTINRANGE 439 -# define TCAND 440 -# define IDENTIFIER 441 -# define NEW_IDENTIFIER 442 -# define TYPE_NAME_OR_ID 443 -# define CANNOTATION 444 -# define CCONSTANT 445 -# define ITER_NAME 446 -# define ITER_ENDNAME 447 -# define TYPE_NAME 448 -# define METASTATE_NAME 449 +# 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;