]> andersk Git - splint.git/blobdiff - src/Headers/cgrammar_tokens.h
Added support for omitted if clauses in conditionals, patch provided by peteran.
[splint.git] / src / Headers / cgrammar_tokens.h
index 04b48e993c6053d9dcde25f87a5ed116e751b52c..a862ccb4bf0e9793eb603b865a7a54ea53a4f998 100644 (file)
 
 /* < end of bison.head > */
 
-/* A Bison parser, made by GNU Bison 1.875a.  */
+#ifndef BISON_CGRAMMAR_TAB_H
+# define BISON_CGRAMMAR_TAB_H
 
-/* Skeleton parser for Yacc-like parsing with Bison,
-   Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003 Free Software Foundation, Inc.
-
-   This program is free software; you can redistribute it and/or modify
-   it under the terms of the GNU General Public License as published by
-   the Free Software Foundation; either version 2, or (at your option)
-   any later version.
-
-   This program is distributed in the hope that it will be useful,
-   but WITHOUT ANY WARRANTY; without even the implied warranty of
-   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-   GNU General Public License for more details.
-
-   You should have received a copy of the GNU General Public License
-   along with this program; if not, write to the Free Software
-   Foundation, Inc., 59 Temple Place - Suite 330,
-   Boston, MA 02111-1307, USA.  */
-
-/* As a special exception, when this file is copied by Bison into a
-   Bison output file, you may use that output file without restriction.
-   This special exception was added by the Free Software Foundation
-   in version 1.24 of Bison.  */
-
-/* Tokens.  */
-#ifndef YYTOKENTYPE
-# define YYTOKENTYPE
-   /* Put the tokens into the symbol table, so that GDB and other debuggers
-      know about them.  */
-   enum yytokentype {
-     BADTOK = 258,
-     SKIPTOK = 259,
-     CTOK_ELIPSIS = 260,
-     CASE = 261,
-     DEFAULT = 262,
-     CIF = 263,
-     CELSE = 264,
-     SWITCH = 265,
-     WHILE = 266,
-     DO = 267,
-     CFOR = 268,
-     GOTO = 269,
-     CONTINUE = 270,
-     BREAK = 271,
-     RETURN = 272,
-     TSEMI = 273,
-     TLBRACE = 274,
-     TRBRACE = 275,
-     TCOMMA = 276,
-     TCOLON = 277,
-     TASSIGN = 278,
-     TLPAREN = 279,
-     TRPAREN = 280,
-     TLSQBR = 281,
-     TRSQBR = 282,
-     TDOT = 283,
-     TAMPERSAND = 284,
-     TEXCL = 285,
-     TTILDE = 286,
-     TMINUS = 287,
-     TPLUS = 288,
-     TMULT = 289,
-     TDIV = 290,
-     TPERCENT = 291,
-     TLT = 292,
-     TGT = 293,
-     TCIRC = 294,
-     TBAR = 295,
-     TQUEST = 296,
-     CSIZEOF = 297,
-     CALIGNOF = 298,
-     CTYPEOF = 299,
-     ARROW_OP = 300,
-     CTYPEDEF = 301,
-     COFFSETOF = 302,
-     INC_OP = 303,
-     DEC_OP = 304,
-     LEFT_OP = 305,
-     RIGHT_OP = 306,
-     LE_OP = 307,
-     GE_OP = 308,
-     EQ_OP = 309,
-     NE_OP = 310,
-     AND_OP = 311,
-     OR_OP = 312,
-     MUL_ASSIGN = 313,
-     DIV_ASSIGN = 314,
-     MOD_ASSIGN = 315,
-     ADD_ASSIGN = 316,
-     SUB_ASSIGN = 317,
-     LEFT_ASSIGN = 318,
-     RIGHT_ASSIGN = 319,
-     AND_ASSIGN = 320,
-     XOR_ASSIGN = 321,
-     OR_ASSIGN = 322,
-     CSTRUCT = 323,
-     CUNION = 324,
-     CENUM = 325,
-     VA_ARG = 326,
-     VA_DCL = 327,
-     QWARN = 328,
-     QGLOBALS = 329,
-     QMODIFIES = 330,
-     QNOMODS = 331,
-     QCONSTANT = 332,
-     QFUNCTION = 333,
-     QITER = 334,
-     QDEFINES = 335,
-     QUSES = 336,
-     QALLOCATES = 337,
-     QSETS = 338,
-     QRELEASES = 339,
-     QPRECLAUSE = 340,
-     QPOSTCLAUSE = 341,
-     QINVARIANT = 342,
-     QALT = 343,
-     QUNDEF = 344,
-     QKILLED = 345,
-     QENDMACRO = 346,
-     LLMACRO = 347,
-     LLMACROITER = 348,
-     LLMACROEND = 349,
-     TENDMACRO = 350,
-     QDREVEALSTATE = 351,
-     QSWITCHBREAK = 352,
-     QLOOPBREAK = 353,
-     QINNERBREAK = 354,
-     QSAFEBREAK = 355,
-     QINNERCONTINUE = 356,
-     QFALLTHROUGH = 357,
-     QLINTNOTREACHED = 358,
-     QLINTFALLTHROUGH = 359,
-     QLINTFALLTHRU = 360,
-     QARGSUSED = 361,
-     QPRINTFLIKE = 362,
-     QLINTPRINTFLIKE = 363,
-     QSCANFLIKE = 364,
-     QMESSAGELIKE = 365,
-     QNOTREACHED = 366,
-     QCONST = 367,
-     QRESTRICT = 368,
-     QVOLATILE = 369,
-     QINLINE = 370,
-     QEXTENSION = 371,
-     QEXTERN = 372,
-     QSTATIC = 373,
-     QAUTO = 374,
-     QREGISTER = 375,
-     QOUT = 376,
-     QIN = 377,
-     QYIELD = 378,
-     QONLY = 379,
-     QTEMP = 380,
-     QSHARED = 381,
-     QREF = 382,
-     QUNIQUE = 383,
-     QCHECKED = 384,
-     QUNCHECKED = 385,
-     QCHECKEDSTRICT = 386,
-     QCHECKMOD = 387,
-     QKEEP = 388,
-     QKEPT = 389,
-     QPARTIAL = 390,
-     QSPECIAL = 391,
-     QOWNED = 392,
-     QDEPENDENT = 393,
-     QRETURNED = 394,
-     QEXPOSED = 395,
-     QNULL = 396,
-     QOBSERVER = 397,
-     QISNULL = 398,
-     QEXITS = 399,
-     QMAYEXIT = 400,
-     QNEVEREXIT = 401,
-     QTRUEEXIT = 402,
-     QFALSEEXIT = 403,
-     QLONG = 404,
-     QSIGNED = 405,
-     QUNSIGNED = 406,
-     QSHORT = 407,
-     QUNUSED = 408,
-     QSEF = 409,
-     QNOTNULL = 410,
-     QRELNULL = 411,
-     QABSTRACT = 412,
-     QNUMABSTRACT = 413,
-     QCONCRETE = 414,
-     QMUTABLE = 415,
-     QIMMUTABLE = 416,
-     QTRUENULL = 417,
-     QFALSENULL = 418,
-     QEXTERNAL = 419,
-     QREFCOUNTED = 420,
-     QREFS = 421,
-     QNEWREF = 422,
-     QTEMPREF = 423,
-     QKILLREF = 424,
-     QRELDEF = 425,
-     CGCHAR = 426,
-     CBOOL = 427,
-     CINT = 428,
-     CGFLOAT = 429,
-     CDOUBLE = 430,
-     CVOID = 431,
-     QANYTYPE = 432,
-     QINTEGRALTYPE = 433,
-     QUNSIGNEDINTEGRALTYPE = 434,
-     QSIGNEDINTEGRALTYPE = 435,
-     QNULLTERMINATED = 436,
-     QSETBUFFERSIZE = 437,
-     QSETSTRINGLENGTH = 438,
-     QMAXSET = 439,
-     QMAXREAD = 440,
-     QTESTINRANGE = 441,
-     TCAND = 442,
-     IDENTIFIER = 443,
-     NEW_IDENTIFIER = 444,
-     TYPE_NAME_OR_ID = 445,
-     CANNOTATION = 446,
-     CCONSTANT = 447,
-     ITER_NAME = 448,
-     ITER_ENDNAME = 449,
-     TYPE_NAME = 450,
-     METASTATE_NAME = 451
-   };
-#endif
-#define BADTOK 258
-#define SKIPTOK 259
-#define CTOK_ELIPSIS 260
-#define CASE 261
-#define DEFAULT 262
-#define CIF 263
-#define CELSE 264
-#define SWITCH 265
-#define WHILE 266
-#define DO 267
-#define CFOR 268
-#define GOTO 269
-#define CONTINUE 270
-#define BREAK 271
-#define RETURN 272
-#define TSEMI 273
-#define TLBRACE 274
-#define TRBRACE 275
-#define TCOMMA 276
-#define TCOLON 277
-#define TASSIGN 278
-#define TLPAREN 279
-#define TRPAREN 280
-#define TLSQBR 281
-#define TRSQBR 282
-#define TDOT 283
-#define TAMPERSAND 284
-#define TEXCL 285
-#define TTILDE 286
-#define TMINUS 287
-#define TPLUS 288
-#define TMULT 289
-#define TDIV 290
-#define TPERCENT 291
-#define TLT 292
-#define TGT 293
-#define TCIRC 294
-#define TBAR 295
-#define TQUEST 296
-#define CSIZEOF 297
-#define CALIGNOF 298
-#define CTYPEOF 299
-#define ARROW_OP 300
-#define CTYPEDEF 301
-#define COFFSETOF 302
-#define INC_OP 303
-#define DEC_OP 304
-#define LEFT_OP 305
-#define RIGHT_OP 306
-#define LE_OP 307
-#define GE_OP 308
-#define EQ_OP 309
-#define NE_OP 310
-#define AND_OP 311
-#define OR_OP 312
-#define MUL_ASSIGN 313
-#define DIV_ASSIGN 314
-#define MOD_ASSIGN 315
-#define ADD_ASSIGN 316
-#define SUB_ASSIGN 317
-#define LEFT_ASSIGN 318
-#define RIGHT_ASSIGN 319
-#define AND_ASSIGN 320
-#define XOR_ASSIGN 321
-#define OR_ASSIGN 322
-#define CSTRUCT 323
-#define CUNION 324
-#define CENUM 325
-#define VA_ARG 326
-#define VA_DCL 327
-#define QWARN 328
-#define QGLOBALS 329
-#define QMODIFIES 330
-#define QNOMODS 331
-#define QCONSTANT 332
-#define QFUNCTION 333
-#define QITER 334
-#define QDEFINES 335
-#define QUSES 336
-#define QALLOCATES 337
-#define QSETS 338
-#define QRELEASES 339
-#define QPRECLAUSE 340
-#define QPOSTCLAUSE 341
-#define QINVARIANT 342
-#define QALT 343
-#define QUNDEF 344
-#define QKILLED 345
-#define QENDMACRO 346
-#define LLMACRO 347
-#define LLMACROITER 348
-#define LLMACROEND 349
-#define TENDMACRO 350
-#define QDREVEALSTATE 351
-#define QSWITCHBREAK 352
-#define QLOOPBREAK 353
-#define QINNERBREAK 354
-#define QSAFEBREAK 355
-#define QINNERCONTINUE 356
-#define QFALLTHROUGH 357
-#define QLINTNOTREACHED 358
-#define QLINTFALLTHROUGH 359
-#define QLINTFALLTHRU 360
-#define QARGSUSED 361
-#define QPRINTFLIKE 362
-#define QLINTPRINTFLIKE 363
-#define QSCANFLIKE 364
-#define QMESSAGELIKE 365
-#define QNOTREACHED 366
-#define QCONST 367
-#define QRESTRICT 368
-#define QVOLATILE 369
-#define QINLINE 370
-#define QEXTENSION 371
-#define QEXTERN 372
-#define QSTATIC 373
-#define QAUTO 374
-#define QREGISTER 375
-#define QOUT 376
-#define QIN 377
-#define QYIELD 378
-#define QONLY 379
-#define QTEMP 380
-#define QSHARED 381
-#define QREF 382
-#define QUNIQUE 383
-#define QCHECKED 384
-#define QUNCHECKED 385
-#define QCHECKEDSTRICT 386
-#define QCHECKMOD 387
-#define QKEEP 388
-#define QKEPT 389
-#define QPARTIAL 390
-#define QSPECIAL 391
-#define QOWNED 392
-#define QDEPENDENT 393
-#define QRETURNED 394
-#define QEXPOSED 395
-#define QNULL 396
-#define QOBSERVER 397
-#define QISNULL 398
-#define QEXITS 399
-#define QMAYEXIT 400
-#define QNEVEREXIT 401
-#define QTRUEEXIT 402
-#define QFALSEEXIT 403
-#define QLONG 404
-#define QSIGNED 405
-#define QUNSIGNED 406
-#define QSHORT 407
-#define QUNUSED 408
-#define QSEF 409
-#define QNOTNULL 410
-#define QRELNULL 411
-#define QABSTRACT 412
-#define QNUMABSTRACT 413
-#define QCONCRETE 414
-#define QMUTABLE 415
-#define QIMMUTABLE 416
-#define QTRUENULL 417
-#define QFALSENULL 418
-#define QEXTERNAL 419
-#define QREFCOUNTED 420
-#define QREFS 421
-#define QNEWREF 422
-#define QTEMPREF 423
-#define QKILLREF 424
-#define QRELDEF 425
-#define CGCHAR 426
-#define CBOOL 427
-#define CINT 428
-#define CGFLOAT 429
-#define CDOUBLE 430
-#define CVOID 431
-#define QANYTYPE 432
-#define QINTEGRALTYPE 433
-#define QUNSIGNEDINTEGRALTYPE 434
-#define QSIGNEDINTEGRALTYPE 435
-#define QNULLTERMINATED 436
-#define QSETBUFFERSIZE 437
-#define QSETSTRINGLENGTH 438
-#define QMAXSET 439
-#define QMAXREAD 440
-#define QTESTINRANGE 441
-#define TCAND 442
-#define IDENTIFIER 443
-#define NEW_IDENTIFIER 444
-#define TYPE_NAME_OR_ID 445
-#define CANNOTATION 446
-#define CCONSTANT 447
-#define ITER_NAME 448
-#define ITER_ENDNAME 449
-#define TYPE_NAME 450
-#define METASTATE_NAME 451
-
-
-
-
-#if ! defined (cgrammar_YYSTYPE) && ! defined (cgrammar_YYSTYPE_IS_DECLARED)
-
-typedef union cgrammar_YYSTYPE {
+#ifndef cgrammar_YYSTYPE
+typedef union
+{
   lltok tok;
   int count;
   qual typequal;
@@ -529,18 +107,209 @@ typedef union cgrammar_YYSTYPE {
   constraintList conL;
   constraintExpr conE;
   /* drl */  
-} cgrammar_YYSTYPE;
-/* Line 1240 of yacc.c.  */
-
-# define yystype cgrammar_YYSTYPE /* obsolescent; will be withdrawn */
-# define cgrammar_YYSTYPE_IS_DECLARED 1
+} yystype;
+# define cgrammar_YYSTYPE yystype
 # define cgrammar_YYSTYPE_IS_TRIVIAL 1
 #endif
-
-extern cgrammar_YYSTYPE yylval;
+# 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
 */
This page took 0.056744 seconds and 4 git commands to generate.