X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/91b588dea2cd9d465b092f5a934ebf1638f79253..08cf86420d78ec43cc82ce0258cd86704afd80bd:/src/Headers/cgrammar_tokens.h

diff --git a/src/Headers/cgrammar_tokens.h b/src/Headers/cgrammar_tokens.h
index a862ccb..65e6cf9 100644
--- a/src/Headers/cgrammar_tokens.h
+++ b/src/Headers/cgrammar_tokens.h
@@ -54,11 +54,445 @@
 
 /* < end of bison.head > */
 
-#ifndef BISON_CGRAMMAR_TAB_H
-# define BISON_CGRAMMAR_TAB_H
+/* A Bison parser, made by GNU Bison 2.3.  */
+
+/* Skeleton interface for Bison's Yacc-like parsers in C
+
+   Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005, 2006
+   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., 51 Franklin Street, Fifth Floor,
+   Boston, MA 02110-1301, USA.  */
+
+/* As a special exception, you may create a larger work that contains
+   part or all of the Bison parser skeleton and distribute that work
+   under terms of your choice, so long as that work isn't itself a
+   parser generator using the skeleton or a modified version thereof
+   as a parser skeleton.  Alternatively, if you modify or redistribute
+   the parser skeleton itself, you may (at your option) remove this
+   special exception, which will cause the skeleton and the resulting
+   Bison output files to be licensed under the GNU General Public
+   License without this special exception.
+
+   This special exception was added by the Free Software Foundation in
+   version 2.2 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
+/* Tokens.  */
+#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;
@@ -107,209 +541,17 @@ typedef union
   constraintList conL;
   constraintExpr conE;
   /* drl */  
-} yystype;
-# define cgrammar_YYSTYPE yystype
+}
+/* Line 1529 of yacc.c.  */
+
+	cgrammar_YYSTYPE;
+# define yystype cgrammar_YYSTYPE /* obsolescent; will be withdrawn */
+# define cgrammar_YYSTYPE_IS_DECLARED 1
 # 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 cgrammar_YYSTYPE yylval;
 
-#endif /* not BISON_CGRAMMAR_TAB_H */
 /*
 ** Resets all flags in bison.head
 */