X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/8f58355ac23c75fac70c5eb471a15034bb90816e..368f75ae50489f85a5f83f997f050653f48e5d18:/src/Headers/cgrammar_tokens.h

diff --git a/src/Headers/cgrammar_tokens.h b/src/Headers/cgrammar_tokens.h
index 04b48e9..a862ccb 100644
--- a/src/Headers/cgrammar_tokens.h
+++ b/src/Headers/cgrammar_tokens.h
@@ -54,434 +54,12 @@
 
 /* < 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
 */