]> andersk Git - splint.git/blobdiff - src/Headers/cgrammar_tokens.h
Fixed problem with shadow parameters.
[splint.git] / src / Headers / cgrammar_tokens.h
index c90515c189edcce055d225cb9e7a6afe947a037c..a862ccb4bf0e9793eb603b865a7a54ea53a4f998 100644 (file)
 
 /*drl added 11/27/2001*/
 /*@-bounds@*/
+
+/*drl added 12/11/2002*/
+/*@-type@*/
+
 /* < end of bison.head > */
 
 #ifndef BISON_CGRAMMAR_TAB_H
@@ -200,105 +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       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
+# 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;
@@ -351,3 +357,6 @@ extern cgrammar_YYSTYPE yylval;
 
 /*drl added 11/27/2001*/
 /*@=bounds@*/
+
+/*drl added 12/11/2002*/
+/*@=type@*/
This page took 0.05868 seconds and 4 git commands to generate.