/*drl added 11/27/2001*/
/*@-bounds@*/
+
+/*drl added 12/11/2002*/
+/*@-type@*/
+
/* < end of bison.head > */
-typedef union
+/* 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
+
{
lltok tok;
int count;
constraintList conL;
constraintExpr conE;
/* drl */
-} YYSTYPE;
-#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 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
+}
+/* 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
+
+extern cgrammar_YYSTYPE yylval;
-extern YYSTYPE yylval;
/*
** Resets all flags in bison.head
*/
/*drl added 11/27/2001*/
/*@=bounds@*/
+
+/*drl added 12/11/2002*/
+/*@=type@*/
andersk / splint.git / blobdiff