/*drl added 12/11/2002*/
/*@-type@*/
+/*@-enummemuse@*/
+
/* < end of bison.head > */
-/* A Bison parser, made from mtgrammar.y
- by GNU bison 1.35. */
+/* A Bison parser, made by GNU Bison 2.3. */
+
+/* Skeleton implementation 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.
-#define YYBISON 1 /* Identify Bison output. */
+ This special exception was added by the Free Software Foundation in
+ version 2.2 of Bison. */
+/* C LALR(1) parser skeleton written by Richard Stallman, by
+ simplifying the original so-called "semantic" parser. */
+
+/* All symbols defined below should begin with yy or YY, to avoid
+ infringing on user name space. This should be done even for local
+ variables, as they might otherwise be expanded by user macros.
+ There are some unavoidable exceptions within include files to
+ define necessary library symbols; they are noted "INFRINGES ON
+ USER NAME SPACE" below. */
+
+/* Identify Bison output. */
+#define YYBISON 1
+
+/* Bison version. */
+#define YYBISON_VERSION "2.3"
+
+/* Skeleton name. */
+#define YYSKELETON_NAME "yacc.c"
+
+/* Pure parsers. */
+#define YYPURE 1
+
+/* Using locations. */
+#define YYLSP_NEEDED 0
+
+/* Substitute the variable and function names. */
#define yyparse mtparse
-#define yylex mtlex
+#define yylex mtlex
#define yyerror mterror
-#define yylval mtlval
-#define yychar mtchar
+#define yylval mtlval
+#define yychar mtchar
#define yydebug mtdebug
#define yynerrs mtnerrs
-# define MT_BADTOK 257
-# define MT_END 258
-# define MT_STATE 259
-# define MT_GLOBAL 260
-# define MT_CONTEXT 261
-# define MT_ONEOF 262
-# define MT_DEFAULTS 263
-# define MT_DEFAULT 264
-# define MT_REFERENCE 265
-# define MT_PARAMETER 266
-# define MT_RESULT 267
-# define MT_CLAUSE 268
-# define MT_LITERAL 269
-# define MT_NULL 270
-# define MT_ANNOTATIONS 271
-# define MT_ARROW 272
-# define MT_MERGE 273
-# define MT_TRANSFERS 274
-# define MT_PRECONDITIONS 275
-# define MT_POSTCONDITIONS 276
-# define MT_LOSEREFERENCE 277
-# define MT_AS 278
-# define MT_ERROR 279
-# define MT_PLUS 280
-# define MT_STAR 281
-# define MT_BAR 282
-# define MT_LPAREN 283
-# define MT_RPAREN 284
-# define MT_LBRACKET 285
-# define MT_RBRACKET 286
-# define MT_LBRACE 287
-# define MT_RBRACE 288
-# define MT_COMMA 289
-# define MT_CHAR 290
-# define MT_INT 291
-# define MT_FLOAT 292
-# define MT_DOUBLE 293
-# define MT_VOID 294
-# define MT_ANYTYPE 295
-# define MT_INTEGRALTYPE 296
-# define MT_UNSIGNEDINTEGRALTYPE 297
-# define MT_SIGNEDINTEGRALTYPE 298
-# define MT_CONST 299
-# define MT_VOLATILE 300
-# define MT_RESTRICT 301
-# define MT_STRINGLIT 302
-# define MT_IDENT 303
+/* Tokens. */
+#ifndef YYTOKENTYPE
+# define YYTOKENTYPE
+ /* Put the tokens into the symbol table, so that GDB and other debuggers
+ know about them. */
+ enum yytokentype {
+ MT_BADTOK = 258,
+ MT_END = 259,
+ MT_STATE = 260,
+ MT_GLOBAL = 261,
+ MT_CONTEXT = 262,
+ MT_ONEOF = 263,
+ MT_DEFAULTS = 264,
+ MT_DEFAULT = 265,
+ MT_REFERENCE = 266,
+ MT_PARAMETER = 267,
+ MT_RESULT = 268,
+ MT_CLAUSE = 269,
+ MT_LITERAL = 270,
+ MT_NULL = 271,
+ MT_ANNOTATIONS = 272,
+ MT_ARROW = 273,
+ MT_MERGE = 274,
+ MT_TRANSFERS = 275,
+ MT_PRECONDITIONS = 276,
+ MT_POSTCONDITIONS = 277,
+ MT_LOSEREFERENCE = 278,
+ MT_AS = 279,
+ MT_ERROR = 280,
+ MT_PLUS = 281,
+ MT_STAR = 282,
+ MT_BAR = 283,
+ MT_LPAREN = 284,
+ MT_RPAREN = 285,
+ MT_LBRACKET = 286,
+ MT_RBRACKET = 287,
+ MT_LBRACE = 288,
+ MT_RBRACE = 289,
+ MT_COMMA = 290,
+ MT_CHAR = 291,
+ MT_INT = 292,
+ MT_FLOAT = 293,
+ MT_DOUBLE = 294,
+ MT_VOID = 295,
+ MT_ANYTYPE = 296,
+ MT_INTEGRALTYPE = 297,
+ MT_UNSIGNEDINTEGRALTYPE = 298,
+ MT_SIGNEDINTEGRALTYPE = 299,
+ MT_CONST = 300,
+ MT_VOLATILE = 301,
+ MT_RESTRICT = 302,
+ MT_STRINGLIT = 303,
+ MT_IDENT = 304
+ };
+#endif
+/* Tokens. */
+#define MT_BADTOK 258
+#define MT_END 259
+#define MT_STATE 260
+#define MT_GLOBAL 261
+#define MT_CONTEXT 262
+#define MT_ONEOF 263
+#define MT_DEFAULTS 264
+#define MT_DEFAULT 265
+#define MT_REFERENCE 266
+#define MT_PARAMETER 267
+#define MT_RESULT 268
+#define MT_CLAUSE 269
+#define MT_LITERAL 270
+#define MT_NULL 271
+#define MT_ANNOTATIONS 272
+#define MT_ARROW 273
+#define MT_MERGE 274
+#define MT_TRANSFERS 275
+#define MT_PRECONDITIONS 276
+#define MT_POSTCONDITIONS 277
+#define MT_LOSEREFERENCE 278
+#define MT_AS 279
+#define MT_ERROR 280
+#define MT_PLUS 281
+#define MT_STAR 282
+#define MT_BAR 283
+#define MT_LPAREN 284
+#define MT_RPAREN 285
+#define MT_LBRACKET 286
+#define MT_RBRACKET 287
+#define MT_LBRACE 288
+#define MT_RBRACE 289
+#define MT_COMMA 290
+#define MT_CHAR 291
+#define MT_INT 292
+#define MT_FLOAT 293
+#define MT_DOUBLE 294
+#define MT_VOID 295
+#define MT_ANYTYPE 296
+#define MT_INTEGRALTYPE 297
+#define MT_UNSIGNEDINTEGRALTYPE 298
+#define MT_SIGNEDINTEGRALTYPE 299
+#define MT_CONST 300
+#define MT_VOLATILE 301
+#define MT_RESTRICT 302
+#define MT_STRINGLIT 303
+#define MT_IDENT 304
+
+
+
+
+/* Copy the first part of user declarations. */
+#line 30 "mtgrammar.y"
+
# include "bison.reset"
# include "splintMacros.nf"
# include "bison.head"
-#ifndef YYSTYPE
-typedef union {
+
+/* Enabling traces. */
+#ifndef YYDEBUG
+# define YYDEBUG 1
+#endif
+
+/* Enabling verbose error messages. */
+#ifdef YYERROR_VERBOSE
+# undef YYERROR_VERBOSE
+# define YYERROR_VERBOSE 1
+#else
+# define YYERROR_VERBOSE 0
+#endif
+
+/* Enabling the token table. */
+#ifndef YYTOKEN_TABLE
+# define YYTOKEN_TABLE 0
+#endif
+
+#if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
+typedef union YYSTYPE
+#line 62 "mtgrammar.y"
+{
mttok tok;
mtDeclarationNode mtdecl;
mtDeclarationPiece mtpiece;
/*@only@*/ qtype qtyp;
qual qual;
qualList quals;
-} yystype;
-# define YYSTYPE yystype
+}
+/* Line 187 of yacc.c. */
+#line 261 "mtgrammar.tab.c"
+ YYSTYPE;
+# define yystype YYSTYPE /* obsolescent; will be withdrawn */
+# define YYSTYPE_IS_DECLARED 1
# define YYSTYPE_IS_TRIVIAL 1
#endif
-#ifndef YYDEBUG
-# define YYDEBUG 1
-#endif
-#define YYFINAL 136
-#define YYFLAG -32768
-#define YYNTBASE 50
+/* Copy the second part of user declarations. */
-/* YYTRANSLATE(YYLEX) -- Bison token number corresponding to YYLEX. */
-#define YYTRANSLATE(x) ((unsigned)(x) <= 303 ? yytranslate[x] : 93)
-/* YYTRANSLATE[YYLEX] -- Bison token number corresponding to YYLEX. */
-static const char yytranslate[] =
-{
- 0, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 1, 3, 4, 5,
- 6, 7, 8, 9, 10, 11, 12, 13, 14, 15,
- 16, 17, 18, 19, 20, 21, 22, 23, 24, 25,
- 26, 27, 28, 29, 30, 31, 32, 33, 34, 35,
- 36, 37, 38, 39, 40, 41, 42, 43, 44, 45,
- 46, 47, 48, 49
-};
-
-#if YYDEBUG
-static const short yyprhs[] =
-{
- 0, 0, 1, 3, 7, 12, 15, 16, 19, 21,
- 23, 25, 27, 29, 31, 33, 35, 37, 39, 42,
- 43, 45, 48, 51, 54, 57, 60, 63, 64, 66,
- 68, 71, 73, 77, 80, 81, 83, 85, 87, 90,
- 92, 95, 98, 102, 104, 106, 108, 110, 113, 117,
- 120, 124, 126, 128, 130, 132, 134, 136, 138, 140,
- 142, 144, 146, 149, 151, 155, 158, 161, 165, 170,
- 173, 175, 178, 183, 186, 188, 191, 197, 199, 201,
- 204, 207, 210, 213, 215, 218, 222, 224, 227, 233,
- 235, 237, 239, 242
-};
-static const short yyrhs[] =
-{
- -1, 51, 0, 5, 52, 4, 0, 6, 5, 52,
- 4, 0, 49, 53, 0, 0, 54, 53, 0, 55,
- 0, 70, 0, 73, 0, 72, 0, 75, 0, 78,
- 0, 84, 0, 82, 0, 83, 0, 85, 0, 7,
- 57, 0, 0, 57, 0, 12, 58, 0, 11, 58,
- 0, 13, 58, 0, 14, 58, 0, 15, 58, 0,
- 16, 58, 0, 0, 59, 0, 60, 0, 60, 63,
- 0, 61, 0, 60, 28, 59, 0, 68, 62, 0,
- 0, 60, 0, 64, 0, 67, 0, 64, 67, 0,
- 27, 0, 27, 66, 0, 27, 64, 0, 27, 66,
- 64, 0, 45, 0, 46, 0, 47, 0, 65, 0,
- 66, 65, 0, 29, 63, 30, 0, 31, 32, 0,
- 67, 31, 32, 0, 36, 0, 37, 0, 38, 0,
- 39, 0, 40, 0, 41, 0, 42, 0, 43, 0,
- 44, 0, 69, 0, 49, 0, 8, 71, 0, 49,
- 0, 49, 35, 71, 0, 10, 92, 0, 9, 74,
- 0, 57, 18, 92, 0, 57, 18, 92, 74, 0,
- 17, 76, 0, 77, 0, 77, 76, 0, 49, 56,
- 18, 92, 0, 19, 79, 0, 80, 0, 80, 79,
- 0, 81, 26, 81, 18, 90, 0, 92, 0, 27,
- 0, 21, 88, 0, 22, 88, 0, 20, 88, 0,
- 23, 86, 0, 87, 0, 87, 86, 0, 92, 18,
- 91, 0, 89, 0, 89, 88, 0, 92, 24, 92,
- 18, 90, 0, 92, 0, 91, 0, 25, 0, 25,
- 48, 0, 49, 0
-};
+/* Line 216 of yacc.c. */
+#line 274 "mtgrammar.tab.c"
+#ifdef short
+# undef short
#endif
-#if YYDEBUG
-/* YYRLINE[YYN] -- source line where rule number YYN was defined. */
-static const short yyrline[] =
-{
- 0, 160, 161, 165, 167, 172, 177, 178, 183, 184,
- 185, 186, 187, 188, 189, 190, 191, 192, 196, 201,
- 202, 206, 207, 208, 209, 210, 211, 219, 220, 224,
- 225, 229, 230, 235, 239, 240, 244, 245, 246, 250,
- 251, 252, 253, 257, 258, 259, 263, 264, 268, 269,
- 270, 278, 279, 280, 281, 282, 283, 284, 285, 286,
- 287, 294, 298, 302, 303, 308, 312, 316, 318, 323,
- 327, 328, 333, 338, 342, 343, 347, 352, 353, 357,
- 361, 365, 369, 373, 374, 378, 382, 383, 387, 392,
- 393, 397, 398, 402
-};
+#ifdef YYTYPE_UINT8
+typedef YYTYPE_UINT8 yytype_uint8;
+#else
+typedef unsigned char yytype_uint8;
#endif
-
-#if (YYDEBUG) || defined YYERROR_VERBOSE
-
-/* YYTNAME[TOKEN_NUM] -- String name of the token TOKEN_NUM. */
-static const char *const yytname[] =
-{
- "$", "error", "$undefined.", "MT_BADTOK", "MT_END", "MT_STATE",
- "MT_GLOBAL", "MT_CONTEXT", "MT_ONEOF", "MT_DEFAULTS", "MT_DEFAULT",
- "MT_REFERENCE", "MT_PARAMETER", "MT_RESULT", "MT_CLAUSE", "MT_LITERAL",
- "MT_NULL", "MT_ANNOTATIONS", "MT_ARROW", "MT_MERGE", "MT_TRANSFERS",
- "MT_PRECONDITIONS", "MT_POSTCONDITIONS", "MT_LOSEREFERENCE", "MT_AS",
- "MT_ERROR", "MT_PLUS", "MT_STAR", "MT_BAR", "MT_LPAREN", "MT_RPAREN",
- "MT_LBRACKET", "MT_RBRACKET", "MT_LBRACE", "MT_RBRACE", "MT_COMMA",
- "MT_CHAR", "MT_INT", "MT_FLOAT", "MT_DOUBLE", "MT_VOID", "MT_ANYTYPE",
- "MT_INTEGRALTYPE", "MT_UNSIGNEDINTEGRALTYPE", "MT_SIGNEDINTEGRALTYPE",
- "MT_CONST", "MT_VOLATILE", "MT_RESTRICT", "MT_STRINGLIT", "MT_IDENT",
- "file", "mtsDeclaration", "declarationNode", "declarationPieces",
- "declarationPiece", "contextDeclaration", "optContextSelection",
- "contextSelection", "optType", "typeExpression", "completeType",
- "completeTypeAux", "optCompleteType", "abstractDecl", "pointers",
- "innerMods", "innerModsList", "abstractDeclBase", "typeSpecifier",
- "typeName", "valuesDeclaration", "valuesList", "defaultNode",
- "defaultsDeclaration", "defaultDeclarationList",
- "annotationsDeclaration", "annotationsDeclarationList",
- "annotationDeclaration", "mergeDeclaration", "mergeClauses",
- "mergeClause", "mergeItem", "preconditionsDeclaration",
- "postconditionsDeclaration", "transfersDeclaration",
- "loseReferenceDeclaration", "lostClauses", "lostClause",
- "transferClauses", "transferClause", "transferAction", "errorAction",
- "valueChoice", 0
-};
+#ifdef YYTYPE_INT8
+typedef YYTYPE_INT8 yytype_int8;
+#elif (defined __STDC__ || defined __C99__FUNC__ \
+ || defined __cplusplus || defined _MSC_VER)
+typedef signed char yytype_int8;
+#else
+typedef short int yytype_int8;
#endif
-/* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */
-static const short yyr1[] =
-{
- 0, 50, 50, 51, 51, 52, 53, 53, 54, 54,
- 54, 54, 54, 54, 54, 54, 54, 54, 55, 56,
- 56, 57, 57, 57, 57, 57, 57, 58, 58, 59,
- 59, 60, 60, 61, 62, 62, 63, 63, 63, 64,
- 64, 64, 64, 65, 65, 65, 66, 66, 67, 67,
- 67, 68, 68, 68, 68, 68, 68, 68, 68, 68,
- 68, 69, 70, 71, 71, 72, 73, 74, 74, 75,
- 76, 76, 77, 78, 79, 79, 80, 81, 81, 82,
- 83, 84, 85, 86, 86, 87, 88, 88, 89, 90,
- 90, 91, 91, 92
-};
-
-/* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN. */
-static const short yyr2[] =
-{
- 0, 0, 1, 3, 4, 2, 0, 2, 1, 1,
- 1, 1, 1, 1, 1, 1, 1, 1, 2, 0,
- 1, 2, 2, 2, 2, 2, 2, 0, 1, 1,
- 2, 1, 3, 2, 0, 1, 1, 1, 2, 1,
- 2, 2, 3, 1, 1, 1, 1, 2, 3, 2,
- 3, 1, 1, 1, 1, 1, 1, 1, 1, 1,
- 1, 1, 2, 1, 3, 2, 2, 3, 4, 2,
- 1, 2, 4, 2, 1, 2, 5, 1, 1, 2,
- 2, 2, 2, 1, 2, 3, 1, 2, 5, 1,
- 1, 1, 2, 1
-};
-
-/* YYDEFACT[S] -- default rule to reduce with in state S when YYTABLE
- doesn't specify something else to do. Zero means the default is an
- error. */
-static const short yydefact[] =
-{
- 1, 0, 0, 2, 6, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 5, 6, 8,
- 9, 11, 10, 12, 13, 15, 16, 14, 17, 3,
- 0, 27, 27, 27, 27, 27, 27, 18, 63, 62,
- 0, 66, 93, 65, 19, 69, 70, 78, 73, 74,
- 0, 77, 81, 86, 0, 79, 80, 82, 83, 0,
- 7, 4, 51, 52, 53, 54, 55, 56, 57, 58,
- 59, 61, 22, 28, 29, 31, 34, 60, 21, 23,
- 24, 25, 26, 0, 0, 0, 20, 71, 75, 0,
- 87, 0, 84, 0, 39, 0, 0, 0, 30, 36,
- 37, 35, 33, 64, 67, 0, 0, 0, 91, 85,
- 43, 44, 45, 41, 46, 40, 32, 0, 49, 38,
- 0, 68, 72, 0, 0, 92, 42, 47, 48, 50,
- 76, 90, 89, 88, 0, 0, 0
-};
-
-static const short yydefgoto[] =
-{
- 134, 3, 5, 17, 18, 19, 85, 40, 72, 73,
- 74, 75, 102, 98, 99, 114, 115, 100, 76, 77,
- 20, 39, 21, 22, 41, 23, 45, 46, 24, 48,
- 49, 50, 25, 26, 27, 28, 57, 58, 52, 53,
- 130, 131, 54
-};
-
-static const short yypact[] =
-{
- 21, -29, 30,-32768, 2, 33, -29, 52, -9, 52,
- -8, -3, -19, -8, -8, -8, -8,-32768, 2,-32768,
- -32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,
- 54, 13, 13, 13, 13, 13, 13,-32768, 24,-32768,
- 43,-32768,-32768,-32768, 52,-32768, -3,-32768,-32768, -19,
- 34,-32768,-32768, -8, 46,-32768,-32768,-32768, -8, 57,
- -32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,
- -32768,-32768,-32768,-32768, 16,-32768, 13,-32768,-32768,-32768,
- -32768,-32768,-32768, -9, -8, 58,-32768,-32768,-32768, -19,
- -32768, -8,-32768, 47, -14, 13, 42, 45,-32768, 5,
- 49, 50,-32768,-32768, 52, -8, 64, 65, 36,-32768,
- -32768,-32768,-32768,-32768,-32768, -14,-32768, 55,-32768, 49,
- 56,-32768,-32768, -20, -20,-32768,-32768,-32768,-32768,-32768,
- -32768,-32768,-32768,-32768, 86, 87,-32768
-};
+#ifdef YYTYPE_UINT16
+typedef YYTYPE_UINT16 yytype_uint16;
+#else
+typedef unsigned short int yytype_uint16;
+#endif
-static const short yypgoto[] =
-{
- -32768,-32768, 83, 72,-32768,-32768,-32768, -6, -18, -4,
- 17,-32768,-32768, -2, -87, -23,-32768, -1,-32768,-32768,
- -32768, 14,-32768,-32768, -5,-32768, 59,-32768,-32768, 51,
- -32768, 7,-32768,-32768,-32768,-32768, 44,-32768, -11,-32768,
- -21, 8, -10
-};
+#ifdef YYTYPE_INT16
+typedef YYTYPE_INT16 yytype_int16;
+#else
+typedef short int yytype_int16;
+#endif
+#ifndef YYSIZE_T
+# ifdef __SIZE_TYPE__
+# define YYSIZE_T __SIZE_TYPE__
+# elif defined size_t
+# define YYSIZE_T size_t
+# elif ! defined YYSIZE_T && (defined __STDC__ || defined __C99__FUNC__ \
+ || defined __cplusplus || defined _MSC_VER)
+# include <stddef.h> /* INFRINGES ON USER NAME SPACE */
+# define YYSIZE_T size_t
+# else
+# define YYSIZE_T unsigned int
+# endif
+#endif
-#define YYLAST 114
+#define YYSIZE_MAXIMUM ((YYSIZE_T) -1)
+#ifndef YY_
+# if YYENABLE_NLS
+# if ENABLE_NLS
+# include <libintl.h> /* INFRINGES ON USER NAME SPACE */
+# define YY_(msgid) dgettext ("bison-runtime", msgid)
+# endif
+# endif
+# ifndef YY_
+# define YY_(msgid) msgid
+# endif
+#endif
-static const short yytable[] =
-{
- 43, 37, 51, 55, 56, 108, 59, 113, 47, 7,
- 8, 9, 10, 94, 78, 79, 80, 81, 82, 11,
- 4, 12, 13, 14, 15, 16, 1, 2, 126, 42,
- 42, 110, 111, 112, 96, 6, 97, 29, 86, 51,
- 38, 42, 90, 94, 95, 96, 44, 97, 59, 62,
- 63, 64, 65, 66, 67, 68, 69, 70, 61, 83,
- 89, 84, 71, 31, 32, 33, 34, 35, 36, 94,
- 91, 96, 108, 97, 104, 93, 105, 118, 95, 51,
- 120, 107, 123, 124, 125, 128, 135, 136, 129, 30,
- 60, 116, 127, 101, 117, 122, 106, 103, 119, 121,
- 88, 109, 92, 133, 0, 87, 0, 0, 0, 0,
- 0, 0, 0, 132, 132
-};
+/* Suppress unused-variable warnings by "using" E. */
+#if ! defined lint || defined __GNUC__
+# define YYUSE(e) ((void) (e))
+#else
+# define YYUSE(e) /* empty */
+#endif
-static const short yycheck[] =
+/* Identity function, used to suppress warnings about constant conditions. */
+#ifndef lint
+# define YYID(n) (n)
+#else
+#if (defined __STDC__ || defined __C99__FUNC__ \
+ || defined __cplusplus || defined _MSC_VER)
+static int
+YYID (int i)
+#else
+static int
+YYID (i)
+ int i;
+#endif
{
- 10, 7, 12, 14, 15, 25, 16, 94, 27, 7,
- 8, 9, 10, 27, 32, 33, 34, 35, 36, 17,
- 49, 19, 20, 21, 22, 23, 5, 6, 115, 49,
- 49, 45, 46, 47, 29, 5, 31, 4, 44, 49,
- 49, 49, 53, 27, 28, 29, 49, 31, 58, 36,
- 37, 38, 39, 40, 41, 42, 43, 44, 4, 35,
- 26, 18, 49, 11, 12, 13, 14, 15, 16, 27,
- 24, 29, 25, 31, 84, 18, 18, 32, 28, 89,
- 31, 91, 18, 18, 48, 30, 0, 0, 32, 6,
- 18, 95, 115, 76, 96, 105, 89, 83, 99, 104,
- 49, 93, 58, 124, -1, 46, -1, -1, -1, -1,
- -1, -1, -1, 123, 124
-};
-#define YYPURE 1
-
-/* -*-C-*- Note some compilers choke on comments on `#line' lines. */
-
-/* Skeleton output parser for bison,
-
- Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002 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. */
-
-/* This is the parser code that is written into each bison parser when
- the %semantic_parser declaration is not specified in the grammar.
- It was written by Richard Stallman by simplifying the hairy parser
- used when %semantic_parser is specified. */
-
-/* All symbols defined below should begin with yy or YY, to avoid
- infringing on user name space. This should be done even for local
- variables, as they might otherwise be expanded by user macros.
- There are some unavoidable exceptions within include files to
- define necessary library symbols; they are noted "INFRINGES ON
- USER NAME SPACE" below. */
+ return i;
+}
+#endif
-#if ! defined (yyoverflow) || defined (YYERROR_VERBOSE)
+#if ! defined yyoverflow || YYERROR_VERBOSE
/* The parser invokes alloca or malloc; define the necessary symbols. */
-# if YYSTACK_USE_ALLOCA
-# define YYSTACK_ALLOC alloca
-# else
-# ifndef YYSTACK_USE_ALLOCA
-# if defined (alloca) || defined (_ALLOCA_H)
-# define YYSTACK_ALLOC alloca
+# ifdef YYSTACK_USE_ALLOCA
+# if YYSTACK_USE_ALLOCA
+# ifdef __GNUC__
+# define YYSTACK_ALLOC __builtin_alloca
+# elif defined __BUILTIN_VA_ARG_INCR
+# include <alloca.h> /* INFRINGES ON USER NAME SPACE */
+# elif defined _AIX
+# define YYSTACK_ALLOC __alloca
+# elif defined _MSC_VER
+# include <malloc.h> /* INFRINGES ON USER NAME SPACE */
+# define alloca _alloca
# else
-# ifdef __GNUC__
-# define YYSTACK_ALLOC __builtin_alloca
+# define YYSTACK_ALLOC alloca
+# if ! defined _ALLOCA_H && ! defined _STDLIB_H && (defined __STDC__ || defined __C99__FUNC__ \
+ || defined __cplusplus || defined _MSC_VER)
+# include <stdlib.h> /* INFRINGES ON USER NAME SPACE */
+# ifndef _STDLIB_H
+# define _STDLIB_H 1
+# endif
# endif
# endif
# endif
# endif
# ifdef YYSTACK_ALLOC
- /* Pacify GCC's `empty if-body' warning. */
-# define YYSTACK_FREE(Ptr) do { /* empty */; } while (0)
+ /* Pacify GCC's `empty if-body' warning. */
+# define YYSTACK_FREE(Ptr) do { /* empty */; } while (YYID (0))
+# ifndef YYSTACK_ALLOC_MAXIMUM
+ /* The OS might guarantee only one guard page at the bottom of the stack,
+ and a page size can be as small as 4096 bytes. So we cannot safely
+ invoke alloca (N) if N exceeds 4096. Use a slightly smaller number
+ to allow for a few compiler-allocated temporary stack slots. */
+# define YYSTACK_ALLOC_MAXIMUM 4032 /* reasonable circa 2006 */
+# endif
# else
-# if defined (__STDC__) || defined (__cplusplus)
+# define YYSTACK_ALLOC YYMALLOC
+# define YYSTACK_FREE YYFREE
+# ifndef YYSTACK_ALLOC_MAXIMUM
+# define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM
+# endif
+# if (defined __cplusplus && ! defined _STDLIB_H \
+ && ! ((defined YYMALLOC || defined malloc) \
+ && (defined YYFREE || defined free)))
# include <stdlib.h> /* INFRINGES ON USER NAME SPACE */
-# define YYSIZE_T size_t
+# ifndef _STDLIB_H
+# define _STDLIB_H 1
+# endif
+# endif
+# ifndef YYMALLOC
+# define YYMALLOC malloc
+# if ! defined malloc && ! defined _STDLIB_H && (defined __STDC__ || defined __C99__FUNC__ \
+ || defined __cplusplus || defined _MSC_VER)
+void *malloc (YYSIZE_T); /* INFRINGES ON USER NAME SPACE */
+# endif
+# endif
+# ifndef YYFREE
+# define YYFREE free
+# if ! defined free && ! defined _STDLIB_H && (defined __STDC__ || defined __C99__FUNC__ \
+ || defined __cplusplus || defined _MSC_VER)
+void free (void *); /* INFRINGES ON USER NAME SPACE */
+# endif
# endif
-# define YYSTACK_ALLOC malloc
-# define YYSTACK_FREE free
# endif
-#endif /* ! defined (yyoverflow) || defined (YYERROR_VERBOSE) */
+#endif /* ! defined yyoverflow || YYERROR_VERBOSE */
-#if (! defined (yyoverflow) \
- && (! defined (__cplusplus) \
- || (YYLTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL)))
+#if (! defined yyoverflow \
+ && (! defined __cplusplus \
+ || (defined YYSTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL)))
/* A type that is properly aligned for any stack member. */
union yyalloc
{
- short yyss;
+ yytype_int16 yyss;
YYSTYPE yyvs;
-# if YYLSP_NEEDED
- YYLTYPE yyls;
-# endif
-};
+ };
/* The size of the maximum gap between one aligned stack and the next. */
-# define YYSTACK_GAP_MAX (sizeof (union yyalloc) - 1)
+# define YYSTACK_GAP_MAXIMUM (sizeof (union yyalloc) - 1)
/* The size of an array large to enough to hold all stacks, each with
N elements. */
-# if YYLSP_NEEDED
-# define YYSTACK_BYTES(N) \
- ((N) * (sizeof (short) + sizeof (YYSTYPE) + sizeof (YYLTYPE)) \
- + 2 * YYSTACK_GAP_MAX)
-# else
-# define YYSTACK_BYTES(N) \
- ((N) * (sizeof (short) + sizeof (YYSTYPE)) \
- + YYSTACK_GAP_MAX)
-# endif
+# define YYSTACK_BYTES(N) \
+ ((N) * (sizeof (yytype_int16) + sizeof (YYSTYPE)) \
+ + YYSTACK_GAP_MAXIMUM)
/* Copy COUNT objects from FROM to TO. The source and destination do
not overlap. */
# ifndef YYCOPY
-# if 1 < __GNUC__
+# if defined __GNUC__ && 1 < __GNUC__
# define YYCOPY(To, From, Count) \
__builtin_memcpy (To, From, (Count) * sizeof (*(From)))
# else
# define YYCOPY(To, From, Count) \
do \
{ \
- register YYSIZE_T yyi; \
+ YYSIZE_T yyi; \
for (yyi = 0; yyi < (Count); yyi++) \
(To)[yyi] = (From)[yyi]; \
} \
- while (0)
+ while (YYID (0))
# endif
# endif
YYSIZE_T yynewbytes; \
YYCOPY (&yyptr->Stack, Stack, yysize); \
Stack = &yyptr->Stack; \
- yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAX; \
+ yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAXIMUM; \
yyptr += yynewbytes / sizeof (*yyptr); \
} \
- while (0)
+ while (YYID (0))
#endif
+/* YYFINAL -- State number of the termination state. */
+#define YYFINAL 8
+/* YYLAST -- Last index in YYTABLE. */
+#define YYLAST 114
+
+/* YYNTOKENS -- Number of terminals. */
+#define YYNTOKENS 50
+/* YYNNTS -- Number of nonterminals. */
+#define YYNNTS 44
+/* YYNRULES -- Number of rules. */
+#define YYNRULES 94
+/* YYNRULES -- Number of states. */
+#define YYNSTATES 136
+
+/* YYTRANSLATE(YYLEX) -- Bison symbol number corresponding to YYLEX. */
+#define YYUNDEFTOK 2
+#define YYMAXUTOK 304
+
+#define YYTRANSLATE(YYX) \
+ ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK)
+
+/* YYTRANSLATE[YYLEX] -- Bison symbol number corresponding to YYLEX. */
+static const yytype_uint8 yytranslate[] =
+{
+ 0, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 1, 2, 3, 4,
+ 5, 6, 7, 8, 9, 10, 11, 12, 13, 14,
+ 15, 16, 17, 18, 19, 20, 21, 22, 23, 24,
+ 25, 26, 27, 28, 29, 30, 31, 32, 33, 34,
+ 35, 36, 37, 38, 39, 40, 41, 42, 43, 44,
+ 45, 46, 47, 48, 49
+};
+
+#if YYDEBUG
+/* YYPRHS[YYN] -- Index of the first RHS symbol of rule number YYN in
+ YYRHS. */
+static const yytype_uint8 yyprhs[] =
+{
+ 0, 0, 3, 4, 6, 10, 15, 18, 19, 22,
+ 24, 26, 28, 30, 32, 34, 36, 38, 40, 42,
+ 45, 46, 48, 51, 54, 57, 60, 63, 66, 67,
+ 69, 71, 74, 76, 80, 83, 84, 86, 88, 90,
+ 93, 95, 98, 101, 105, 107, 109, 111, 113, 116,
+ 120, 123, 127, 129, 131, 133, 135, 137, 139, 141,
+ 143, 145, 147, 149, 152, 154, 158, 161, 164, 168,
+ 173, 176, 178, 181, 186, 189, 191, 194, 200, 202,
+ 204, 207, 210, 213, 216, 218, 221, 225, 227, 230,
+ 236, 238, 240, 242, 245
+};
+
+/* YYRHS -- A `-1'-separated list of the rules' RHS. */
+static const yytype_int8 yyrhs[] =
+{
+ 51, 0, -1, -1, 52, -1, 5, 53, 4, -1,
+ 6, 5, 53, 4, -1, 49, 54, -1, -1, 55,
+ 54, -1, 56, -1, 71, -1, 74, -1, 73, -1,
+ 76, -1, 79, -1, 85, -1, 83, -1, 84, -1,
+ 86, -1, 7, 58, -1, -1, 58, -1, 12, 59,
+ -1, 11, 59, -1, 13, 59, -1, 14, 59, -1,
+ 15, 59, -1, 16, 59, -1, -1, 60, -1, 61,
+ -1, 61, 64, -1, 62, -1, 61, 28, 60, -1,
+ 69, 63, -1, -1, 61, -1, 65, -1, 68, -1,
+ 65, 68, -1, 27, -1, 27, 67, -1, 27, 65,
+ -1, 27, 67, 65, -1, 45, -1, 46, -1, 47,
+ -1, 66, -1, 67, 66, -1, 29, 64, 30, -1,
+ 31, 32, -1, 68, 31, 32, -1, 36, -1, 37,
+ -1, 38, -1, 39, -1, 40, -1, 41, -1, 42,
+ -1, 43, -1, 44, -1, 70, -1, 49, -1, 8,
+ 72, -1, 49, -1, 49, 35, 72, -1, 10, 93,
+ -1, 9, 75, -1, 58, 18, 93, -1, 58, 18,
+ 93, 75, -1, 17, 77, -1, 78, -1, 78, 77,
+ -1, 49, 57, 18, 93, -1, 19, 80, -1, 81,
+ -1, 81, 80, -1, 82, 26, 82, 18, 91, -1,
+ 93, -1, 27, -1, 21, 89, -1, 22, 89, -1,
+ 20, 89, -1, 23, 87, -1, 88, -1, 88, 87,
+ -1, 93, 18, 92, -1, 90, -1, 90, 89, -1,
+ 93, 24, 93, 18, 91, -1, 93, -1, 92, -1,
+ 25, -1, 25, 48, -1, 49, -1
+};
-#if ! defined (YYSIZE_T) && defined (__SIZE_TYPE__)
-# define YYSIZE_T __SIZE_TYPE__
+/* YYRLINE[YYN] -- source line where rule number YYN was defined. */
+static const yytype_uint16 yyrline[] =
+{
+ 0, 160, 160, 161, 165, 167, 172, 177, 178, 183,
+ 184, 185, 186, 187, 188, 189, 190, 191, 192, 196,
+ 201, 202, 206, 207, 208, 209, 210, 211, 219, 220,
+ 224, 225, 229, 230, 235, 239, 240, 244, 245, 246,
+ 250, 251, 252, 253, 257, 258, 259, 263, 264, 268,
+ 269, 270, 278, 279, 280, 281, 282, 283, 284, 285,
+ 286, 287, 294, 298, 302, 303, 308, 312, 316, 318,
+ 323, 327, 328, 333, 338, 342, 343, 347, 352, 353,
+ 357, 361, 365, 369, 373, 374, 378, 382, 383, 387,
+ 392, 393, 397, 398, 402
+};
#endif
-#if ! defined (YYSIZE_T) && defined (size_t)
-# define YYSIZE_T size_t
+
+#if YYDEBUG || YYERROR_VERBOSE || YYTOKEN_TABLE
+/* YYTNAME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM.
+ First, the terminals, then, starting at YYNTOKENS, nonterminals. */
+static const char *const yytname[] =
+{
+ "$end", "error", "$undefined", "MT_BADTOK", "MT_END", "MT_STATE",
+ "MT_GLOBAL", "MT_CONTEXT", "MT_ONEOF", "MT_DEFAULTS", "MT_DEFAULT",
+ "MT_REFERENCE", "MT_PARAMETER", "MT_RESULT", "MT_CLAUSE", "MT_LITERAL",
+ "MT_NULL", "MT_ANNOTATIONS", "MT_ARROW", "MT_MERGE", "MT_TRANSFERS",
+ "MT_PRECONDITIONS", "MT_POSTCONDITIONS", "MT_LOSEREFERENCE", "MT_AS",
+ "MT_ERROR", "MT_PLUS", "MT_STAR", "MT_BAR", "MT_LPAREN", "MT_RPAREN",
+ "MT_LBRACKET", "MT_RBRACKET", "MT_LBRACE", "MT_RBRACE", "MT_COMMA",
+ "MT_CHAR", "MT_INT", "MT_FLOAT", "MT_DOUBLE", "MT_VOID", "MT_ANYTYPE",
+ "MT_INTEGRALTYPE", "MT_UNSIGNEDINTEGRALTYPE", "MT_SIGNEDINTEGRALTYPE",
+ "MT_CONST", "MT_VOLATILE", "MT_RESTRICT", "MT_STRINGLIT", "MT_IDENT",
+ "$accept", "file", "mtsDeclaration", "declarationNode",
+ "declarationPieces", "declarationPiece", "contextDeclaration",
+ "optContextSelection", "contextSelection", "optType", "typeExpression",
+ "completeType", "completeTypeAux", "optCompleteType", "abstractDecl",
+ "pointers", "innerMods", "innerModsList", "abstractDeclBase",
+ "typeSpecifier", "typeName", "valuesDeclaration", "valuesList",
+ "defaultNode", "defaultsDeclaration", "defaultDeclarationList",
+ "annotationsDeclaration", "annotationsDeclarationList",
+ "annotationDeclaration", "mergeDeclaration", "mergeClauses",
+ "mergeClause", "mergeItem", "preconditionsDeclaration",
+ "postconditionsDeclaration", "transfersDeclaration",
+ "loseReferenceDeclaration", "lostClauses", "lostClause",
+ "transferClauses", "transferClause", "transferAction", "errorAction",
+ "valueChoice", 0
+};
#endif
-#if ! defined (YYSIZE_T)
-# if defined (__STDC__) || defined (__cplusplus)
-# include <stddef.h> /* INFRINGES ON USER NAME SPACE */
-# define YYSIZE_T size_t
+
+# ifdef YYPRINT
+/* YYTOKNUM[YYLEX-NUM] -- Internal token number corresponding to
+ token YYLEX-NUM. */
+static const yytype_uint16 yytoknum[] =
+{
+ 0, 256, 257, 258, 259, 260, 261, 262, 263, 264,
+ 265, 266, 267, 268, 269, 270, 271, 272, 273, 274,
+ 275, 276, 277, 278, 279, 280, 281, 282, 283, 284,
+ 285, 286, 287, 288, 289, 290, 291, 292, 293, 294,
+ 295, 296, 297, 298, 299, 300, 301, 302, 303, 304
+};
# endif
-#endif
-#if ! defined (YYSIZE_T)
-# define YYSIZE_T unsigned int
-#endif
+
+/* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */
+static const yytype_uint8 yyr1[] =
+{
+ 0, 50, 51, 51, 52, 52, 53, 54, 54, 55,
+ 55, 55, 55, 55, 55, 55, 55, 55, 55, 56,
+ 57, 57, 58, 58, 58, 58, 58, 58, 59, 59,
+ 60, 60, 61, 61, 62, 63, 63, 64, 64, 64,
+ 65, 65, 65, 65, 66, 66, 66, 67, 67, 68,
+ 68, 68, 69, 69, 69, 69, 69, 69, 69, 69,
+ 69, 69, 70, 71, 72, 72, 73, 74, 75, 75,
+ 76, 77, 77, 78, 79, 80, 80, 81, 82, 82,
+ 83, 84, 85, 86, 87, 87, 88, 89, 89, 90,
+ 91, 91, 92, 92, 93
+};
+
+/* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN. */
+static const yytype_uint8 yyr2[] =
+{
+ 0, 2, 0, 1, 3, 4, 2, 0, 2, 1,
+ 1, 1, 1, 1, 1, 1, 1, 1, 1, 2,
+ 0, 1, 2, 2, 2, 2, 2, 2, 0, 1,
+ 1, 2, 1, 3, 2, 0, 1, 1, 1, 2,
+ 1, 2, 2, 3, 1, 1, 1, 1, 2, 3,
+ 2, 3, 1, 1, 1, 1, 1, 1, 1, 1,
+ 1, 1, 1, 2, 1, 3, 2, 2, 3, 4,
+ 2, 1, 2, 4, 2, 1, 2, 5, 1, 1,
+ 2, 2, 2, 2, 1, 2, 3, 1, 2, 5,
+ 1, 1, 1, 2, 1
+};
+
+/* YYDEFACT[STATE-NAME] -- Default rule to reduce with in state
+ STATE-NUM when YYTABLE doesn't specify something else to do. Zero
+ means the default is an error. */
+static const yytype_uint8 yydefact[] =
+{
+ 2, 0, 0, 0, 3, 7, 0, 0, 1, 0,
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 6,
+ 7, 9, 10, 12, 11, 13, 14, 16, 17, 15,
+ 18, 4, 0, 28, 28, 28, 28, 28, 28, 19,
+ 64, 63, 0, 67, 94, 66, 20, 70, 71, 79,
+ 74, 75, 0, 78, 82, 87, 0, 80, 81, 83,
+ 84, 0, 8, 5, 52, 53, 54, 55, 56, 57,
+ 58, 59, 60, 62, 23, 29, 30, 32, 35, 61,
+ 22, 24, 25, 26, 27, 0, 0, 0, 21, 72,
+ 76, 0, 88, 0, 85, 0, 40, 0, 0, 0,
+ 31, 37, 38, 36, 34, 65, 68, 0, 0, 0,
+ 92, 86, 44, 45, 46, 42, 47, 41, 33, 0,
+ 50, 39, 0, 69, 73, 0, 0, 93, 43, 48,
+ 49, 51, 77, 91, 90, 89
+};
+
+/* YYDEFGOTO[NTERM-NUM]. */
+static const yytype_int16 yydefgoto[] =
+{
+ -1, 3, 4, 6, 19, 20, 21, 87, 42, 74,
+ 75, 76, 77, 104, 100, 101, 116, 117, 102, 78,
+ 79, 22, 41, 23, 24, 43, 25, 47, 48, 26,
+ 50, 51, 52, 27, 28, 29, 30, 59, 60, 54,
+ 55, 132, 133, 56
+};
+
+/* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
+ STATE-NUM. */
+#define YYPACT_NINF -90
+static const yytype_int8 yypact[] =
+{
+ 21, -35, 10, 35, -90, 2, 33, -35, -90, 52,
+ -9, 52, 11, 12, -19, 11, 11, 11, 11, -90,
+ 2, -90, -90, -90, -90, -90, -90, -90, -90, -90,
+ -90, -90, 37, 13, 13, 13, 13, 13, 13, -90,
+ 23, -90, 41, -90, -90, -90, 52, -90, 12, -90,
+ -90, -19, 44, -90, -90, 11, 48, -90, -90, -90,
+ 11, 57, -90, -90, -90, -90, -90, -90, -90, -90,
+ -90, -90, -90, -90, -90, -90, -11, -90, 13, -90,
+ -90, -90, -90, -90, -90, -9, 11, 58, -90, -90,
+ -90, -19, -90, 11, -90, 53, -14, 13, 42, 45,
+ -90, 5, 49, 54, -90, -90, 52, 11, 65, 66,
+ 38, -90, -90, -90, -90, -90, -90, -14, -90, 55,
+ -90, 49, 56, -90, -90, -20, -20, -90, -90, -90,
+ -90, -90, -90, -90, -90, -90
+};
+
+/* YYPGOTO[NTERM-NUM]. */
+static const yytype_int8 yypgoto[] =
+{
+ -90, -90, -90, 80, 69, -90, -90, -90, -8, 9,
+ -7, 14, -90, -90, -5, -89, -26, -90, -4, -90,
+ -90, -90, 15, -90, -90, -10, -90, 46, -90, -90,
+ 47, -90, 8, -90, -90, -90, -90, 43, -90, -13,
+ -90, -25, 7, -12
+};
+
+/* YYTABLE[YYPACT[STATE-NUM]]. What to do in state STATE-NUM. If
+ positive, shift that token. If negative, reduce the rule which
+ number is the opposite. If zero, do what YYDEFACT says.
+ If YYTABLE_NINF, syntax error. */
+#define YYTABLE_NINF -1
+static const yytype_uint8 yytable[] =
+{
+ 45, 39, 53, 57, 58, 110, 61, 115, 49, 9,
+ 10, 11, 12, 96, 5, 7, 96, 97, 98, 13,
+ 99, 14, 15, 16, 17, 18, 1, 2, 128, 44,
+ 44, 112, 113, 114, 98, 8, 99, 31, 88, 53,
+ 40, 63, 92, 80, 81, 82, 83, 84, 61, 64,
+ 65, 66, 67, 68, 69, 70, 71, 72, 85, 86,
+ 44, 46, 73, 33, 34, 35, 36, 37, 38, 96,
+ 91, 98, 93, 99, 106, 95, 107, 120, 110, 53,
+ 122, 109, 97, 125, 126, 130, 127, 32, 131, 62,
+ 118, 129, 103, 119, 89, 124, 123, 121, 90, 108,
+ 105, 135, 111, 94, 0, 0, 0, 0, 0, 0,
+ 0, 0, 0, 134, 134
+};
+
+static const yytype_int8 yycheck[] =
+{
+ 12, 9, 14, 16, 17, 25, 18, 96, 27, 7,
+ 8, 9, 10, 27, 49, 5, 27, 28, 29, 17,
+ 31, 19, 20, 21, 22, 23, 5, 6, 117, 49,
+ 49, 45, 46, 47, 29, 0, 31, 4, 46, 51,
+ 49, 4, 55, 34, 35, 36, 37, 38, 60, 36,
+ 37, 38, 39, 40, 41, 42, 43, 44, 35, 18,
+ 49, 49, 49, 11, 12, 13, 14, 15, 16, 27,
+ 26, 29, 24, 31, 86, 18, 18, 32, 25, 91,
+ 31, 93, 28, 18, 18, 30, 48, 7, 32, 20,
+ 97, 117, 78, 98, 48, 107, 106, 101, 51, 91,
+ 85, 126, 95, 60, -1, -1, -1, -1, -1, -1,
+ -1, -1, -1, 125, 126
+};
+
+/* YYSTOS[STATE-NUM] -- The (internal number of the) accessing
+ symbol of state STATE-NUM. */
+static const yytype_uint8 yystos[] =
+{
+ 0, 5, 6, 51, 52, 49, 53, 5, 0, 7,
+ 8, 9, 10, 17, 19, 20, 21, 22, 23, 54,
+ 55, 56, 71, 73, 74, 76, 79, 83, 84, 85,
+ 86, 4, 53, 11, 12, 13, 14, 15, 16, 58,
+ 49, 72, 58, 75, 49, 93, 49, 77, 78, 27,
+ 80, 81, 82, 93, 89, 90, 93, 89, 89, 87,
+ 88, 93, 54, 4, 36, 37, 38, 39, 40, 41,
+ 42, 43, 44, 49, 59, 60, 61, 62, 69, 70,
+ 59, 59, 59, 59, 59, 35, 18, 57, 58, 77,
+ 80, 26, 89, 24, 87, 18, 27, 28, 29, 31,
+ 64, 65, 68, 61, 63, 72, 93, 18, 82, 93,
+ 25, 92, 45, 46, 47, 65, 66, 67, 60, 64,
+ 32, 68, 31, 75, 93, 18, 18, 48, 65, 66,
+ 30, 32, 91, 92, 93, 91
+};
#define yyerrok (yyerrstatus = 0)
#define yyclearin (yychar = YYEMPTY)
-#define YYEMPTY -2
+#define YYEMPTY (-2)
#define YYEOF 0
+
#define YYACCEPT goto yyacceptlab
-#define YYABORT goto yyabortlab
-#define YYERROR goto yyerrlab1
+#define YYABORT goto yyabortlab
+#define YYERROR goto yyerrorlab
+
+
/* Like YYERROR except do call yyerror. This remains here temporarily
to ease the transition to the new meaning of YYERROR, for GCC.
Once GCC version 2 has supplanted version 1, this can go. */
+
#define YYFAIL goto yyerrlab
+
#define YYRECOVERING() (!!yyerrstatus)
+
#define YYBACKUP(Token, Value) \
do \
if (yychar == YYEMPTY && yylen == 1) \
{ \
yychar = (Token); \
yylval = (Value); \
- yychar1 = YYTRANSLATE (yychar); \
- YYPOPSTACK; \
+ yytoken = YYTRANSLATE (yychar); \
+ YYPOPSTACK (1); \
goto yybackup; \
} \
else \
- { \
- yyerror ("syntax error: cannot back up"); \
+ { \
+ yyerror (YY_("syntax error: cannot back up")); \
YYERROR; \
} \
-while (0)
+while (YYID (0))
+
#define YYTERROR 1
#define YYERRCODE 256
-/* YYLLOC_DEFAULT -- Compute the default location (before the actions
- are run).
-
- When YYLLOC_DEFAULT is run, CURRENT is set the location of the
- first token. By default, to implement support for ranges, extend
- its range to the last symbol. */
+/* YYLLOC_DEFAULT -- Set CURRENT to span from RHS[1] to RHS[N].
+ If N is 0, then set CURRENT to the empty location which ends
+ the previous symbol: RHS[0] (always defined). */
+#define YYRHSLOC(Rhs, K) ((Rhs)[K])
#ifndef YYLLOC_DEFAULT
-# define YYLLOC_DEFAULT(Current, Rhs, N) \
- Current.last_line = Rhs[N].last_line; \
- Current.last_column = Rhs[N].last_column;
+# define YYLLOC_DEFAULT(Current, Rhs, N) \
+ do \
+ if (YYID (N)) \
+ { \
+ (Current).first_line = YYRHSLOC (Rhs, 1).first_line; \
+ (Current).first_column = YYRHSLOC (Rhs, 1).first_column; \
+ (Current).last_line = YYRHSLOC (Rhs, N).last_line; \
+ (Current).last_column = YYRHSLOC (Rhs, N).last_column; \
+ } \
+ else \
+ { \
+ (Current).first_line = (Current).last_line = \
+ YYRHSLOC (Rhs, 0).last_line; \
+ (Current).first_column = (Current).last_column = \
+ YYRHSLOC (Rhs, 0).last_column; \
+ } \
+ while (YYID (0))
#endif
-/* YYLEX -- calling `yylex' with the right arguments. */
+/* YY_LOCATION_PRINT -- Print the location on the stream.
+ This macro was not mandated originally: define only if we know
+ we won't break user code: when these are the locations we know. */
-#if YYPURE
-# if YYLSP_NEEDED
-# ifdef YYLEX_PARAM
-# define YYLEX yylex (&yylval, &yylloc, YYLEX_PARAM)
-# else
-# define YYLEX yylex (&yylval, &yylloc)
-# endif
-# else /* !YYLSP_NEEDED */
-# ifdef YYLEX_PARAM
-# define YYLEX yylex (&yylval, YYLEX_PARAM)
-# else
-# define YYLEX yylex (&yylval)
-# endif
-# endif /* !YYLSP_NEEDED */
-#else /* !YYPURE */
-# define YYLEX yylex ()
-#endif /* !YYPURE */
+#ifndef YY_LOCATION_PRINT
+# if YYLTYPE_IS_TRIVIAL
+# define YY_LOCATION_PRINT(File, Loc) \
+ fprintf (File, "%d.%d-%d.%d", \
+ (Loc).first_line, (Loc).first_column, \
+ (Loc).last_line, (Loc).last_column)
+# else
+# define YY_LOCATION_PRINT(File, Loc) ((void) 0)
+# endif
+#endif
+
+
+/* YYLEX -- calling `yylex' with the right arguments. */
+#ifdef YYLEX_PARAM
+# define YYLEX yylex (&yylval, YYLEX_PARAM)
+#else
+# define YYLEX yylex (&yylval)
+#endif
/* Enable debugging if requested. */
#if YYDEBUG
do { \
if (yydebug) \
YYFPRINTF Args; \
-} while (0)
+} while (YYID (0))
+
+# define YY_SYMBOL_PRINT(Title, Type, Value, Location) \
+do { \
+ if (yydebug) \
+ { \
+ YYFPRINTF (stderr, "%s ", Title); \
+ yy_symbol_print (stderr, \
+ Type, Value); \
+ YYFPRINTF (stderr, "\n"); \
+ } \
+} while (YYID (0))
+
+
+/*--------------------------------.
+| Print this symbol on YYOUTPUT. |
+`--------------------------------*/
+
+/*ARGSUSED*/
+#if (defined __STDC__ || defined __C99__FUNC__ \
+ || defined __cplusplus || defined _MSC_VER)
+static void
+yy_symbol_value_print (FILE *yyoutput, int yytype, YYSTYPE const * const yyvaluep)
+#else
+static void
+yy_symbol_value_print (yyoutput, yytype, yyvaluep)
+ FILE *yyoutput;
+ int yytype;
+ YYSTYPE const * const yyvaluep;
+#endif
+{
+ if (!yyvaluep)
+ return;
+# ifdef YYPRINT
+ if (yytype < YYNTOKENS)
+ YYPRINT (yyoutput, yytoknum[yytype], *yyvaluep);
+# else
+ YYUSE (yyoutput);
+# endif
+ switch (yytype)
+ {
+ default:
+ break;
+ }
+}
+
+
+/*--------------------------------.
+| Print this symbol on YYOUTPUT. |
+`--------------------------------*/
+
+#if (defined __STDC__ || defined __C99__FUNC__ \
+ || defined __cplusplus || defined _MSC_VER)
+static void
+yy_symbol_print (FILE *yyoutput, int yytype, YYSTYPE const * const yyvaluep)
+#else
+static void
+yy_symbol_print (yyoutput, yytype, yyvaluep)
+ FILE *yyoutput;
+ int yytype;
+ YYSTYPE const * const yyvaluep;
+#endif
+{
+ if (yytype < YYNTOKENS)
+ YYFPRINTF (yyoutput, "token %s (", yytname[yytype]);
+ else
+ YYFPRINTF (yyoutput, "nterm %s (", yytname[yytype]);
+
+ yy_symbol_value_print (yyoutput, yytype, yyvaluep);
+ YYFPRINTF (yyoutput, ")");
+}
+
+/*------------------------------------------------------------------.
+| yy_stack_print -- Print the state stack from its BOTTOM up to its |
+| TOP (included). |
+`------------------------------------------------------------------*/
+
+#if (defined __STDC__ || defined __C99__FUNC__ \
+ || defined __cplusplus || defined _MSC_VER)
+static void
+yy_stack_print (yytype_int16 *bottom, yytype_int16 *top)
+#else
+static void
+yy_stack_print (bottom, top)
+ yytype_int16 *bottom;
+ yytype_int16 *top;
+#endif
+{
+ YYFPRINTF (stderr, "Stack now");
+ for (; bottom <= top; ++bottom)
+ YYFPRINTF (stderr, " %d", *bottom);
+ YYFPRINTF (stderr, "\n");
+}
+
+# define YY_STACK_PRINT(Bottom, Top) \
+do { \
+ if (yydebug) \
+ yy_stack_print ((Bottom), (Top)); \
+} while (YYID (0))
+
+
+/*------------------------------------------------.
+| Report that the YYRULE is going to be reduced. |
+`------------------------------------------------*/
+
+#if (defined __STDC__ || defined __C99__FUNC__ \
+ || defined __cplusplus || defined _MSC_VER)
+static void
+yy_reduce_print (YYSTYPE *yyvsp, int yyrule)
+#else
+static void
+yy_reduce_print (yyvsp, yyrule)
+ YYSTYPE *yyvsp;
+ int yyrule;
+#endif
+{
+ int yynrhs = yyr2[yyrule];
+ int yyi;
+ unsigned long int yylno = yyrline[yyrule];
+ YYFPRINTF (stderr, "Reducing stack by rule %d (line %lu):\n",
+ yyrule - 1, yylno);
+ /* The symbols being reduced. */
+ for (yyi = 0; yyi < yynrhs; yyi++)
+ {
+ fprintf (stderr, " $%d = ", yyi + 1);
+ yy_symbol_print (stderr, yyrhs[yyprhs[yyrule] + yyi],
+ &(yyvsp[(yyi + 1) - (yynrhs)])
+ );
+ fprintf (stderr, "\n");
+ }
+}
+
+# define YY_REDUCE_PRINT(Rule) \
+do { \
+ if (yydebug) \
+ yy_reduce_print (yyvsp, Rule); \
+} while (YYID (0))
+
/* Nonzero means print parse trace. It is left uninitialized so that
multiple parsers can coexist. */
int yydebug;
#else /* !YYDEBUG */
# define YYDPRINTF(Args)
+# define YY_SYMBOL_PRINT(Title, Type, Value, Location)
+# define YY_STACK_PRINT(Bottom, Top)
+# define YY_REDUCE_PRINT(Rule)
#endif /* !YYDEBUG */
+
/* YYINITDEPTH -- initial size of the parser's stacks. */
#ifndef YYINITDEPTH
# define YYINITDEPTH 200
if the built-in stack extension method is used).
Do not make this value too large; the results are undefined if
- SIZE_MAX < YYSTACK_BYTES (YYMAXDEPTH)
+ YYSTACK_ALLOC_MAXIMUM < YYSTACK_BYTES (YYMAXDEPTH)
evaluated with infinite-precision integer arithmetic. */
-#if YYMAXDEPTH == 0
-# undef YYMAXDEPTH
-#endif
-
#ifndef YYMAXDEPTH
# define YYMAXDEPTH 10000
#endif
+
\f
-#ifdef YYERROR_VERBOSE
+
+#if YYERROR_VERBOSE
# ifndef yystrlen
-# if defined (__GLIBC__) && defined (_STRING_H)
+# if defined __GLIBC__ && defined _STRING_H
# define yystrlen strlen
# else
/* Return the length of YYSTR. */
+#if (defined __STDC__ || defined __C99__FUNC__ \
+ || defined __cplusplus || defined _MSC_VER)
static YYSIZE_T
-# if defined (__STDC__) || defined (__cplusplus)
yystrlen (const char *yystr)
-# else
+#else
+static YYSIZE_T
yystrlen (yystr)
- const char *yystr;
-# endif
+ const char *yystr;
+#endif
{
- register const char *yys = yystr;
-
- while (*yys++ != '\0')
+ YYSIZE_T yylen;
+ for (yylen = 0; yystr[yylen]; yylen++)
continue;
-
- return yys - yystr - 1;
+ return yylen;
}
# endif
# endif
# ifndef yystpcpy
-# if defined (__GLIBC__) && defined (_STRING_H) && defined (_GNU_SOURCE)
+# if defined __GLIBC__ && defined _STRING_H && defined _GNU_SOURCE
# define yystpcpy stpcpy
# else
/* Copy YYSRC to YYDEST, returning the address of the terminating '\0' in
YYDEST. */
+#if (defined __STDC__ || defined __C99__FUNC__ \
+ || defined __cplusplus || defined _MSC_VER)
static char *
-# if defined (__STDC__) || defined (__cplusplus)
yystpcpy (char *yydest, const char *yysrc)
-# else
+#else
+static char *
yystpcpy (yydest, yysrc)
- char *yydest;
- const char *yysrc;
-# endif
+ char *yydest;
+ const char *yysrc;
+#endif
{
- register char *yyd = yydest;
- register const char *yys = yysrc;
+ char *yyd = yydest;
+ const char *yys = yysrc;
while ((*yyd++ = *yys++) != '\0')
continue;
}
# endif
# endif
-#endif
-\f
+# ifndef yytnamerr
+/* Copy to YYRES the contents of YYSTR after stripping away unnecessary
+ quotes and backslashes, so that it's suitable for yyerror. The
+ heuristic is that double-quoting is unnecessary unless the string
+ contains an apostrophe, a comma, or backslash (other than
+ backslash-backslash). YYSTR is taken from yytname. If YYRES is
+ null, do not copy; instead, return the length of what the result
+ would have been. */
+static YYSIZE_T
+yytnamerr (char *yyres, const char *yystr)
+{
+ if (*yystr == '"')
+ {
+ YYSIZE_T yyn = 0;
+ char const *yyp = yystr;
+
+ for (;;)
+ switch (*++yyp)
+ {
+ case '\'':
+ case ',':
+ goto do_not_strip_quotes;
+
+ case '\\':
+ if (*++yyp != '\\')
+ goto do_not_strip_quotes;
+ /* Fall through. */
+ default:
+ if (yyres)
+ yyres[yyn] = *yyp;
+ yyn++;
+ break;
+
+ case '"':
+ if (yyres)
+ yyres[yyn] = '\0';
+ return yyn;
+ }
+ do_not_strip_quotes: ;
+ }
-/* The user can define YYPARSE_PARAM as the name of an argument to be passed
- into yyparse. The argument should have type void *.
- It should actually point to an object.
- Grammar actions can access the variable by casting it
- to the proper pointer type. */
+ if (! yyres)
+ return yystrlen (yystr);
-#ifdef YYPARSE_PARAM
-# if defined (__STDC__) || defined (__cplusplus)
-# define YYPARSE_PARAM_ARG void *YYPARSE_PARAM
-# define YYPARSE_PARAM_DECL
-# else
-# define YYPARSE_PARAM_ARG YYPARSE_PARAM
-# define YYPARSE_PARAM_DECL void *YYPARSE_PARAM;
+ return yystpcpy (yyres, yystr) - yyres;
+}
# endif
-#else /* !YYPARSE_PARAM */
-# define YYPARSE_PARAM_ARG
-# define YYPARSE_PARAM_DECL
-#endif /* !YYPARSE_PARAM */
-
-/* Prevent warning if -Wstrict-prototypes. */
-#ifdef __GNUC__
-# ifdef YYPARSE_PARAM
-int yyparse (void *);
-# else
-int yyparse (void);
+
+/* Copy into YYRESULT an error message about the unexpected token
+ YYCHAR while in state YYSTATE. Return the number of bytes copied,
+ including the terminating null byte. If YYRESULT is null, do not
+ copy anything; just return the number of bytes that would be
+ copied. As a special case, return 0 if an ordinary "syntax error"
+ message will do. Return YYSIZE_MAXIMUM if overflow occurs during
+ size calculation. */
+static YYSIZE_T
+yysyntax_error (char *yyresult, int yystate, int yychar)
+{
+ int yyn = yypact[yystate];
+
+ if (! (YYPACT_NINF < yyn && yyn <= YYLAST))
+ return 0;
+ else
+ {
+ int yytype = YYTRANSLATE (yychar);
+ YYSIZE_T yysize0 = yytnamerr (0, yytname[yytype]);
+ YYSIZE_T yysize = yysize0;
+ YYSIZE_T yysize1;
+ int yysize_overflow = 0;
+ enum { YYERROR_VERBOSE_ARGS_MAXIMUM = 5 };
+ char const *yyarg[YYERROR_VERBOSE_ARGS_MAXIMUM];
+ int yyx;
+
+# if 0
+ /* This is so xgettext sees the translatable formats that are
+ constructed on the fly. */
+ YY_("syntax error, unexpected %s");
+ YY_("syntax error, unexpected %s, expecting %s");
+ YY_("syntax error, unexpected %s, expecting %s or %s");
+ YY_("syntax error, unexpected %s, expecting %s or %s or %s");
+ YY_("syntax error, unexpected %s, expecting %s or %s or %s or %s");
# endif
+ char *yyfmt;
+ char const *yyf;
+ static char const yyunexpected[] = "syntax error, unexpected %s";
+ static char const yyexpecting[] = ", expecting %s";
+ static char const yyor[] = " or %s";
+ char yyformat[sizeof yyunexpected
+ + sizeof yyexpecting - 1
+ + ((YYERROR_VERBOSE_ARGS_MAXIMUM - 2)
+ * (sizeof yyor - 1))];
+ char const *yyprefix = yyexpecting;
+
+ /* Start YYX at -YYN if negative to avoid negative indexes in
+ YYCHECK. */
+ int yyxbegin = yyn < 0 ? -yyn : 0;
+
+ /* Stay within bounds of both yycheck and yytname. */
+ int yychecklim = YYLAST - yyn + 1;
+ int yyxend = yychecklim < YYNTOKENS ? yychecklim : YYNTOKENS;
+ int yycount = 1;
+
+ yyarg[0] = yytname[yytype];
+ yyfmt = yystpcpy (yyformat, yyunexpected);
+
+ for (yyx = yyxbegin; yyx < yyxend; ++yyx)
+ if (yycheck[yyx + yyn] == yyx && yyx != YYTERROR)
+ {
+ if (yycount == YYERROR_VERBOSE_ARGS_MAXIMUM)
+ {
+ yycount = 1;
+ yysize = yysize0;
+ yyformat[sizeof yyunexpected - 1] = '\0';
+ break;
+ }
+ yyarg[yycount++] = yytname[yyx];
+ yysize1 = yysize + yytnamerr (0, yytname[yyx]);
+ yysize_overflow |= (yysize1 < yysize);
+ yysize = yysize1;
+ yyfmt = yystpcpy (yyfmt, yyprefix);
+ yyprefix = yyor;
+ }
+
+ yyf = YY_(yyformat);
+ yysize1 = yysize + yystrlen (yyf);
+ yysize_overflow |= (yysize1 < yysize);
+ yysize = yysize1;
+
+ if (yysize_overflow)
+ return YYSIZE_MAXIMUM;
+
+ if (yyresult)
+ {
+ /* Avoid sprintf, as that infringes on the user's name space.
+ Don't have undefined behavior even if the translation
+ produced a string with the wrong number of "%s"s. */
+ char *yyp = yyresult;
+ int yyi = 0;
+ while ((*yyp = *yyf) != '\0')
+ {
+ if (*yyp == '%' && yyf[1] == 's' && yyi < yycount)
+ {
+ yyp += yytnamerr (yyp, yyarg[yyi++]);
+ yyf += 2;
+ }
+ else
+ {
+ yyp++;
+ yyf++;
+ }
+ }
+ }
+ return yysize;
+ }
+}
+#endif /* YYERROR_VERBOSE */
+\f
+
+/*-----------------------------------------------.
+| Release the memory associated to this symbol. |
+`-----------------------------------------------*/
+
+/*ARGSUSED*/
+#if (defined __STDC__ || defined __C99__FUNC__ \
+ || defined __cplusplus || defined _MSC_VER)
+static void
+yydestruct (const char *yymsg, int yytype, YYSTYPE *yyvaluep)
+#else
+static void
+yydestruct (yymsg, yytype, yyvaluep)
+ const char *yymsg;
+ int yytype;
+ YYSTYPE *yyvaluep;
#endif
+{
+ YYUSE (yyvaluep);
-/* YY_DECL_VARIABLES -- depending whether we use a pure parser,
- variables are global, or local to YYPARSE. */
-
-#define YY_DECL_NON_LSP_VARIABLES \
-/* The lookahead symbol. */ \
-int yychar; \
- \
-/* The semantic value of the lookahead symbol. */ \
-YYSTYPE yylval; \
- \
-/* Number of parse errors so far. */ \
-int yynerrs;
+ if (!yymsg)
+ yymsg = "Deleting";
+ YY_SYMBOL_PRINT (yymsg, yytype, yyvaluep, yylocationp);
+
+ switch (yytype)
+ {
+
+ default:
+ break;
+ }
+}
+\f
+
+/* Prevent warnings from -Wmissing-prototypes. */
-#if YYLSP_NEEDED
-# define YY_DECL_VARIABLES \
-YY_DECL_NON_LSP_VARIABLES \
- \
-/* Location data for the lookahead symbol. */ \
-YYLTYPE yylloc;
+#ifdef YYPARSE_PARAM
+#if defined __STDC__ || defined __cplusplus
+int yyparse (void *YYPARSE_PARAM);
+#else
+int yyparse ();
+#endif
+#else /* ! YYPARSE_PARAM */
+#if defined __STDC__ || defined __cplusplus
+int yyparse (void);
#else
-# define YY_DECL_VARIABLES \
-YY_DECL_NON_LSP_VARIABLES
+int yyparse ();
#endif
+#endif /* ! YYPARSE_PARAM */
-/* If nonreentrant, generate the variables here. */
-#if !YYPURE
-YY_DECL_VARIABLES
-#endif /* !YYPURE */
+
+
+/*----------.
+| yyparse. |
+`----------*/
+
+#ifdef YYPARSE_PARAM
+#if (defined __STDC__ || defined __C99__FUNC__ \
+ || defined __cplusplus || defined _MSC_VER)
+int
+yyparse (void *YYPARSE_PARAM)
+#else
+int
+yyparse (YYPARSE_PARAM)
+ void *YYPARSE_PARAM;
+#endif
+#else /* ! YYPARSE_PARAM */
+#if (defined __STDC__ || defined __C99__FUNC__ \
+ || defined __cplusplus || defined _MSC_VER)
int
-yyparse (YYPARSE_PARAM_ARG)
- YYPARSE_PARAM_DECL
+yyparse (void)
+#else
+int
+yyparse ()
+
+#endif
+#endif
{
- /* If reentrant, generate the variables here. */
-#if YYPURE
- YY_DECL_VARIABLES
-#endif /* !YYPURE */
+ /* The look-ahead symbol. */
+int yychar;
+
+/* The semantic value of the look-ahead symbol. */
+YYSTYPE yylval;
+
+/* Number of syntax errors so far. */
+int yynerrs;
- register int yystate;
- register int yyn;
+ int yystate;
+ int yyn;
int yyresult;
/* Number of tokens to shift before error messages enabled. */
int yyerrstatus;
- /* Lookahead token as an internal (translated) token number. */
- int yychar1 = 0;
+ /* Look-ahead token as an internal (translated) token number. */
+ int yytoken = 0;
+#if YYERROR_VERBOSE
+ /* Buffer for error messages, and its allocated size. */
+ char yymsgbuf[128];
+ char *yymsg = yymsgbuf;
+ YYSIZE_T yymsg_alloc = sizeof yymsgbuf;
+#endif
/* Three stacks and their tools:
`yyss': related to states,
Refer to the stacks thru separate pointers, to allow yyoverflow
to reallocate them elsewhere. */
- /* The state stack. */
- short yyssa[YYINITDEPTH];
- short *yyss = yyssa;
- register short *yyssp;
+ /* The state stack. */
+ yytype_int16 yyssa[YYINITDEPTH];
+ yytype_int16 *yyss = yyssa;
+ yytype_int16 *yyssp;
/* The semantic value stack. */
YYSTYPE yyvsa[YYINITDEPTH];
YYSTYPE *yyvs = yyvsa;
- register YYSTYPE *yyvsp;
+ YYSTYPE *yyvsp;
-#if YYLSP_NEEDED
- /* The location stack. */
- YYLTYPE yylsa[YYINITDEPTH];
- YYLTYPE *yyls = yylsa;
- YYLTYPE *yylsp;
-#endif
-#if YYLSP_NEEDED
-# define YYPOPSTACK (yyvsp--, yyssp--, yylsp--)
-#else
-# define YYPOPSTACK (yyvsp--, yyssp--)
-#endif
- YYSIZE_T yystacksize = YYINITDEPTH;
+#define YYPOPSTACK(N) (yyvsp -= (N), yyssp -= (N))
+ YYSIZE_T yystacksize = YYINITDEPTH;
/* The variables used to return semantic value and location from the
action routines. */
YYSTYPE yyval;
-#if YYLSP_NEEDED
- YYLTYPE yyloc;
-#endif
- /* When reducing, the number of symbols on the RHS of the reduced
- rule. */
- int yylen;
+
+ /* The number of symbols on the RHS of the reduced rule.
+ Keep to zero when no symbol should be popped. */
+ int yylen = 0;
YYDPRINTF ((stderr, "Starting parse\n"));
yyssp = yyss;
yyvsp = yyvs;
-#if YYLSP_NEEDED
- yylsp = yyls;
-#endif
+
goto yysetstate;
/*------------------------------------------------------------.
`------------------------------------------------------------*/
yynewstate:
/* In all cases, when you get here, the value and location stacks
- have just been pushed. so pushing a state here evens the stacks.
- */
+ have just been pushed. So pushing a state here evens the stacks. */
yyssp++;
yysetstate:
*yyssp = yystate;
- if (yyssp >= yyss + yystacksize - 1)
+ if (yyss + yystacksize - 1 <= yyssp)
{
/* Get the current used size of the three stacks, in elements. */
YYSIZE_T yysize = yyssp - yyss + 1;
#ifdef yyoverflow
{
- /* Give user a chance to reallocate the stack. Use copies of
+ /* Give user a chance to reallocate the stack. Use copies of
these so that the &'s don't force the real ones into
memory. */
YYSTYPE *yyvs1 = yyvs;
- short *yyss1 = yyss;
+ yytype_int16 *yyss1 = yyss;
+
/* Each stack pointer address is followed by the size of the
- data in use in that stack, in bytes. */
-# if YYLSP_NEEDED
- YYLTYPE *yyls1 = yyls;
- /* This used to be a conditional around just the two extra args,
- but that might be undefined if yyoverflow is a macro. */
- yyoverflow ("parser stack overflow",
- &yyss1, yysize * sizeof (*yyssp),
- &yyvs1, yysize * sizeof (*yyvsp),
- &yyls1, yysize * sizeof (*yylsp),
- &yystacksize);
- yyls = yyls1;
-# else
- yyoverflow ("parser stack overflow",
+ data in use in that stack, in bytes. This used to be a
+ conditional around just the two extra args, but that might
+ be undefined if yyoverflow is a macro. */
+ yyoverflow (YY_("memory exhausted"),
&yyss1, yysize * sizeof (*yyssp),
&yyvs1, yysize * sizeof (*yyvsp),
+
&yystacksize);
-# endif
+
yyss = yyss1;
yyvs = yyvs1;
}
#else /* no yyoverflow */
# ifndef YYSTACK_RELOCATE
- goto yyoverflowlab;
+ goto yyexhaustedlab;
# else
/* Extend the stack our own way. */
- if (yystacksize >= YYMAXDEPTH)
- goto yyoverflowlab;
+ if (YYMAXDEPTH <= yystacksize)
+ goto yyexhaustedlab;
yystacksize *= 2;
- if (yystacksize > YYMAXDEPTH)
+ if (YYMAXDEPTH < yystacksize)
yystacksize = YYMAXDEPTH;
{
- short *yyss1 = yyss;
+ yytype_int16 *yyss1 = yyss;
union yyalloc *yyptr =
(union yyalloc *) YYSTACK_ALLOC (YYSTACK_BYTES (yystacksize));
if (! yyptr)
- goto yyoverflowlab;
+ goto yyexhaustedlab;
YYSTACK_RELOCATE (yyss);
YYSTACK_RELOCATE (yyvs);
-# if YYLSP_NEEDED
- YYSTACK_RELOCATE (yyls);
-# endif
-# undef YYSTACK_RELOCATE
+
+# undef YYSTACK_RELOCATE
if (yyss1 != yyssa)
YYSTACK_FREE (yyss1);
}
yyssp = yyss + yysize - 1;
yyvsp = yyvs + yysize - 1;
-#if YYLSP_NEEDED
- yylsp = yyls + yysize - 1;
-#endif
+
YYDPRINTF ((stderr, "Stack size increased to %lu\n",
(unsigned long int) yystacksize));
- if (yyssp >= yyss + yystacksize - 1)
+ if (yyss + yystacksize - 1 <= yyssp)
YYABORT;
}
goto yybackup;
-
/*-----------.
| yybackup. |
`-----------*/
yybackup:
-/* Do appropriate processing given the current state. */
-/* Read a lookahead token if we need one and don't already have one. */
-/* yyresume: */
-
- /* First try to decide what to do without reference to lookahead token. */
+ /* Do appropriate processing given the current state. Read a
+ look-ahead token if we need one and don't already have one. */
+ /* First try to decide what to do without reference to look-ahead token. */
yyn = yypact[yystate];
- if (yyn == YYFLAG)
+ if (yyn == YYPACT_NINF)
goto yydefault;
- /* Not known => get a lookahead token if don't already have one. */
-
- /* yychar is either YYEMPTY or YYEOF
- or a valid token in external form. */
+ /* Not known => get a look-ahead token if don't already have one. */
+ /* YYCHAR is either YYEMPTY or YYEOF or a valid look-ahead symbol. */
if (yychar == YYEMPTY)
{
YYDPRINTF ((stderr, "Reading a token: "));
yychar = YYLEX;
}
- /* Convert token to internal form (in yychar1) for indexing tables with */
-
- if (yychar <= 0) /* This means end of input. */
+ if (yychar <= YYEOF)
{
- yychar1 = 0;
- yychar = YYEOF; /* Don't call YYLEX any more */
-
+ yychar = yytoken = YYEOF;
YYDPRINTF ((stderr, "Now at end of input.\n"));
}
else
{
- yychar1 = YYTRANSLATE (yychar);
-
-#if YYDEBUG
- /* We have to keep this `#if YYDEBUG', since we use variables
- which are defined only if `YYDEBUG' is set. */
- if (yydebug)
- {
- YYFPRINTF (stderr, "Next token is %d (%s",
- yychar, yytname[yychar1]);
- /* Give the individual parser a way to print the precise
- meaning of a token, for further debugging info. */
-# ifdef YYPRINT
- YYPRINT (stderr, yychar, yylval);
-# endif
- YYFPRINTF (stderr, ")\n");
- }
-#endif
+ yytoken = YYTRANSLATE (yychar);
+ YY_SYMBOL_PRINT ("Next token is", yytoken, &yylval, &yylloc);
}
- yyn += yychar1;
- if (yyn < 0 || yyn > YYLAST || yycheck[yyn] != yychar1)
+ /* If the proper action on seeing token YYTOKEN is to reduce or to
+ detect an error, take that action. */
+ yyn += yytoken;
+ if (yyn < 0 || YYLAST < yyn || yycheck[yyn] != yytoken)
goto yydefault;
-
yyn = yytable[yyn];
-
- /* yyn is what to do for this token type in this state.
- Negative => reduce, -yyn is rule number.
- Positive => shift, yyn is new state.
- New state is final state => don't bother to shift,
- just return success.
- 0, or most negative number => error. */
-
- if (yyn < 0)
+ if (yyn <= 0)
{
- if (yyn == YYFLAG)
+ if (yyn == 0 || yyn == YYTABLE_NINF)
goto yyerrlab;
yyn = -yyn;
goto yyreduce;
}
- else if (yyn == 0)
- goto yyerrlab;
if (yyn == YYFINAL)
YYACCEPT;
- /* Shift the lookahead token. */
- YYDPRINTF ((stderr, "Shifting token %d (%s), ",
- yychar, yytname[yychar1]));
-
- /* Discard the token being shifted unless it is eof. */
- if (yychar != YYEOF)
- yychar = YYEMPTY;
-
- *++yyvsp = yylval;
-#if YYLSP_NEEDED
- *++yylsp = yylloc;
-#endif
-
/* Count tokens shifted since error; after three, turn off error
status. */
if (yyerrstatus)
yyerrstatus--;
+ /* Shift the look-ahead token. */
+ YY_SYMBOL_PRINT ("Shifting", yytoken, &yylval, &yylloc);
+
+ /* Discard the shifted token unless it is eof. */
+ if (yychar != YYEOF)
+ yychar = YYEMPTY;
+
yystate = yyn;
+ *++yyvsp = yylval;
+
goto yynewstate;
/* If YYLEN is nonzero, implement the default value of the action:
`$$ = $1'.
- Otherwise, the following line sets YYVAL to the semantic value of
- the lookahead token. This behavior is undocumented and Bison
+ Otherwise, the following line sets YYVAL to garbage.
+ This behavior is undocumented and Bison
users should not rely upon it. Assigning to YYVAL
unconditionally makes the parser a bit smaller, and it avoids a
GCC warning that YYVAL may be used uninitialized. */
yyval = yyvsp[1-yylen];
-#if YYLSP_NEEDED
- /* Similarly for the default location. Let the user run additional
- commands if for instance locations are ranges. */
- yyloc = yylsp[1-yylen];
- YYLLOC_DEFAULT (yyloc, (yylsp - yylen), yylen);
-#endif
-#if YYDEBUG
- /* We have to keep this `#if YYDEBUG', since we use variables which
- are defined only if `YYDEBUG' is set. */
- if (yydebug)
+ YY_REDUCE_PRINT (yyn);
+ switch (yyn)
{
- int yyi;
-
- YYFPRINTF (stderr, "Reducing via rule %d (line %d), ",
- yyn, yyrline[yyn]);
-
- /* Print the symbols being reduced, and their result. */
- for (yyi = yyprhs[yyn]; yyrhs[yyi] > 0; yyi++)
- YYFPRINTF (stderr, "%s ", yytname[yyrhs[yyi]]);
- YYFPRINTF (stderr, " -> %s\n", yytname[yyr1[yyn]]);
+ case 2:
+#line 160 "mtgrammar.y"
+ {;}
+ break;
+
+ case 3:
+#line 161 "mtgrammar.y"
+ {;}
+ break;
+
+ case 4:
+#line 166 "mtgrammar.y"
+ { mtreader_processDeclaration ((yyvsp[(2) - (3)].mtdecl)); ;}
+ break;
+
+ case 5:
+#line 168 "mtgrammar.y"
+ { mtreader_processGlobalDeclaration ((yyvsp[(3) - (4)].mtdecl)); ;}
+ break;
+
+ case 6:
+#line 173 "mtgrammar.y"
+ { (yyval.mtdecl) = mtDeclarationNode_create ((yyvsp[(1) - (2)].tok), (yyvsp[(2) - (2)].mtpieces)); ;}
+ break;
+
+ case 7:
+#line 177 "mtgrammar.y"
+ { (yyval.mtpieces) = mtDeclarationPieces_create (); ;}
+ break;
+
+ case 8:
+#line 179 "mtgrammar.y"
+ { (yyval.mtpieces) = mtDeclarationPieces_append ((yyvsp[(2) - (2)].mtpieces), (yyvsp[(1) - (2)].mtpiece)); ;}
+ break;
+
+ case 9:
+#line 183 "mtgrammar.y"
+ { (yyval.mtpiece) = mtDeclarationPiece_createContext ((yyvsp[(1) - (1)].mtcontext)); ;}
+ break;
+
+ case 10:
+#line 184 "mtgrammar.y"
+ { (yyval.mtpiece) = mtDeclarationPiece_createValues ((yyvsp[(1) - (1)].mtvalues)); ;}
+ break;
+
+ case 11:
+#line 185 "mtgrammar.y"
+ { (yyval.mtpiece) = mtDeclarationPiece_createDefaults ((yyvsp[(1) - (1)].mtdefaults)); ;}
+ break;
+
+ case 12:
+#line 186 "mtgrammar.y"
+ { (yyval.mtpiece) = mtDeclarationPiece_createValueDefault ((yyvsp[(1) - (1)].tok)); ;}
+ break;
+
+ case 13:
+#line 187 "mtgrammar.y"
+ { (yyval.mtpiece) = mtDeclarationPiece_createAnnotations ((yyvsp[(1) - (1)].mtannotations)); ;}
+ break;
+
+ case 14:
+#line 188 "mtgrammar.y"
+ { (yyval.mtpiece) = mtDeclarationPiece_createMerge ((yyvsp[(1) - (1)].mtmerge)); ;}
+ break;
+
+ case 15:
+#line 189 "mtgrammar.y"
+ { (yyval.mtpiece) = mtDeclarationPiece_createTransfers ((yyvsp[(1) - (1)].mttransferclauselist)); ;}
+ break;
+
+ case 16:
+#line 190 "mtgrammar.y"
+ { (yyval.mtpiece) = mtDeclarationPiece_createPreconditions ((yyvsp[(1) - (1)].mttransferclauselist)); ;}
+ break;
+
+ case 17:
+#line 191 "mtgrammar.y"
+ { (yyval.mtpiece) = mtDeclarationPiece_createPostconditions ((yyvsp[(1) - (1)].mttransferclauselist)); ;}
+ break;
+
+ case 18:
+#line 192 "mtgrammar.y"
+ { (yyval.mtpiece) = mtDeclarationPiece_createLosers ((yyvsp[(1) - (1)].mtlosereferencelist)); ;}
+ break;
+
+ case 19:
+#line 196 "mtgrammar.y"
+ { (yyval.mtcontext) = (yyvsp[(2) - (2)].mtcontext); ;}
+ break;
+
+ case 20:
+#line 201 "mtgrammar.y"
+ { (yyval.mtcontext) = mtContextNode_createAny (); ;}
+ break;
+
+ case 22:
+#line 206 "mtgrammar.y"
+ { (yyval.mtcontext) = mtContextNode_createParameter ((yyvsp[(2) - (2)].ctyp)); ;}
+ break;
+
+ case 23:
+#line 207 "mtgrammar.y"
+ { (yyval.mtcontext) = mtContextNode_createReference ((yyvsp[(2) - (2)].ctyp)); ;}
+ break;
+
+ case 24:
+#line 208 "mtgrammar.y"
+ { (yyval.mtcontext) = mtContextNode_createResult ((yyvsp[(2) - (2)].ctyp)); ;}
+ break;
+
+ case 25:
+#line 209 "mtgrammar.y"
+ { (yyval.mtcontext) = mtContextNode_createClause ((yyvsp[(2) - (2)].ctyp)); ;}
+ break;
+
+ case 26:
+#line 210 "mtgrammar.y"
+ { (yyval.mtcontext) = mtContextNode_createLiteral ((yyvsp[(2) - (2)].ctyp)); ;}
+ break;
+
+ case 27:
+#line 211 "mtgrammar.y"
+ { (yyval.mtcontext) = mtContextNode_createNull ((yyvsp[(2) - (2)].ctyp)); ;}
+ break;
+
+ case 28:
+#line 219 "mtgrammar.y"
+ { (yyval.ctyp) = ctype_unknown; ;}
+ break;
+
+ case 29:
+#line 220 "mtgrammar.y"
+ { DPRINTF (("Type: %s", qtype_unparse ((yyvsp[(1) - (1)].qtyp)))); (yyval.ctyp) = qtype_getType ((yyvsp[(1) - (1)].qtyp)); ;}
+ break;
+
+ case 31:
+#line 225 "mtgrammar.y"
+ { (yyval.qtyp) = qtype_newBase ((yyvsp[(1) - (2)].qtyp), (yyvsp[(2) - (2)].ctyp)); ;}
+ break;
+
+ case 32:
+#line 229 "mtgrammar.y"
+ { (yyval.qtyp) = (yyvsp[(1) - (1)].qtyp); ;}
+ break;
+
+ case 33:
+#line 231 "mtgrammar.y"
+ { (yyval.qtyp) = qtype_mergeAlt ((yyvsp[(1) - (3)].qtyp), (yyvsp[(3) - (3)].qtyp)); ;}
+ break;
+
+ case 34:
+#line 235 "mtgrammar.y"
+ { (yyval.qtyp) = qtype_combine ((yyvsp[(2) - (2)].qtyp), (yyvsp[(1) - (2)].ctyp)); ;}
+ break;
+
+ case 35:
+#line 239 "mtgrammar.y"
+ { (yyval.qtyp) = qtype_unknown (); ;}
+ break;
+
+ case 36:
+#line 240 "mtgrammar.y"
+ { (yyval.qtyp) = (yyvsp[(1) - (1)].qtyp); ;}
+ break;
+
+ case 37:
+#line 244 "mtgrammar.y"
+ { (yyval.ctyp) = ctype_adjustPointers ((yyvsp[(1) - (1)].pointers), ctype_unknown); ;}
+ break;
+
+ case 39:
+#line 246 "mtgrammar.y"
+ { (yyval.ctyp) = ctype_adjustPointers ((yyvsp[(1) - (2)].pointers), (yyvsp[(2) - (2)].ctyp)); ;}
+ break;
+
+ case 40:
+#line 250 "mtgrammar.y"
+ { (yyval.pointers) = pointers_createMt ((yyvsp[(1) - (1)].tok)); ;}
+ break;
+
+ case 41:
+#line 251 "mtgrammar.y"
+ { (yyval.pointers) = pointers_createModsMt ((yyvsp[(1) - (2)].tok), (yyvsp[(2) - (2)].quals)); ;}
+ break;
+
+ case 42:
+#line 252 "mtgrammar.y"
+ { (yyval.pointers) = pointers_extend (pointers_createMt ((yyvsp[(1) - (2)].tok)), (yyvsp[(2) - (2)].pointers)); ;}
+ break;
+
+ case 43:
+#line 253 "mtgrammar.y"
+ { (yyval.pointers) = pointers_extend (pointers_createModsMt ((yyvsp[(1) - (3)].tok), (yyvsp[(2) - (3)].quals)), (yyvsp[(3) - (3)].pointers)); ;}
+ break;
+
+ case 44:
+#line 257 "mtgrammar.y"
+ { (yyval.qual) = qual_createConst (); ;}
+ break;
+
+ case 45:
+#line 258 "mtgrammar.y"
+ { (yyval.qual) = qual_createVolatile (); ;}
+ break;
+
+ case 46:
+#line 259 "mtgrammar.y"
+ { (yyval.qual) = qual_createRestrict (); ;}
+ break;
+
+ case 47:
+#line 263 "mtgrammar.y"
+ { (yyval.quals) = qualList_single ((yyvsp[(1) - (1)].qual)); ;}
+ break;
+
+ case 48:
+#line 264 "mtgrammar.y"
+ { (yyval.quals) = qualList_add ((yyvsp[(1) - (2)].quals), (yyvsp[(2) - (2)].qual)); ;}
+ break;
+
+ case 49:
+#line 268 "mtgrammar.y"
+ { (yyval.ctyp) = ctype_expectFunction ((yyvsp[(2) - (3)].ctyp)); ;}
+ break;
+
+ case 50:
+#line 269 "mtgrammar.y"
+ { (yyval.ctyp) = ctype_makeArray (ctype_unknown); ;}
+ break;
+
+ case 51:
+#line 270 "mtgrammar.y"
+ { (yyval.ctyp) = ctype_makeArray ((yyvsp[(1) - (3)].ctyp)); ;}
+ break;
+
+ case 52:
+#line 278 "mtgrammar.y"
+ { (yyval.ctyp) = ctype_char; ;}
+ break;
+
+ case 53:
+#line 279 "mtgrammar.y"
+ { (yyval.ctyp) = ctype_int; ;}
+ break;
+
+ case 54:
+#line 280 "mtgrammar.y"
+ { (yyval.ctyp) = ctype_float; ;}
+ break;
+
+ case 55:
+#line 281 "mtgrammar.y"
+ { (yyval.ctyp) = ctype_double; ;}
+ break;
+
+ case 56:
+#line 282 "mtgrammar.y"
+ { (yyval.ctyp) = ctype_void; ;}
+ break;
+
+ case 57:
+#line 283 "mtgrammar.y"
+ { (yyval.ctyp) = ctype_unknown; ;}
+ break;
+
+ case 58:
+#line 284 "mtgrammar.y"
+ { (yyval.ctyp) = ctype_anyintegral; ;}
+ break;
+
+ case 59:
+#line 285 "mtgrammar.y"
+ { (yyval.ctyp) = ctype_unsignedintegral; ;}
+ break;
+
+ case 60:
+#line 286 "mtgrammar.y"
+ { (yyval.ctyp) = ctype_signedintegral; ;}
+ break;
+
+ case 62:
+#line 294 "mtgrammar.y"
+ { (yyval.ctyp) = mtscanner_lookupType ((yyvsp[(1) - (1)].tok)); ;}
+ break;
+
+ case 63:
+#line 298 "mtgrammar.y"
+ { (yyval.mtvalues) = mtValuesNode_create ((yyvsp[(2) - (2)].cstringlist)); ;}
+ break;
+
+ case 64:
+#line 302 "mtgrammar.y"
+ { (yyval.cstringlist) = cstringList_single (mttok_getText ((yyvsp[(1) - (1)].tok))); ;}
+ break;
+
+ case 65:
+#line 304 "mtgrammar.y"
+ { (yyval.cstringlist) = cstringList_prepend ((yyvsp[(3) - (3)].cstringlist), mttok_getText ((yyvsp[(1) - (3)].tok))); ;}
+ break;
+
+ case 66:
+#line 308 "mtgrammar.y"
+ { (yyval.tok) = (yyvsp[(2) - (2)].tok); ;}
+ break;
+
+ case 67:
+#line 312 "mtgrammar.y"
+ { (yyval.mtdefaults) = mtDefaultsNode_create ((yyvsp[(1) - (2)].tok), (yyvsp[(2) - (2)].mtdeflist)); ;}
+ break;
+
+ case 68:
+#line 317 "mtgrammar.y"
+ { (yyval.mtdeflist) = mtDefaultsDeclList_single (mtDefaultsDecl_create ((yyvsp[(1) - (3)].mtcontext), (yyvsp[(3) - (3)].tok))); ;}
+ break;
+
+ case 69:
+#line 319 "mtgrammar.y"
+ { (yyval.mtdeflist) = mtDefaultsDeclList_prepend ((yyvsp[(4) - (4)].mtdeflist), mtDefaultsDecl_create ((yyvsp[(1) - (4)].mtcontext), (yyvsp[(3) - (4)].tok))); ;}
+ break;
+
+ case 70:
+#line 323 "mtgrammar.y"
+ { (yyval.mtannotations) = mtAnnotationsNode_create ((yyvsp[(2) - (2)].mtannotlist)); ;}
+ break;
+
+ case 71:
+#line 327 "mtgrammar.y"
+ { (yyval.mtannotlist) = mtAnnotationList_single ((yyvsp[(1) - (1)].mtannotdecl)); ;}
+ break;
+
+ case 72:
+#line 329 "mtgrammar.y"
+ { (yyval.mtannotlist) = mtAnnotationList_prepend ((yyvsp[(2) - (2)].mtannotlist), (yyvsp[(1) - (2)].mtannotdecl)); ;}
+ break;
+
+ case 73:
+#line 334 "mtgrammar.y"
+ { (yyval.mtannotdecl) = mtAnnotationDecl_create ((yyvsp[(1) - (4)].tok), (yyvsp[(2) - (4)].mtcontext), (yyvsp[(4) - (4)].tok)); ;}
+ break;
+
+ case 74:
+#line 338 "mtgrammar.y"
+ { (yyval.mtmerge) = mtMergeNode_create ((yyvsp[(2) - (2)].mtmergeclauselist)); ;}
+ break;
+
+ case 75:
+#line 342 "mtgrammar.y"
+ { (yyval.mtmergeclauselist) = mtMergeClauseList_single ((yyvsp[(1) - (1)].mtmergeclause)); ;}
+ break;
+
+ case 76:
+#line 343 "mtgrammar.y"
+ { (yyval.mtmergeclauselist) = mtMergeClauseList_prepend ((yyvsp[(2) - (2)].mtmergeclauselist), (yyvsp[(1) - (2)].mtmergeclause)); ;}
+ break;
+
+ case 77:
+#line 348 "mtgrammar.y"
+ { (yyval.mtmergeclause) = mtMergeClause_create ((yyvsp[(1) - (5)].mtmergeitem), (yyvsp[(3) - (5)].mtmergeitem), (yyvsp[(5) - (5)].mttransferaction)); ;}
+ break;
+
+ case 78:
+#line 352 "mtgrammar.y"
+ { (yyval.mtmergeitem) = mtMergeItem_createValue ((yyvsp[(1) - (1)].tok)); ;}
+ break;
+
+ case 79:
+#line 353 "mtgrammar.y"
+ { (yyval.mtmergeitem) = mtMergeItem_createStar ((yyvsp[(1) - (1)].tok)); ;}
+ break;
+
+ case 80:
+#line 357 "mtgrammar.y"
+ { (yyval.mttransferclauselist) = (yyvsp[(2) - (2)].mttransferclauselist); ;}
+ break;
+
+ case 81:
+#line 361 "mtgrammar.y"
+ { (yyval.mttransferclauselist) = (yyvsp[(2) - (2)].mttransferclauselist); ;}
+ break;
+
+ case 82:
+#line 365 "mtgrammar.y"
+ { (yyval.mttransferclauselist) = (yyvsp[(2) - (2)].mttransferclauselist); ;}
+ break;
+
+ case 83:
+#line 369 "mtgrammar.y"
+ { (yyval.mtlosereferencelist) = (yyvsp[(2) - (2)].mtlosereferencelist); ;}
+ break;
+
+ case 84:
+#line 373 "mtgrammar.y"
+ { (yyval.mtlosereferencelist) = mtLoseReferenceList_single ((yyvsp[(1) - (1)].mtlosereference)); ;}
+ break;
+
+ case 85:
+#line 374 "mtgrammar.y"
+ { (yyval.mtlosereferencelist) = mtLoseReferenceList_prepend ((yyvsp[(2) - (2)].mtlosereferencelist), (yyvsp[(1) - (2)].mtlosereference)); ;}
+ break;
+
+ case 86:
+#line 378 "mtgrammar.y"
+ { (yyval.mtlosereference) = mtLoseReference_create ((yyvsp[(1) - (3)].tok), (yyvsp[(3) - (3)].mttransferaction)); ;}
+ break;
+
+ case 87:
+#line 382 "mtgrammar.y"
+ { (yyval.mttransferclauselist) = mtTransferClauseList_single ((yyvsp[(1) - (1)].mttransferclause)); ;}
+ break;
+
+ case 88:
+#line 383 "mtgrammar.y"
+ { (yyval.mttransferclauselist) = mtTransferClauseList_prepend ((yyvsp[(2) - (2)].mttransferclauselist), (yyvsp[(1) - (2)].mttransferclause)); ;}
+ break;
+
+ case 89:
+#line 388 "mtgrammar.y"
+ { (yyval.mttransferclause) = mtTransferClause_create ((yyvsp[(1) - (5)].tok), (yyvsp[(3) - (5)].tok), (yyvsp[(5) - (5)].mttransferaction)); ;}
+ break;
+
+ case 90:
+#line 392 "mtgrammar.y"
+ { (yyval.mttransferaction) = mtTransferAction_createValue ((yyvsp[(1) - (1)].tok)); ;}
+ break;
+
+ case 91:
+#line 393 "mtgrammar.y"
+ { (yyval.mttransferaction) = (yyvsp[(1) - (1)].mttransferaction); ;}
+ break;
+
+ case 92:
+#line 397 "mtgrammar.y"
+ { (yyval.mttransferaction) = mtTransferAction_createError ((yyvsp[(1) - (1)].tok)); ;}
+ break;
+
+ case 93:
+#line 398 "mtgrammar.y"
+ { (yyval.mttransferaction) = mtTransferAction_createErrorMessage ((yyvsp[(2) - (2)].tok)); ;}
+ break;
+
+
+/* Line 1267 of yacc.c. */
+#line 2053 "mtgrammar.tab.c"
+ default: break;
}
-#endif
+ YY_SYMBOL_PRINT ("-> $$ =", yyr1[yyn], &yyval, &yyloc);
- switch (yyn) {
-
-case 1:
-{;
- break;}
-case 2:
-{;
- break;}
-case 3:
-{ mtreader_processDeclaration (yyvsp[-1].mtdecl); ;
- break;}
-case 4:
-{ mtreader_processGlobalDeclaration (yyvsp[-1].mtdecl); ;
- break;}
-case 5:
-{ yyval.mtdecl = mtDeclarationNode_create (yyvsp[-1].tok, yyvsp[0].mtpieces); ;
- break;}
-case 6:
-{ yyval.mtpieces = mtDeclarationPieces_create (); ;
- break;}
-case 7:
-{ yyval.mtpieces = mtDeclarationPieces_append (yyvsp[0].mtpieces, yyvsp[-1].mtpiece); ;
- break;}
-case 8:
-{ yyval.mtpiece = mtDeclarationPiece_createContext (yyvsp[0].mtcontext); ;
- break;}
-case 9:
-{ yyval.mtpiece = mtDeclarationPiece_createValues (yyvsp[0].mtvalues); ;
- break;}
-case 10:
-{ yyval.mtpiece = mtDeclarationPiece_createDefaults (yyvsp[0].mtdefaults); ;
- break;}
-case 11:
-{ yyval.mtpiece = mtDeclarationPiece_createValueDefault (yyvsp[0].tok); ;
- break;}
-case 12:
-{ yyval.mtpiece = mtDeclarationPiece_createAnnotations (yyvsp[0].mtannotations); ;
- break;}
-case 13:
-{ yyval.mtpiece = mtDeclarationPiece_createMerge (yyvsp[0].mtmerge); ;
- break;}
-case 14:
-{ yyval.mtpiece = mtDeclarationPiece_createTransfers (yyvsp[0].mttransferclauselist); ;
- break;}
-case 15:
-{ yyval.mtpiece = mtDeclarationPiece_createPreconditions (yyvsp[0].mttransferclauselist); ;
- break;}
-case 16:
-{ yyval.mtpiece = mtDeclarationPiece_createPostconditions (yyvsp[0].mttransferclauselist); ;
- break;}
-case 17:
-{ yyval.mtpiece = mtDeclarationPiece_createLosers (yyvsp[0].mtlosereferencelist); ;
- break;}
-case 18:
-{ yyval.mtcontext = yyvsp[0].mtcontext; ;
- break;}
-case 19:
-{ yyval.mtcontext = mtContextNode_createAny (); ;
- break;}
-case 21:
-{ yyval.mtcontext = mtContextNode_createParameter (yyvsp[0].ctyp); ;
- break;}
-case 22:
-{ yyval.mtcontext = mtContextNode_createReference (yyvsp[0].ctyp); ;
- break;}
-case 23:
-{ yyval.mtcontext = mtContextNode_createResult (yyvsp[0].ctyp); ;
- break;}
-case 24:
-{ yyval.mtcontext = mtContextNode_createClause (yyvsp[0].ctyp); ;
- break;}
-case 25:
-{ yyval.mtcontext = mtContextNode_createLiteral (yyvsp[0].ctyp); ;
- break;}
-case 26:
-{ yyval.mtcontext = mtContextNode_createNull (yyvsp[0].ctyp); ;
- break;}
-case 27:
-{ yyval.ctyp = ctype_unknown; ;
- break;}
-case 28:
-{ DPRINTF (("Type: %s", qtype_unparse (yyvsp[0].qtyp))); yyval.ctyp = qtype_getType (yyvsp[0].qtyp); ;
- break;}
-case 30:
-{ yyval.qtyp = qtype_newBase (yyvsp[-1].qtyp, yyvsp[0].ctyp); ;
- break;}
-case 31:
-{ yyval.qtyp = yyvsp[0].qtyp; ;
- break;}
-case 32:
-{ yyval.qtyp = qtype_mergeAlt (yyvsp[-2].qtyp, yyvsp[0].qtyp); ;
- break;}
-case 33:
-{ yyval.qtyp = qtype_combine (yyvsp[0].qtyp, yyvsp[-1].ctyp); ;
- break;}
-case 34:
-{ yyval.qtyp = qtype_unknown (); ;
- break;}
-case 35:
-{ yyval.qtyp = yyvsp[0].qtyp; ;
- break;}
-case 36:
-{ yyval.ctyp = ctype_adjustPointers (yyvsp[0].pointers, ctype_unknown); ;
- break;}
-case 38:
-{ yyval.ctyp = ctype_adjustPointers (yyvsp[-1].pointers, yyvsp[0].ctyp); ;
- break;}
-case 39:
-{ yyval.pointers = pointers_createMt (yyvsp[0].tok); ;
- break;}
-case 40:
-{ yyval.pointers = pointers_createModsMt (yyvsp[-1].tok, yyvsp[0].quals); ;
- break;}
-case 41:
-{ yyval.pointers = pointers_extend (pointers_createMt (yyvsp[-1].tok), yyvsp[0].pointers); ;
- break;}
-case 42:
-{ yyval.pointers = pointers_extend (pointers_createModsMt (yyvsp[-2].tok, yyvsp[-1].quals), yyvsp[0].pointers); ;
- break;}
-case 43:
-{ yyval.qual = qual_createConst (); ;
- break;}
-case 44:
-{ yyval.qual = qual_createVolatile (); ;
- break;}
-case 45:
-{ yyval.qual = qual_createRestrict (); ;
- break;}
-case 46:
-{ yyval.quals = qualList_single (yyvsp[0].qual); ;
- break;}
-case 47:
-{ yyval.quals = qualList_add (yyvsp[-1].quals, yyvsp[0].qual); ;
- break;}
-case 48:
-{ yyval.ctyp = ctype_expectFunction (yyvsp[-1].ctyp); ;
- break;}
-case 49:
-{ yyval.ctyp = ctype_makeArray (ctype_unknown); ;
- break;}
-case 50:
-{ yyval.ctyp = ctype_makeArray (yyvsp[-2].ctyp); ;
- break;}
-case 51:
-{ yyval.ctyp = ctype_char; ;
- break;}
-case 52:
-{ yyval.ctyp = ctype_int; ;
- break;}
-case 53:
-{ yyval.ctyp = ctype_float; ;
- break;}
-case 54:
-{ yyval.ctyp = ctype_double; ;
- break;}
-case 55:
-{ yyval.ctyp = ctype_void; ;
- break;}
-case 56:
-{ yyval.ctyp = ctype_unknown; ;
- break;}
-case 57:
-{ yyval.ctyp = ctype_anyintegral; ;
- break;}
-case 58:
-{ yyval.ctyp = ctype_unsignedintegral; ;
- break;}
-case 59:
-{ yyval.ctyp = ctype_signedintegral; ;
- break;}
-case 61:
-{ yyval.ctyp = mtscanner_lookupType (yyvsp[0].tok); ;
- break;}
-case 62:
-{ yyval.mtvalues = mtValuesNode_create (yyvsp[0].cstringlist); ;
- break;}
-case 63:
-{ yyval.cstringlist = cstringList_single (mttok_getText (yyvsp[0].tok)); ;
- break;}
-case 64:
-{ yyval.cstringlist = cstringList_prepend (yyvsp[0].cstringlist, mttok_getText (yyvsp[-2].tok)); ;
- break;}
-case 65:
-{ yyval.tok = yyvsp[0].tok; ;
- break;}
-case 66:
-{ yyval.mtdefaults = mtDefaultsNode_create (yyvsp[-1].tok, yyvsp[0].mtdeflist); ;
- break;}
-case 67:
-{ yyval.mtdeflist = mtDefaultsDeclList_single (mtDefaultsDecl_create (yyvsp[-2].mtcontext, yyvsp[0].tok)); ;
- break;}
-case 68:
-{ yyval.mtdeflist = mtDefaultsDeclList_prepend (yyvsp[0].mtdeflist, mtDefaultsDecl_create (yyvsp[-3].mtcontext, yyvsp[-1].tok)); ;
- break;}
-case 69:
-{ yyval.mtannotations = mtAnnotationsNode_create (yyvsp[0].mtannotlist); ;
- break;}
-case 70:
-{ yyval.mtannotlist = mtAnnotationList_single (yyvsp[0].mtannotdecl); ;
- break;}
-case 71:
-{ yyval.mtannotlist = mtAnnotationList_prepend (yyvsp[0].mtannotlist, yyvsp[-1].mtannotdecl); ;
- break;}
-case 72:
-{ yyval.mtannotdecl = mtAnnotationDecl_create (yyvsp[-3].tok, yyvsp[-2].mtcontext, yyvsp[0].tok); ;
- break;}
-case 73:
-{ yyval.mtmerge = mtMergeNode_create (yyvsp[0].mtmergeclauselist); ;
- break;}
-case 74:
-{ yyval.mtmergeclauselist = mtMergeClauseList_single (yyvsp[0].mtmergeclause); ;
- break;}
-case 75:
-{ yyval.mtmergeclauselist = mtMergeClauseList_prepend (yyvsp[0].mtmergeclauselist, yyvsp[-1].mtmergeclause); ;
- break;}
-case 76:
-{ yyval.mtmergeclause = mtMergeClause_create (yyvsp[-4].mtmergeitem, yyvsp[-2].mtmergeitem, yyvsp[0].mttransferaction); ;
- break;}
-case 77:
-{ yyval.mtmergeitem = mtMergeItem_createValue (yyvsp[0].tok); ;
- break;}
-case 78:
-{ yyval.mtmergeitem = mtMergeItem_createStar (yyvsp[0].tok); ;
- break;}
-case 79:
-{ yyval.mttransferclauselist = yyvsp[0].mttransferclauselist; ;
- break;}
-case 80:
-{ yyval.mttransferclauselist = yyvsp[0].mttransferclauselist; ;
- break;}
-case 81:
-{ yyval.mttransferclauselist = yyvsp[0].mttransferclauselist; ;
- break;}
-case 82:
-{ yyval.mtlosereferencelist = yyvsp[0].mtlosereferencelist; ;
- break;}
-case 83:
-{ yyval.mtlosereferencelist = mtLoseReferenceList_single (yyvsp[0].mtlosereference); ;
- break;}
-case 84:
-{ yyval.mtlosereferencelist = mtLoseReferenceList_prepend (yyvsp[0].mtlosereferencelist, yyvsp[-1].mtlosereference); ;
- break;}
-case 85:
-{ yyval.mtlosereference = mtLoseReference_create (yyvsp[-2].tok, yyvsp[0].mttransferaction); ;
- break;}
-case 86:
-{ yyval.mttransferclauselist = mtTransferClauseList_single (yyvsp[0].mttransferclause); ;
- break;}
-case 87:
-{ yyval.mttransferclauselist = mtTransferClauseList_prepend (yyvsp[0].mttransferclauselist, yyvsp[-1].mttransferclause); ;
- break;}
-case 88:
-{ yyval.mttransferclause = mtTransferClause_create (yyvsp[-4].tok, yyvsp[-2].tok, yyvsp[0].mttransferaction); ;
- break;}
-case 89:
-{ yyval.mttransferaction = mtTransferAction_createValue (yyvsp[0].tok); ;
- break;}
-case 90:
-{ yyval.mttransferaction = yyvsp[0].mttransferaction; ;
- break;}
-case 91:
-{ yyval.mttransferaction = mtTransferAction_createError (yyvsp[0].tok); ;
- break;}
-case 92:
-{ yyval.mttransferaction = mtTransferAction_createErrorMessage (yyvsp[0].tok); ;
- break;}
-}
-
-
-\f
- yyvsp -= yylen;
- yyssp -= yylen;
-#if YYLSP_NEEDED
- yylsp -= yylen;
-#endif
-
-#if YYDEBUG
- if (yydebug)
- {
- short *yyssp1 = yyss - 1;
- YYFPRINTF (stderr, "state stack now");
- while (yyssp1 != yyssp)
- YYFPRINTF (stderr, " %d", *++yyssp1);
- YYFPRINTF (stderr, "\n");
- }
-#endif
+ YYPOPSTACK (yylen);
+ yylen = 0;
+ YY_STACK_PRINT (yyss, yyssp);
*++yyvsp = yyval;
-#if YYLSP_NEEDED
- *++yylsp = yyloc;
-#endif
+
/* Now `shift' the result of the reduction. Determine what state
that goes to, based on the state we popped back to and the rule
yyn = yyr1[yyn];
- yystate = yypgoto[yyn - YYNTBASE] + *yyssp;
- if (yystate >= 0 && yystate <= YYLAST && yycheck[yystate] == *yyssp)
+ yystate = yypgoto[yyn - YYNTOKENS] + *yyssp;
+ if (0 <= yystate && yystate <= YYLAST && yycheck[yystate] == *yyssp)
yystate = yytable[yystate];
else
- yystate = yydefgoto[yyn - YYNTBASE];
+ yystate = yydefgoto[yyn - YYNTOKENS];
goto yynewstate;
if (!yyerrstatus)
{
++yynerrs;
-
-#ifdef YYERROR_VERBOSE
- yyn = yypact[yystate];
-
- if (yyn > YYFLAG && yyn < YYLAST)
- {
- YYSIZE_T yysize = 0;
- char *yymsg;
- int yyx, yycount;
-
- yycount = 0;
- /* Start YYX at -YYN if negative to avoid negative indexes in
- YYCHECK. */
- for (yyx = yyn < 0 ? -yyn : 0;
- yyx < (int) (sizeof (yytname) / sizeof (char *)); yyx++)
- if (yycheck[yyx + yyn] == yyx)
- yysize += yystrlen (yytname[yyx]) + 15, yycount++;
- yysize += yystrlen ("parse error, unexpected ") + 1;
- yysize += yystrlen (yytname[YYTRANSLATE (yychar)]);
- yymsg = (char *) YYSTACK_ALLOC (yysize);
- if (yymsg != 0)
- {
- char *yyp = yystpcpy (yymsg, "parse error, unexpected ");
- yyp = yystpcpy (yyp, yytname[YYTRANSLATE (yychar)]);
-
- if (yycount < 5)
- {
- yycount = 0;
- for (yyx = yyn < 0 ? -yyn : 0;
- yyx < (int) (sizeof (yytname) / sizeof (char *));
- yyx++)
- if (yycheck[yyx + yyn] == yyx)
- {
- const char *yyq = ! yycount ? ", expecting " : " or ";
- yyp = yystpcpy (yyp, yyq);
- yyp = yystpcpy (yyp, yytname[yyx]);
- yycount++;
- }
- }
- yyerror (yymsg);
+#if ! YYERROR_VERBOSE
+ yyerror (YY_("syntax error"));
+#else
+ {
+ YYSIZE_T yysize = yysyntax_error (0, yystate, yychar);
+ if (yymsg_alloc < yysize && yymsg_alloc < YYSTACK_ALLOC_MAXIMUM)
+ {
+ YYSIZE_T yyalloc = 2 * yysize;
+ if (! (yysize <= yyalloc && yyalloc <= YYSTACK_ALLOC_MAXIMUM))
+ yyalloc = YYSTACK_ALLOC_MAXIMUM;
+ if (yymsg != yymsgbuf)
YYSTACK_FREE (yymsg);
- }
- else
- yyerror ("parse error; also virtual memory exhausted");
- }
- else
-#endif /* defined (YYERROR_VERBOSE) */
- yyerror ("parse error");
+ yymsg = (char *) YYSTACK_ALLOC (yyalloc);
+ if (yymsg)
+ yymsg_alloc = yyalloc;
+ else
+ {
+ yymsg = yymsgbuf;
+ yymsg_alloc = sizeof yymsgbuf;
+ }
+ }
+
+ if (0 < yysize && yysize <= yymsg_alloc)
+ {
+ (void) yysyntax_error (yymsg, yystate, yychar);
+ yyerror (yymsg);
+ }
+ else
+ {
+ yyerror (YY_("syntax error"));
+ if (yysize != 0)
+ goto yyexhaustedlab;
+ }
+ }
+#endif
}
- goto yyerrlab1;
-/*--------------------------------------------------.
-| yyerrlab1 -- error raised explicitly by an action |
-`--------------------------------------------------*/
-yyerrlab1:
+
if (yyerrstatus == 3)
{
- /* If just tried and failed to reuse lookahead token after an
+ /* If just tried and failed to reuse look-ahead token after an
error, discard it. */
- /* return failure if at end of input */
- if (yychar == YYEOF)
- YYABORT;
- YYDPRINTF ((stderr, "Discarding token %d (%s).\n",
- yychar, yytname[yychar1]));
- yychar = YYEMPTY;
+ if (yychar <= YYEOF)
+ {
+ /* Return failure if at end of input. */
+ if (yychar == YYEOF)
+ YYABORT;
+ }
+ else
+ {
+ yydestruct ("Error: discarding",
+ yytoken, &yylval);
+ yychar = YYEMPTY;
+ }
}
- /* Else will try to reuse lookahead token after shifting the error
+ /* Else will try to reuse look-ahead token after shifting the error
token. */
+ goto yyerrlab1;
- yyerrstatus = 3; /* Each real token shifted decrements this */
-
- goto yyerrhandle;
+/*---------------------------------------------------.
+| yyerrorlab -- error raised explicitly by YYERROR. |
+`---------------------------------------------------*/
+yyerrorlab:
-/*-------------------------------------------------------------------.
-| yyerrdefault -- current state does not do anything special for the |
-| error token. |
-`-------------------------------------------------------------------*/
-yyerrdefault:
-#if 0
- /* This is wrong; only states that explicitly want error tokens
- should shift them. */
+ /* Pacify compilers like GCC when the user code never invokes
+ YYERROR and the label yyerrorlab therefore never appears in user
+ code. */
+ if (/*CONSTCOND*/ 0)
+ goto yyerrorlab;
- /* If its default is to accept any token, ok. Otherwise pop it. */
- yyn = yydefact[yystate];
- if (yyn)
- goto yydefault;
-#endif
+ /* Do not reclaim the symbols of the rule which action triggered
+ this YYERROR. */
+ YYPOPSTACK (yylen);
+ yylen = 0;
+ YY_STACK_PRINT (yyss, yyssp);
+ yystate = *yyssp;
+ goto yyerrlab1;
-/*---------------------------------------------------------------.
-| yyerrpop -- pop the current state because it cannot handle the |
-| error token |
-`---------------------------------------------------------------*/
-yyerrpop:
- if (yyssp == yyss)
- YYABORT;
- yyvsp--;
- yystate = *--yyssp;
-#if YYLSP_NEEDED
- yylsp--;
-#endif
+/*-------------------------------------------------------------.
+| yyerrlab1 -- common code for both syntax error and YYERROR. |
+`-------------------------------------------------------------*/
+yyerrlab1:
+ yyerrstatus = 3; /* Each real token shifted decrements this. */
-#if YYDEBUG
- if (yydebug)
+ for (;;)
{
- short *yyssp1 = yyss - 1;
- YYFPRINTF (stderr, "Error: state stack now");
- while (yyssp1 != yyssp)
- YYFPRINTF (stderr, " %d", *++yyssp1);
- YYFPRINTF (stderr, "\n");
- }
-#endif
+ yyn = yypact[yystate];
+ if (yyn != YYPACT_NINF)
+ {
+ yyn += YYTERROR;
+ if (0 <= yyn && yyn <= YYLAST && yycheck[yyn] == YYTERROR)
+ {
+ yyn = yytable[yyn];
+ if (0 < yyn)
+ break;
+ }
+ }
-/*--------------.
-| yyerrhandle. |
-`--------------*/
-yyerrhandle:
- yyn = yypact[yystate];
- if (yyn == YYFLAG)
- goto yyerrdefault;
+ /* Pop the current state because it cannot handle the error token. */
+ if (yyssp == yyss)
+ YYABORT;
- yyn += YYTERROR;
- if (yyn < 0 || yyn > YYLAST || yycheck[yyn] != YYTERROR)
- goto yyerrdefault;
- yyn = yytable[yyn];
- if (yyn < 0)
- {
- if (yyn == YYFLAG)
- goto yyerrpop;
- yyn = -yyn;
- goto yyreduce;
+ yydestruct ("Error: popping",
+ yystos[yystate], yyvsp);
+ YYPOPSTACK (1);
+ yystate = *yyssp;
+ YY_STACK_PRINT (yyss, yyssp);
}
- else if (yyn == 0)
- goto yyerrpop;
if (yyn == YYFINAL)
YYACCEPT;
- YYDPRINTF ((stderr, "Shifting error token, "));
-
*++yyvsp = yylval;
-#if YYLSP_NEEDED
- *++yylsp = yylloc;
-#endif
+
+
+ /* Shift the error token. */
+ YY_SYMBOL_PRINT ("Shifting", yystos[yyn], yyvsp, yylsp);
yystate = yyn;
goto yynewstate;
yyresult = 1;
goto yyreturn;
-/*---------------------------------------------.
-| yyoverflowab -- parser overflow comes here. |
-`---------------------------------------------*/
-yyoverflowlab:
- yyerror ("parser stack overflow");
+#ifndef yyoverflow
+/*-------------------------------------------------.
+| yyexhaustedlab -- memory exhaustion comes here. |
+`-------------------------------------------------*/
+yyexhaustedlab:
+ yyerror (YY_("memory exhausted"));
yyresult = 2;
/* Fall through. */
+#endif
yyreturn:
+ if (yychar != YYEOF && yychar != YYEMPTY)
+ yydestruct ("Cleanup: discarding lookahead",
+ yytoken, &yylval);
+ /* Do not reclaim the symbols of the rule which action triggered
+ this YYABORT or YYACCEPT. */
+ YYPOPSTACK (yylen);
+ YY_STACK_PRINT (yyss, yyssp);
+ while (yyssp != yyss)
+ {
+ yydestruct ("Cleanup: popping",
+ yystos[*yyssp], yyvsp);
+ YYPOPSTACK (1);
+ }
#ifndef yyoverflow
if (yyss != yyssa)
YYSTACK_FREE (yyss);
#endif
- return yyresult;
+#if YYERROR_VERBOSE
+ if (yymsg != yymsgbuf)
+ YYSTACK_FREE (yymsg);
+#endif
+ /* Make sure YYID is used. */
+ return YYID (yyresult);
}
+#line 405 "mtgrammar.y"
+
+
# include "bison.reset"
extern char *yytext;
+
/*
** Resets all flags in bison.head
*/
/*drl added 12/11/2002*/
/*@=type@*/
+
+/*@=enummemuse@*/
andersk / splint.git / blobdiff