X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/0c15323de7250aea9aaef638dd7390cf24ad9ce8..75ae8299840bbd854fa2474d38402bbb933c6511:/src/parse-gram.c diff --git a/src/parse-gram.c b/src/parse-gram.c index 3b29bbfa..2cf9e86c 100644 --- a/src/parse-gram.c +++ b/src/parse-gram.c @@ -1,138 +1,550 @@ -/* A Bison parser, made from parse-gram.y - by GNU bison 1.35. */ - -#define YYBISON 1 /* Identify Bison output. */ - -#define yyparse gram_parse -#define yylex gram_lex -#define yyerror gram_error -#define yylval gram_lval -#define yychar gram_char -#define yydebug gram_debug -#define yynerrs gram_nerrs -#define YYLSP_NEEDED 1 - -# define GRAM_EOF 0 -# define STRING 257 -# define CHARACTER 258 -# define INT 259 -# define PERCENT_TOKEN 260 -# define PERCENT_NTERM 261 -# define PERCENT_TYPE 262 -# define PERCENT_UNION 263 -# define PERCENT_EXPECT 264 -# define PERCENT_START 265 -# define PERCENT_LEFT 266 -# define PERCENT_RIGHT 267 -# define PERCENT_NONASSOC 268 -# define PERCENT_PREC 269 -# define PERCENT_VERBOSE 270 -# define PERCENT_ERROR_VERBOSE 271 -# define PERCENT_OUTPUT 272 -# define PERCENT_FILE_PREFIX 273 -# define PERCENT_NAME_PREFIX 274 -# define PERCENT_DEFINE 275 -# define PERCENT_PURE_PARSER 276 -# define PERCENT_DEFINES 277 -# define PERCENT_YACC 278 -# define PERCENT_DEBUG 279 -# define PERCENT_LOCATIONS 280 -# define PERCENT_NO_LINES 281 -# define PERCENT_SKELETON 282 -# define PERCENT_TOKEN_TABLE 283 -# define TYPE 284 -# define EQUAL 285 -# define SEMICOLON 286 -# define COLON 287 -# define PIPE 288 -# define ID 289 -# define PERCENT_PERCENT 290 -# define PROLOGUE 291 -# define EPILOGUE 292 -# define BRACED_CODE 293 - -#line 31 "parse-gram.y" +/* A Bison parser, made by GNU Bison 2.7.1127-02879-dirty. */ +/* Bison implementation for Yacc-like parsers in C + + Copyright (C) 1984, 1989-1990, 2000-2013 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 3 of the License, 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, see . */ + +/* 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. */ + +/* 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.7.1127-02879-dirty" + +/* Skeleton name. */ +#define YYSKELETON_NAME "yacc.c" + +/* Pure parsers. */ +#define YYPURE 2 + +/* Push parsers. */ +#define YYPUSH 0 + +/* Pull parsers. */ +#define YYPULL 1 + +/* Substitute the type names. */ +#define YYSTYPE GRAM_STYPE +#define YYLTYPE GRAM_LTYPE +/* Substitute the variable and function names. */ +#define yyparse gram_parse +#define yylex gram_lex +#define yyerror gram_error +#define yydebug gram_debug +#define yynerrs gram_nerrs + + +/* Copy the first part of user declarations. */ +#line 1 "src/parse-gram.y" /* yacc.c:356 */ +/* Bison Grammar Parser -*- C -*- + + Copyright (C) 2002-2013 Free Software Foundation, Inc. + + This file is part of Bison, the GNU Compiler Compiler. + + 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 3 of the License, 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, see . */ + +#include #include "system.h" -#include "muscle_tab.h" + +#include "c-ctype.h" +#include "complain.h" +#include "conflicts.h" #include "files.h" #include "getargs.h" -#include "output.h" #include "gram.h" +#include "named-ref.h" +#include "quotearg.h" #include "reader.h" -#include "conflicts.h" +#include "symlist.h" +#include "symtab.h" +#include "scan-gram.h" +#include "scan-code.h" +#include "xmemdup0.h" + +#define YYLLOC_DEFAULT(Current, Rhs, N) (Current) = lloc_default (Rhs, N) +static YYLTYPE lloc_default (YYLTYPE const *, int); + +#define YY_LOCATION_PRINT(File, Loc) \ + location_print (Loc, File) + +static void version_check (location const *loc, char const *version); + +static void gram_error (location const *, char const *); + +/* A string that describes a char (e.g., 'a' -> "'a'"). */ +static char const *char_name (char); + +#line 125 "src/parse-gram.c" /* yacc.c:356 */ + +# ifndef YY_NULL +# if defined __cplusplus && 201103L <= __cplusplus +# define YY_NULL nullptr +# else +# define YY_NULL 0 +# endif +# endif + +/* Enabling verbose error messages. */ +#ifdef YYERROR_VERBOSE +# undef YYERROR_VERBOSE +# define YYERROR_VERBOSE 1 +#else +# define YYERROR_VERBOSE 1 +#endif -/* Produce verbose parse errors. */ -#define YYERROR_VERBOSE 1 - -/* Pass the control structure to YYPARSE and YYLEX. */ -#define YYPARSE_PARAM gram_control -#define YYLEX_PARAM gram_control -/* YYPARSE receives GRAM_CONTROL as a void *. Provide a - correctly typed access to it. */ -#define yycontrol ((gram_control_t *) gram_control) - -/* Request detailed parse error messages, and pass them to - GRAM_ERROR. */ -#undef yyerror -#define yyerror(Msg) \ - gram_error (yycontrol, &yylloc, Msg) - -/* When debugging our pure parser, we want to see values and locations - of the tokens. */ -#define YYPRINT(File, Type, Value) \ - yyprint (File, &yylloc, Type, &Value) -static void yyprint (FILE *file, const location_t *loc, - int type, const yystype *value); - -symbol_class current_class = unknown_sym; -char *current_type = 0; -symbol_t *current_lhs; -associativity current_assoc; -int current_prec = 0; - -#line 73 "parse-gram.y" -#ifndef YYSTYPE -typedef union +/* In a future release of Bison, this section will be replaced + by #include "src/parse-gram.h". */ +#ifndef YY_GRAM_SRC_PARSE_GRAM_H_INCLUDED +# define YY_GRAM_SRC_PARSE_GRAM_H_INCLUDED +/* Debug traces. */ +#ifndef GRAM_DEBUG +# if defined YYDEBUG +#if YYDEBUG +# define GRAM_DEBUG 1 +# else +# define GRAM_DEBUG 0 +# endif +# else /* ! defined YYDEBUG */ +# define GRAM_DEBUG 1 +# endif /* ! defined YYDEBUG */ +#endif /* ! defined GRAM_DEBUG */ +#if GRAM_DEBUG +extern int gram_debug; +#endif +/* "%code requires" blocks. */ +#line 218 "src/parse-gram.y" /* yacc.c:372 */ + + typedef enum + { + param_none = 0, + param_lex = 1 << 0, + param_parse = 1 << 1, + param_both = param_lex | param_parse + } param_type; + +#line 649 "src/parse-gram.y" /* yacc.c:372 */ +#include "muscle-tab.h" + +#line 176 "src/parse-gram.c" /* yacc.c:372 */ + +/* Token type. */ +#ifndef GRAM_TOKENTYPE +# define GRAM_TOKENTYPE + enum gram_tokentype + { + GRAM_EOF = 0, + STRING = 258, + PERCENT_TOKEN = 259, + PERCENT_NTERM = 260, + PERCENT_TYPE = 261, + PERCENT_DESTRUCTOR = 262, + PERCENT_PRINTER = 263, + PERCENT_LEFT = 264, + PERCENT_RIGHT = 265, + PERCENT_NONASSOC = 266, + PERCENT_PRECEDENCE = 267, + PERCENT_PREC = 268, + PERCENT_DPREC = 269, + PERCENT_MERGE = 270, + PERCENT_CODE = 271, + PERCENT_DEFAULT_PREC = 272, + PERCENT_DEFINE = 273, + PERCENT_DEFINES = 274, + PERCENT_ERROR_VERBOSE = 275, + PERCENT_EXPECT = 276, + PERCENT_EXPECT_RR = 277, + PERCENT_FLAG = 278, + PERCENT_FILE_PREFIX = 279, + PERCENT_GLR_PARSER = 280, + PERCENT_INITIAL_ACTION = 281, + PERCENT_LANGUAGE = 282, + PERCENT_NAME_PREFIX = 283, + PERCENT_NO_DEFAULT_PREC = 284, + PERCENT_NO_LINES = 285, + PERCENT_NONDETERMINISTIC_PARSER = 286, + PERCENT_OUTPUT = 287, + PERCENT_REQUIRE = 288, + PERCENT_SKELETON = 289, + PERCENT_START = 290, + PERCENT_TOKEN_TABLE = 291, + PERCENT_VERBOSE = 292, + PERCENT_YACC = 293, + BRACED_CODE = 294, + BRACED_PREDICATE = 295, + BRACKETED_ID = 296, + CHAR = 297, + EPILOGUE = 298, + EQUAL = 299, + ID = 300, + ID_COLON = 301, + PERCENT_PERCENT = 302, + PIPE = 303, + PROLOGUE = 304, + SEMICOLON = 305, + TAG = 306, + TAG_ANY = 307, + TAG_NONE = 308, + INT = 309, + PERCENT_PARAM = 310, + PERCENT_UNION = 311, + PERCENT_EMPTY = 312 + }; +#endif + +/* Value type. */ +#if ! defined GRAM_STYPE && ! defined GRAM_STYPE_IS_DECLARED +typedef union GRAM_STYPE GRAM_STYPE; +union GRAM_STYPE { - symbol_t *symbol; - int integer; - char *string; - associativity assoc; -} yystype; -# define YYSTYPE yystype -# define YYSTYPE_IS_TRIVIAL 1 +#line 170 "src/parse-gram.y" /* yacc.c:372 */ +unsigned char character; +#line 177 "src/parse-gram.y" /* yacc.c:372 */ + + char *code; + char const *chars; + +#line 188 "src/parse-gram.y" /* yacc.c:372 */ +uniqstr uniqstr; +#line 196 "src/parse-gram.y" /* yacc.c:372 */ +int integer; +#line 200 "src/parse-gram.y" /* yacc.c:372 */ +symbol *symbol; +#line 205 "src/parse-gram.y" /* yacc.c:372 */ +assoc assoc; +#line 208 "src/parse-gram.y" /* yacc.c:372 */ +symbol_list *list; +#line 211 "src/parse-gram.y" /* yacc.c:372 */ +named_ref *named_ref; +#line 238 "src/parse-gram.y" /* yacc.c:372 */ +param_type param; +#line 413 "src/parse-gram.y" /* yacc.c:372 */ +code_props_type code_type; +#line 651 "src/parse-gram.y" /* yacc.c:372 */ + + struct + { + char const *chars; + muscle_kind kind; + } value; + + +#line 279 "src/parse-gram.c" /* yacc.c:372 */ +}; +# define GRAM_STYPE_IS_TRIVIAL 1 +# define GRAM_STYPE_IS_DECLARED 1 #endif -#ifndef YYLTYPE -typedef struct yyltype +/* Location type. */ +#if ! defined GRAM_LTYPE && ! defined GRAM_LTYPE_IS_DECLARED +typedef struct GRAM_LTYPE GRAM_LTYPE; +struct GRAM_LTYPE { int first_line; int first_column; - int last_line; int last_column; -} yyltype; +}; +# define GRAM_LTYPE_IS_DECLARED 1 +# define GRAM_LTYPE_IS_TRIVIAL 1 +#endif + + + +int gram_parse (void); + +#endif /* !YY_GRAM_SRC_PARSE_GRAM_H_INCLUDED */ + +/* Copy the second part of user declarations. */ + +#line 307 "src/parse-gram.c" /* yacc.c:375 */ +/* Unqualified %code blocks. */ +#line 53 "src/parse-gram.y" /* yacc.c:376 */ + + static int current_prec = 0; + static location current_lhs_location; + static named_ref *current_lhs_named_ref; + static symbol *current_lhs_symbol; + static symbol_class current_class = unknown_sym; + static uniqstr current_type = NULL; + + /** Set the new current left-hand side symbol, possibly common + * to several right-hand side parts of rule. + */ + static + void + current_lhs (symbol *sym, location loc, named_ref *ref) + { + current_lhs_symbol = sym; + current_lhs_location = loc; + /* In order to simplify memory management, named references for lhs + are always assigned by deep copy into the current symbol_list + node. This is because a single named-ref in the grammar may + result in several uses when the user factors lhs between several + rules using "|". Therefore free the parser's original copy. */ + free (current_lhs_named_ref); + current_lhs_named_ref = ref; + } + + #define YYTYPE_INT16 int_fast16_t + #define YYTYPE_INT8 int_fast8_t + #define YYTYPE_UINT16 uint_fast16_t + #define YYTYPE_UINT8 uint_fast8_t + +#line 228 "src/parse-gram.y" /* yacc.c:376 */ + + /** Add a lex-param and/or a parse-param. + * + * \param type where to push this formal argument. + * \param decl the formal argument. Destroyed. + * \param loc the location in the source. + */ + static void add_param (param_type type, char *decl, location loc); + static param_type current_param = param_none; + + +#line 353 "src/parse-gram.c" /* yacc.c:376 */ + +#ifdef short +# undef short +#endif + +#ifdef YYTYPE_UINT8 +typedef YYTYPE_UINT8 yytype_uint8; +#else +typedef unsigned char yytype_uint8; +#endif + +#ifdef YYTYPE_INT8 +typedef YYTYPE_INT8 yytype_int8; +#else +typedef signed char yytype_int8; +#endif + +#ifdef YYTYPE_UINT16 +typedef YYTYPE_UINT16 yytype_uint16; +#else +typedef unsigned short int yytype_uint16; +#endif -# define YYLTYPE yyltype -# define YYLTYPE_IS_TRIVIAL 1 +#ifdef YYTYPE_INT16 +typedef YYTYPE_INT16 yytype_int16; +#else +typedef short int yytype_int16; #endif -#ifndef YYDEBUG -# define YYDEBUG 1 +#ifndef YYSIZE_T +# ifdef __SIZE_TYPE__ +# define YYSIZE_T __SIZE_TYPE__ +# elif defined size_t +# define YYSIZE_T size_t +# elif ! defined YYSIZE_T +# include /* INFRINGES ON USER NAME SPACE */ +# define YYSIZE_T size_t +# else +# define YYSIZE_T unsigned int +# endif +#endif + +#define YYSIZE_MAXIMUM ((YYSIZE_T) -1) + +#ifndef YY_ +# if defined YYENABLE_NLS && YYENABLE_NLS +# if ENABLE_NLS +# include /* INFRINGES ON USER NAME SPACE */ +# define YY_(Msgid) dgettext ("bison-runtime", Msgid) +# endif +# endif +# ifndef YY_ +# define YY_(Msgid) Msgid +# endif +#endif + +/* Suppress unused-variable warnings by "using" E. */ +#ifdef __GNUC__ +# define YYUSE(E) ((void) (E)) +#else +# define YYUSE(E) /* empty */ +#endif + +#if 1 + +/* The parser invokes alloca or malloc; define the necessary symbols. */ + +# ifdef YYSTACK_ALLOC + /* Pacify GCC's 'empty if-body' warning. */ +# define YYSTACK_FREE(Ptr) do { /* empty */; } while (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 +# define YYSTACK_ALLOC YYMALLOC +# define YYSTACK_FREE YYFREE +# ifndef YYSTACK_ALLOC_MAXIMUM +# define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM +# endif +# if (defined __cplusplus && ! defined EXIT_SUCCESS \ + && ! ((defined YYMALLOC || defined malloc) \ + && (defined YYFREE || defined free))) +# include /* INFRINGES ON USER NAME SPACE */ +# ifndef EXIT_SUCCESS +# define EXIT_SUCCESS 0 +# endif +# endif +# ifndef YYMALLOC +# define YYMALLOC malloc +# if ! defined malloc && ! defined EXIT_SUCCESS +void *malloc (YYSIZE_T); /* INFRINGES ON USER NAME SPACE */ +# endif +# endif +# ifndef YYFREE +# define YYFREE free +# if ! defined free && ! defined EXIT_SUCCESS +void free (void *); /* INFRINGES ON USER NAME SPACE */ +# endif +# endif +# endif +# define YYCOPY_NEEDED 1 #endif +#if (! defined yyoverflow \ + && (! defined __cplusplus \ + || (defined GRAM_LTYPE_IS_TRIVIAL && GRAM_LTYPE_IS_TRIVIAL \ + && defined GRAM_STYPE_IS_TRIVIAL && GRAM_STYPE_IS_TRIVIAL))) -#define YYFINAL 94 -#define YYFLAG -32768 -#define YYNTBASE 41 +/* A type that is properly aligned for any stack member. */ +union yyalloc +{ + yytype_int16 yyss_alloc; + YYSTYPE yyvs_alloc; + YYLTYPE yyls_alloc; +}; -/* YYTRANSLATE(YYLEX) -- Bison token number corresponding to YYLEX. */ -#define YYTRANSLATE(x) ((unsigned)(x) <= 293 ? yytranslate[x] : 68) +/* The size of the maximum gap between one aligned stack and the next. */ +# define YYSTACK_GAP_MAXIMUM (sizeof (union yyalloc) - 1) -/* YYTRANSLATE[YYLEX] -- Bison token number corresponding to YYLEX. */ -static const char yytranslate[] = +/* The size of an array large to enough to hold all stacks, each with + N elements. */ +# define YYSTACK_BYTES(N) \ + ((N) * (sizeof (yytype_int16) + sizeof (YYSTYPE) + sizeof (YYLTYPE)) \ + + 2 * YYSTACK_GAP_MAXIMUM) + +# define YYCOPY_NEEDED 1 + +/* Relocate STACK from its old location to the new one. The + local variables YYSIZE and YYSTACKSIZE give the old and new number of + elements in the stack, and YYPTR gives the new location of the + stack. Advance YYPTR to a properly aligned location for the next + stack. */ +# define YYSTACK_RELOCATE(Stack_alloc, Stack) \ + do \ + { \ + YYSIZE_T yynewbytes; \ + YYCOPY (&yyptr->Stack_alloc, Stack, yysize); \ + Stack = &yyptr->Stack_alloc; \ + yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAXIMUM; \ + yyptr += yynewbytes / sizeof (*yyptr); \ + } \ + while (0) + +#endif + +#if defined YYCOPY_NEEDED && YYCOPY_NEEDED +/* Copy COUNT objects from SRC to DST. The source and destination do + not overlap. */ +# ifndef YYCOPY +# if defined __GNUC__ && 1 < __GNUC__ +# define YYCOPY(Dst, Src, Count) \ + __builtin_memcpy (Dst, Src, (Count) * sizeof (*(Src))) +# else +# define YYCOPY(Dst, Src, Count) \ + do \ + { \ + YYSIZE_T yyi; \ + for (yyi = 0; yyi < (Count); yyi++) \ + (Dst)[yyi] = (Src)[yyi]; \ + } \ + while (0) +# endif +# endif +#endif /* !YYCOPY_NEEDED */ + +/* YYFINAL -- State number of the termination state. */ +#define YYFINAL 3 +/* YYLAST -- Last index in YYTABLE. */ +#define YYLAST 165 + +/* YYNTOKENS -- Number of terminals. */ +#define YYNTOKENS 58 +/* YYNNTS -- Number of nonterminals. */ +#define YYNNTS 38 +/* YYNRULES -- Number of rules. */ +#define YYNRULES 111 +/* YYNSTATES -- Number of states. */ +#define YYNSTATES 145 + +/* YYTRANSLATE[YYX] -- Symbol number corresponding to YYX as returned + by yylex, with out-of-bounds checking. */ +#define YYUNDEFTOK 2 +#define YYMAXUTOK 312 + +#define YYTRANSLATE(YYX) \ + ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK) + +/* YYTRANSLATE[TOKEN-NUM] -- Symbol number corresponding to TOKEN-NUM + as returned by yylex, without out-of-bounds checking. */ +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, @@ -159,435 +571,640 @@ static const char yytranslate[] = 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 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, 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 + 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, 50, 51, 52, 53, 54, + 55, 56, 57 }; -#if YYDEBUG -static const short yyprhs[] = +#if GRAM_DEBUG + /* YYRLINE[YYN] -- Source line where rule number YYN was defined. */ +static const yytype_uint16 yyrline[] = { - 0, 0, 1, 7, 8, 11, 13, 15, 17, 21, - 23, 25, 28, 32, 34, 38, 40, 44, 46, 49, - 51, 53, 55, 57, 58, 62, 65, 66, 70, 71, - 76, 80, 81, 86, 88, 90, 92, 93, 95, 97, - 100, 102, 105, 107, 109, 112, 115, 119, 121, 124, - 126, 129, 130, 136, 138, 142, 143, 146, 149, 153, - 155, 157, 159, 161, 163, 165, 166, 169, 170 + 0, 261, 261, 270, 271, 275, 276, 286, 290, 295, + 296, 301, 307, 308, 309, 310, 315, 324, 325, 326, + 327, 328, 329, 329, 330, 331, 355, 356, 357, 358, + 362, 363, 372, 373, 374, 378, 390, 394, 398, 405, + 416, 417, 427, 428, 432, 444, 444, 449, 449, 454, + 465, 480, 481, 482, 483, 487, 488, 493, 495, 500, + 505, 515, 517, 522, 523, 527, 528, 532, 533, 534, + 539, 544, 549, 555, 561, 572, 573, 582, 583, 589, + 590, 591, 598, 598, 606, 607, 608, 613, 616, 618, + 620, 622, 624, 626, 628, 633, 634, 644, 645, 670, + 671, 672, 673, 682, 702, 704, 713, 718, 719, 724, + 732, 733 }; -static const short yyrhs[] = +#endif + +#if GRAM_DEBUG || YYERROR_VERBOSE || 1 +/* YYTNAME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM. + First, the terminals, then, starting at YYNTOKENS, nonterminals. */ +static const char *const yytname[] = { - -1, 42, 43, 37, 57, 66, 0, 0, 43, 44, - 0, 45, 0, 38, 0, 26, 0, 22, 65, 65, - 0, 24, 0, 18, 0, 11, 6, 0, 20, 32, - 65, 0, 27, 0, 21, 32, 65, 0, 28, 0, - 19, 32, 65, 0, 23, 0, 29, 65, 0, 30, - 0, 17, 0, 25, 0, 49, 0, 0, 8, 46, - 56, 0, 12, 62, 0, 0, 7, 47, 56, 0, - 0, 9, 31, 48, 53, 0, 10, 40, 67, 0, - 0, 51, 52, 50, 54, 0, 13, 0, 14, 0, - 15, 0, 0, 31, 0, 36, 0, 53, 36, 0, - 62, 0, 54, 62, 0, 31, 0, 36, 0, 36, - 6, 0, 36, 64, 0, 36, 6, 64, 0, 55, - 0, 56, 55, 0, 58, 0, 57, 58, 0, 0, - 36, 34, 59, 60, 33, 0, 61, 0, 60, 35, - 61, 0, 0, 61, 62, 0, 61, 63, 0, 61, - 16, 62, 0, 36, 0, 64, 0, 5, 0, 40, - 0, 4, 0, 4, 0, 0, 37, 39, 0, 0, - 33, 0 + "\"end of file\"", "error", "$undefined", "\"string\"", "\"%token\"", + "\"%nterm\"", "\"%type\"", "\"%destructor\"", "\"%printer\"", + "\"%left\"", "\"%right\"", "\"%nonassoc\"", "\"%precedence\"", + "\"%prec\"", "\"%dprec\"", "\"%merge\"", "\"%code\"", + "\"%default-prec\"", "\"%define\"", "\"%defines\"", "\"%error-verbose\"", + "\"%expect\"", "\"%expect-rr\"", "\"%\"", "\"%file-prefix\"", + "\"%glr-parser\"", "\"%initial-action\"", "\"%language\"", + "\"%name-prefix\"", "\"%no-default-prec\"", "\"%no-lines\"", + "\"%nondeterministic-parser\"", "\"%output\"", "\"%require\"", + "\"%skeleton\"", "\"%start\"", "\"%token-table\"", "\"%verbose\"", + "\"%yacc\"", "\"{...}\"", "\"%?{...}\"", "\"[identifier]\"", "\"char\"", + "\"epilogue\"", "\"=\"", "\"identifier\"", "\"identifier:\"", "\"%%\"", + "\"|\"", "\"%{...%}\"", "\";\"", "\"\"", "\"<*>\"", "\"<>\"", + "\"integer\"", "\"%param\"", "\"%union\"", "\"%empty\"", "$accept", + "input", "prologue_declarations", "prologue_declaration", "$@1", + "params", "grammar_declaration", "code_props_type", "union_name", + "symbol_declaration", "$@2", "$@3", "precedence_declaration", + "precedence_declarator", "tag.opt", "symbols.prec", "symbol.prec", + "symbols.1", "generic_symlist", "generic_symlist_item", "tag", + "symbol_def", "symbol_defs.1", "grammar", "rules_or_grammar_declaration", + "rules", "$@4", "rhses.1", "rhs", "named_ref.opt", "variable", "value", + "braceless", "id", "id_colon", "symbol", "string_as_id", "epilogue.opt", YY_NULL }; - #endif -#if YYDEBUG -/* YYRLINE[YYN] -- source line where rule number YYN was defined. */ -static const short yyrline[] = +# ifdef YYPRINT +/* YYTOKNUM[NUM] -- (External) token number corresponding to the + (internal) symbol number NUM (which must be that of a token). */ +static const yytype_uint16 yytoknum[] = { - 0, 132, 132, 140, 142, 145, 147, 151, 152, 153, - 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, - 164, 165, 168, 170, 170, 175, 179, 179, 184, 184, - 188, 196, 196, 203, 205, 206, 209, 211, 215, 217, - 221, 227, 236, 241, 246, 252, 258, 268, 271, 275, - 277, 280, 280, 285, 287, 290, 293, 295, 297, 301, - 303, 304, 307, 313, 322, 330, 335, 341, 343 + 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, + 305, 306, 307, 308, 309, 310, 311, 312 }; -#endif +# endif +#define YYPACT_NINF -115 -#if (YYDEBUG) || defined YYERROR_VERBOSE +#define yypact_value_is_default(Yystate) \ + (!!((Yystate) == (-115))) -/* YYTNAME[TOKEN_NUM] -- String name of the token TOKEN_NUM. */ -static const char *const yytname[] = +#define YYTABLE_NINF -111 + +#define yytable_value_is_error(Yytable_value) \ + 0 + + /* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing + STATE-NUM. */ +static const yytype_int8 yypact[] = { - "$", "error", "$undefined.", "\"end of string\"", "STRING", "CHARACTER", - "INT", "\"%token\"", "\"%nterm\"", "\"%type\"", "\"%union\"", - "\"%expect\"", "\"%start\"", "\"%left\"", "\"%right\"", "\"%nonassoc\"", - "\"%prec\"", "\"%verbose\"", "\"%error-verbose\"", "\"%output\"", - "\"%file-prefix\"", "\"%name-prefix\"", "\"%define\"", - "\"%pure-parser\"", "\"%defines\"", "\"%yacc\"", "\"%debug\"", - "\"%locations\"", "\"%no-lines\"", "\"%skeleton\"", "\"%token-table\"", - "TYPE", "\"=\"", "\";\"", "\":\"", "\"|\"", "\"identifier\"", "\"%%\"", - "PROLOGUE", "EPILOGUE", "BRACED_CODE", "input", "@1", "directives", - "directive", "grammar_directives", "@2", "@3", "@4", - "precedence_directives", "@5", "precedence_directive", "type.opt", - "nterms_to_type.1", "terms_to_prec.1", "symbol_def", "symbol_defs.1", - "gram", "rules", "@6", "rhses.1", "rhs", "symbol", "action", - "string_as_id", "string_content", "epilogue.opt", "semi_colon_opt", 0 + -115, 16, 109, -115, -115, -115, -28, -115, -115, -115, + -115, -115, -115, -14, -115, 25, 23, -115, -27, -20, + -115, 39, -115, 7, 48, 71, -115, -115, -115, 72, + 73, 74, -2, -115, -115, -115, 56, -115, -115, -115, + 33, -115, -115, 40, -115, -115, 37, 54, 54, -2, + -115, 50, -115, -115, -115, 2, -115, -115, -115, -115, + -115, -115, -115, -115, -115, -115, -115, -115, -115, -115, + -115, -115, 51, -115, 53, 3, -115, -115, 49, 65, + -115, 50, 42, -115, -2, -115, -115, 54, -1, 54, + -2, -115, -115, -115, -115, -115, -115, -115, -115, 63, + -115, -115, -115, -115, -115, 69, -115, -115, -115, -115, + 42, -115, -115, -115, -2, -115, 38, -115, 106, -115, + -115, -115, -115, -115, -115, -115, -115, -115, -15, 41, + -115, -115, -2, 57, 59, 49, -115, -115, 49, 41, + -115, -115, -115, -115, -115 }; -#endif -/* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */ -static const short yyr1[] = + /* YYDEFACT[STATE-NUM] -- Default reduction number in state STATE-NUM. + Performed when YYTABLE does not specify something else to do. Zero + means the default is an error. */ +static const yytype_uint8 yydefact[] = { - 0, 42, 41, 43, 43, 44, 44, 44, 44, 44, - 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, - 44, 44, 45, 46, 45, 45, 47, 45, 48, 45, - 45, 50, 49, 51, 51, 51, 52, 52, 53, 53, - 54, 54, 55, 55, 55, 55, 55, 56, 56, 57, - 57, 59, 58, 60, 60, 61, 61, 61, 61, 62, - 62, 62, 63, 64, 65, 66, 66, 67, 67 + 3, 0, 0, 1, 47, 45, 0, 40, 41, 51, + 52, 53, 54, 0, 36, 0, 9, 11, 0, 0, + 7, 0, 15, 0, 0, 0, 37, 19, 20, 0, + 0, 0, 0, 26, 27, 28, 0, 6, 29, 22, + 42, 4, 5, 0, 33, 32, 55, 0, 0, 0, + 103, 0, 38, 98, 97, 99, 10, 12, 13, 14, + 16, 17, 18, 21, 24, 25, 109, 105, 104, 107, + 34, 108, 0, 106, 0, 0, 77, 79, 95, 0, + 43, 0, 0, 56, 0, 70, 75, 48, 71, 46, + 49, 61, 39, 101, 100, 8, 102, 81, 80, 0, + 78, 2, 96, 82, 31, 23, 44, 67, 68, 69, + 35, 63, 66, 65, 50, 57, 59, 76, 72, 73, + 62, 111, 87, 30, 64, 58, 60, 74, 83, 84, + 87, 86, 0, 0, 0, 95, 90, 91, 95, 85, + 92, 93, 94, 89, 88 }; -/* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN. */ -static const short yyr2[] = + /* YYPGOTO[NTERM-NUM]. */ +static const yytype_int8 yypgoto[] = { - 0, 0, 5, 0, 2, 1, 1, 1, 3, 1, - 1, 2, 3, 1, 3, 1, 3, 1, 2, 1, - 1, 1, 1, 0, 3, 2, 0, 3, 0, 4, - 3, 0, 4, 1, 1, 1, 0, 1, 1, 2, - 1, 2, 1, 1, 2, 2, 3, 1, 2, 1, - 2, 0, 5, 1, 3, 0, 2, 2, 3, 1, - 1, 1, 1, 1, 1, 0, 2, 0, 1 + -115, -115, -115, -115, -115, -115, 120, -115, -115, -115, + -115, -115, -115, -115, -115, -115, 9, -115, -115, 14, + -115, -50, 100, -115, 75, -115, -115, -115, 19, -114, + -115, -115, -33, -18, -115, -32, -82, -115 }; -/* 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[] = + /* YYDEFGOTO[NTERM-NUM]. */ +static const yytype_int16 yydefgoto[] = { - 1, 3, 0, 26, 23, 0, 0, 0, 0, 33, - 34, 35, 20, 10, 0, 0, 0, 0, 17, 9, - 21, 7, 13, 15, 0, 19, 0, 6, 4, 5, - 22, 36, 0, 0, 28, 67, 11, 63, 61, 59, - 25, 60, 0, 0, 0, 64, 0, 18, 0, 65, - 49, 37, 31, 42, 43, 47, 27, 24, 0, 68, - 30, 16, 12, 14, 8, 51, 0, 50, 2, 0, - 44, 45, 48, 38, 29, 55, 66, 32, 40, 46, - 39, 0, 53, 41, 52, 55, 0, 62, 56, 57, - 54, 58, 0, 0, 0 + -1, 1, 2, 41, 79, 105, 74, 43, 81, 44, + 48, 47, 45, 46, 84, 114, 115, 90, 110, 111, + 112, 86, 87, 75, 76, 77, 122, 128, 129, 103, + 55, 95, 52, 69, 78, 113, 71, 101 }; -static const short yydefgoto[] = + /* YYTABLE[YYPACT[STATE-NUM]] -- What to do in state STATE-NUM. If + positive, shift that token. If negative, reduce the rule whose + number is the opposite. If YYTABLE_NINF, syntax error. */ +static const yytype_int16 yytable[] = { - 92, 1, 2, 28, 29, 33, 32, 58, 30, 69, - 31, 52, 74, 77, 55, 56, 49, 50, 75, 81, - 82, 88, 89, 41, 46, 68, 60 + 70, 66, 66, -110, 72, 93, 119, 4, 5, 6, + 7, 8, 9, 10, 11, 12, 3, 91, 92, 13, + 14, 143, 96, 49, 144, 50, 56, 57, 53, 88, + 88, 51, 26, 130, 58, 131, 127, 117, 32, 117, + 67, 50, 59, 68, 66, 66, 60, 94, 106, 73, + 99, 61, 116, 118, 132, 133, 134, 72, 120, 40, + 4, 5, 6, 7, 8, 9, 10, 11, 12, 88, + 54, 88, 13, 14, 62, 63, 64, 65, 80, 82, + 135, 136, 116, 67, 67, 26, 68, 68, 83, 50, + 102, 32, 126, 107, 108, 109, 67, 138, 137, 68, + 140, 97, 73, 98, 104, 85, 121, 138, 123, 66, + 142, 141, 40, 4, 5, 6, 7, 8, 9, 10, + 11, 12, 42, 125, 124, 13, 14, 15, 16, 17, + 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, + 28, 29, 30, 31, 32, 33, 34, 35, 89, 139, + 100, 0, 0, 0, 0, 0, 36, 0, 37, 38, + 0, 0, 0, 0, 39, 40 }; -static const short yypact[] = +static const yytype_int16 yycheck[] = { - -32768,-32768, 72,-32768,-32768, -22, -29, 8, -1,-32768, - -32768,-32768,-32768,-32768, -16, -14, -11, 22,-32768,-32768, - -32768,-32768,-32768,-32768, 22,-32768, -6,-32768,-32768,-32768, - -32768, 0, -24, -24,-32768, 1,-32768,-32768,-32768,-32768, - -32768,-32768, 22, 22, 22,-32768, 22,-32768, -2, -17, - -32768,-32768,-32768,-32768, 4,-32768, -24, -24, 2,-32768, - -32768,-32768,-32768,-32768,-32768,-32768, 3,-32768,-32768, -1, - 32,-32768,-32768,-32768, 5,-32768,-32768, -1,-32768,-32768, - -32768, -18, -3,-32768,-32768,-32768, -1,-32768,-32768,-32768, - -3,-32768, 39, 40,-32768 + 32, 3, 3, 0, 1, 3, 88, 4, 5, 6, + 7, 8, 9, 10, 11, 12, 0, 49, 51, 16, + 17, 135, 55, 51, 138, 39, 3, 54, 3, 47, + 48, 45, 29, 48, 54, 50, 118, 87, 35, 89, + 42, 39, 3, 45, 3, 3, 39, 45, 81, 46, + 47, 3, 84, 54, 13, 14, 15, 1, 90, 56, + 4, 5, 6, 7, 8, 9, 10, 11, 12, 87, + 45, 89, 16, 17, 3, 3, 3, 3, 45, 39, + 39, 40, 114, 42, 42, 29, 45, 45, 51, 39, + 41, 35, 54, 51, 52, 53, 42, 129, 57, 45, + 132, 50, 46, 50, 39, 51, 43, 139, 39, 3, + 51, 54, 56, 4, 5, 6, 7, 8, 9, 10, + 11, 12, 2, 114, 110, 16, 17, 18, 19, 20, + 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, + 31, 32, 33, 34, 35, 36, 37, 38, 48, 130, + 75, -1, -1, -1, -1, -1, 47, -1, 49, 50, + -1, -1, -1, -1, 55, 56 }; -static const short yypgoto[] = + /* YYSTOS[STATE-NUM] -- The (internal number of the) accessing + symbol of state STATE-NUM. */ +static const yytype_uint8 yystos[] = { - -32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768, - -32768,-32768,-32768,-32768, -28, 10,-32768, -5,-32768,-32768, - -40, -8,-32768, -48, -19,-32768,-32768 + 0, 59, 60, 0, 4, 5, 6, 7, 8, 9, + 10, 11, 12, 16, 17, 18, 19, 20, 21, 22, + 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, + 33, 34, 35, 36, 37, 38, 47, 49, 50, 55, + 56, 61, 64, 65, 67, 70, 71, 69, 68, 51, + 39, 45, 90, 3, 45, 88, 3, 54, 54, 3, + 39, 3, 3, 3, 3, 3, 3, 42, 45, 91, + 93, 94, 1, 46, 64, 81, 82, 83, 92, 62, + 45, 66, 39, 51, 72, 51, 79, 80, 91, 80, + 75, 93, 90, 3, 45, 89, 90, 50, 50, 47, + 82, 95, 41, 87, 39, 63, 90, 51, 52, 53, + 76, 77, 78, 93, 73, 74, 93, 79, 54, 94, + 93, 43, 84, 39, 77, 74, 54, 94, 85, 86, + 48, 50, 13, 14, 15, 39, 40, 57, 93, 86, + 93, 54, 51, 87, 87 }; - -#define YYLAST 110 - - -static const short yytable[] = + /* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */ +static const yytype_uint8 yyr1[] = { - 40, 37, 38, 37, 38, 47, 71, 53, 37, 34, - 70, 35, 54, 86, 36, 84, 42, 85, 43, 48, - 66, 44, 79, 61, 62, 63, 45, 64, 72, 72, - 48, 51, 65, 39, 59, 39, 37, 87, 73, 93, - 94, 80, 76, 57, 67, 90, 0, 0, 0, 0, - 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, - 0, 78, 0, 0, 0, 0, 0, 0, 0, 83, - 0, 0, 0, 0, 0, 0, 0, 0, 91, 3, - 4, 5, 6, 7, 8, 9, 10, 11, 0, 12, - 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, - 23, 24, 25, 0, 0, 0, 0, 0, 0, 26, - 27 + 0, 58, 59, 60, 60, 61, 61, 61, 61, 61, + 61, 61, 61, 61, 61, 61, 61, 61, 61, 61, + 61, 61, 62, 61, 61, 61, 61, 61, 61, 61, + 63, 63, 64, 64, 64, 64, 64, 64, 64, 64, + 65, 65, 66, 66, 64, 68, 67, 69, 67, 67, + 70, 71, 71, 71, 71, 72, 72, 73, 73, 74, + 74, 75, 75, 76, 76, 77, 77, 78, 78, 78, + 79, 79, 79, 79, 79, 80, 80, 81, 81, 82, + 82, 82, 84, 83, 85, 85, 85, 86, 86, 86, + 86, 86, 86, 86, 86, 87, 87, 88, 88, 89, + 89, 89, 89, 90, 91, 91, 92, 93, 93, 94, + 95, 95 }; -static const short yycheck[] = + /* YYR2[YYN] -- Number of symbols on the right hand side of rule YYN. */ +static const yytype_uint8 yyr2[] = { - 8, 4, 5, 4, 5, 24, 54, 31, 4, 31, - 6, 40, 36, 16, 6, 33, 32, 35, 32, 36, - 37, 32, 70, 42, 43, 44, 4, 46, 56, 57, - 36, 31, 34, 36, 33, 36, 4, 40, 36, 0, - 0, 36, 39, 33, 49, 85, -1, -1, -1, -1, - -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, - -1, 69, -1, -1, -1, -1, -1, -1, -1, 77, - -1, -1, -1, -1, -1, -1, -1, -1, 86, 7, - 8, 9, 10, 11, 12, 13, 14, 15, -1, 17, - 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, - 28, 29, 30, -1, -1, -1, -1, -1, -1, 37, - 38 + 0, 2, 4, 0, 2, 1, 1, 1, 3, 1, + 2, 1, 2, 2, 2, 1, 2, 2, 2, 1, + 1, 2, 0, 3, 2, 2, 1, 1, 1, 1, + 2, 1, 1, 1, 2, 3, 1, 1, 2, 3, + 1, 1, 0, 1, 3, 0, 3, 0, 3, 3, + 3, 1, 1, 1, 1, 0, 1, 1, 2, 1, + 2, 1, 2, 1, 2, 1, 1, 1, 1, 1, + 1, 1, 2, 2, 3, 1, 2, 1, 2, 1, + 2, 2, 0, 4, 1, 3, 2, 0, 3, 3, + 2, 2, 3, 3, 3, 0, 1, 1, 1, 0, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, + 0, 2 }; -#define YYPURE 1 -/* -*-C-*- Note some compilers choke on comments on `#line' lines. */ -#line 3 "/usr/share/bison/bison.simple" -/* Skeleton output parser for bison, +#define yyerrok (yyerrstatus = 0) +#define yyclearin (yychar = YYEMPTY) +#define YYEMPTY (-2) +#define YYEOF 0 - Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002 Free Software - Foundation, Inc. +#define YYACCEPT goto yyacceptlab +#define YYABORT goto yyabortlab +#define YYERROR goto yyerrorlab - 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. +#define YYRECOVERING() (!!yyerrstatus) - 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. */ +#define YYBACKUP(Token, Value) \ +do \ + if (yychar == YYEMPTY) \ + { \ + yychar = (Token); \ + yylval = (Value); \ + YYPOPSTACK (yylen); \ + yystate = *yyssp; \ + YY_LAC_DISCARD ("YYBACKUP"); \ + goto yybackup; \ + } \ + else \ + { \ + yyerror (&yylloc, YY_("syntax error: cannot back up")); \ + YYERROR; \ + } \ +while (0) -/* 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. */ +/* Error token number */ +#define YYTERROR 1 +#define YYERRCODE 256 -/* 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. */ +/* 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). */ -#if ! defined (yyoverflow) || defined (YYERROR_VERBOSE) +#ifndef YYLLOC_DEFAULT +# define YYLLOC_DEFAULT(Current, Rhs, N) \ + do \ + if (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 (0) +#endif -/* The parser invokes alloca or malloc; define the necessary symbols. */ +#define YYRHSLOC(Rhs, K) ((Rhs)[K]) -# if YYSTACK_USE_ALLOCA -# define YYSTACK_ALLOC alloca -# else -# ifndef YYSTACK_USE_ALLOCA -# if defined (alloca) || defined (_ALLOCA_H) -# define YYSTACK_ALLOC alloca -# else -# ifdef __GNUC__ -# define YYSTACK_ALLOC __builtin_alloca -# endif -# endif -# endif -# endif -# ifdef YYSTACK_ALLOC - /* Pacify GCC's `empty if-body' warning. */ -# define YYSTACK_FREE(Ptr) do { /* empty */; } while (0) -# else -# if defined (__STDC__) || defined (__cplusplus) -# include /* INFRINGES ON USER NAME SPACE */ -# define YYSIZE_T size_t -# endif -# define YYSTACK_ALLOC malloc -# define YYSTACK_FREE free +/* Enable debugging if requested. */ +#if GRAM_DEBUG + +# ifndef YYFPRINTF +# include /* INFRINGES ON USER NAME SPACE */ +# define YYFPRINTF fprintf # endif -#endif /* ! defined (yyoverflow) || defined (YYERROR_VERBOSE) */ +# define YYDPRINTF(Args) \ +do { \ + if (yydebug) \ + YYFPRINTF Args; \ +} while (0) -#if (! defined (yyoverflow) \ - && (! defined (__cplusplus) \ - || (YYLTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL))) -/* A type that is properly aligned for any stack member. */ -union yyalloc +/* 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. */ + +#ifndef YY_LOCATION_PRINT +# if defined GRAM_LTYPE_IS_TRIVIAL && GRAM_LTYPE_IS_TRIVIAL + +/* Print *YYLOCP on YYO. Private, do not rely on its existence. */ + +__attribute__((__unused__)) +static unsigned +yy_location_print_ (FILE *yyo, YYLTYPE const * const yylocp) { - short yyss; - YYSTYPE yyvs; -# if YYLSP_NEEDED - YYLTYPE yyls; -# endif -}; + unsigned res = 0; + int end_col = 0 != yylocp->last_column ? yylocp->last_column - 1 : 0; + if (0 <= yylocp->first_line) + { + res += YYFPRINTF (yyo, "%d", yylocp->first_line); + if (0 <= yylocp->first_column) + res += YYFPRINTF (yyo, ".%d", yylocp->first_column); + } + if (0 <= yylocp->last_line) + { + if (yylocp->first_line < yylocp->last_line) + { + res += YYFPRINTF (yyo, "-%d", yylocp->last_line); + if (0 <= end_col) + res += YYFPRINTF (yyo, ".%d", end_col); + } + else if (0 <= end_col && yylocp->first_column < end_col) + res += YYFPRINTF (yyo, "-%d", end_col); + } + return res; + } -/* The size of the maximum gap between one aligned stack and the next. */ -# define YYSTACK_GAP_MAX (sizeof (union yyalloc) - 1) +# define YY_LOCATION_PRINT(File, Loc) \ + yy_location_print_ (File, &(Loc)) -/* 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) +# define YY_LOCATION_PRINT(File, Loc) ((void) 0) # endif +#endif -/* Copy COUNT objects from FROM to TO. The source and destination do - not overlap. */ -# ifndef YYCOPY -# if 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; \ - for (yyi = 0; yyi < (Count); yyi++) \ - (To)[yyi] = (From)[yyi]; \ - } \ - while (0) -# endif -# endif -/* Relocate STACK from its old location to the new one. The - local variables YYSIZE and YYSTACKSIZE give the old and new number of - elements in the stack, and YYPTR gives the new location of the - stack. Advance YYPTR to a properly aligned location for the next - stack. */ -# define YYSTACK_RELOCATE(Stack) \ - do \ - { \ - YYSIZE_T yynewbytes; \ - YYCOPY (&yyptr->Stack, Stack, yysize); \ - Stack = &yyptr->Stack; \ - yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAX; \ - yyptr += yynewbytes / sizeof (*yyptr); \ - } \ - while (0) +# define YY_SYMBOL_PRINT(Title, Type, Value, Location) \ +do { \ + if (yydebug) \ + { \ + YYFPRINTF (stderr, "%s ", Title); \ + yy_symbol_print (stderr, \ + Type, Value, Location); \ + YYFPRINTF (stderr, "\n"); \ + } \ +} while (0) -#endif +/*--------------------------------. +| Print this symbol on YYOUTPUT. | +`--------------------------------*/ -#if ! defined (YYSIZE_T) && defined (__SIZE_TYPE__) -# define YYSIZE_T __SIZE_TYPE__ -#endif -#if ! defined (YYSIZE_T) && defined (size_t) -# define YYSIZE_T size_t -#endif -#if ! defined (YYSIZE_T) -# if defined (__STDC__) || defined (__cplusplus) -# include /* INFRINGES ON USER NAME SPACE */ -# define YYSIZE_T size_t +static void +yy_symbol_value_print (FILE *yyoutput, int yytype, YYSTYPE const * const yyvaluep, YYLTYPE const * const yylocationp) +{ + FILE *yyo = yyoutput; + YYUSE (yyo); + YYUSE (yylocationp); + if (!yyvaluep) + return; +# ifdef YYPRINT + if (yytype < YYNTOKENS) + YYPRINT (yyoutput, yytoknum[yytype], *yyvaluep); # endif -#endif -#if ! defined (YYSIZE_T) -# define YYSIZE_T unsigned int -#endif - -#define yyerrok (yyerrstatus = 0) -#define yyclearin (yychar = YYEMPTY) -#define YYEMPTY -2 -#define YYEOF 0 -#define YYACCEPT goto yyacceptlab -#define YYABORT goto yyabortlab -#define YYERROR goto yyerrlab1 -/* 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; \ - goto yybackup; \ - } \ - else \ - { \ - yyerror ("syntax error: cannot back up"); \ - YYERROR; \ - } \ -while (0) - -#define YYTERROR 1 -#define YYERRCODE 256 + switch (yytype) + { + case 3: /* "string" */ +#line 183 "src/parse-gram.y" /* yacc.c:706 */ + { fputs (quotearg_style (c_quoting_style, ((*yyvaluep).chars)), yyo); } +#line 973 "src/parse-gram.c" /* yacc.c:706 */ + break; + + case 23: /* "%" */ +#line 193 "src/parse-gram.y" /* yacc.c:706 */ + { fprintf (yyo, "%%%s", ((*yyvaluep).uniqstr)); } +#line 979 "src/parse-gram.c" /* yacc.c:706 */ + break; + + case 39: /* "{...}" */ +#line 185 "src/parse-gram.y" /* yacc.c:706 */ + { fprintf (yyo, "{\n%s\n}", ((*yyvaluep).code)); } +#line 985 "src/parse-gram.c" /* yacc.c:706 */ + break; + + case 41: /* "[identifier]" */ +#line 191 "src/parse-gram.y" /* yacc.c:706 */ + { fprintf (yyo, "[%s]", ((*yyvaluep).uniqstr)); } +#line 991 "src/parse-gram.c" /* yacc.c:706 */ + break; + + case 42: /* "char" */ +#line 172 "src/parse-gram.y" /* yacc.c:706 */ + { fputs (char_name (((*yyvaluep).character)), yyo); } +#line 997 "src/parse-gram.c" /* yacc.c:706 */ + break; + + case 43: /* "epilogue" */ +#line 185 "src/parse-gram.y" /* yacc.c:706 */ + { fprintf (yyo, "{\n%s\n}", ((*yyvaluep).chars)); } +#line 1003 "src/parse-gram.c" /* yacc.c:706 */ + break; + + case 45: /* "identifier" */ +#line 190 "src/parse-gram.y" /* yacc.c:706 */ + { fputs (((*yyvaluep).uniqstr), yyo); } +#line 1009 "src/parse-gram.c" /* yacc.c:706 */ + break; + + case 46: /* "identifier:" */ +#line 192 "src/parse-gram.y" /* yacc.c:706 */ + { fprintf (yyo, "%s:", ((*yyvaluep).uniqstr)); } +#line 1015 "src/parse-gram.c" /* yacc.c:706 */ + break; + + case 49: /* "%{...%}" */ +#line 185 "src/parse-gram.y" /* yacc.c:706 */ + { fprintf (yyo, "{\n%s\n}", ((*yyvaluep).chars)); } +#line 1021 "src/parse-gram.c" /* yacc.c:706 */ + break; + + case 51: /* "" */ +#line 194 "src/parse-gram.y" /* yacc.c:706 */ + { fprintf (yyo, "<%s>", ((*yyvaluep).uniqstr)); } +#line 1027 "src/parse-gram.c" /* yacc.c:706 */ + break; + + case 54: /* "integer" */ +#line 198 "src/parse-gram.y" /* yacc.c:706 */ + { fprintf (yyo, "%d", ((*yyvaluep).integer)); } +#line 1033 "src/parse-gram.c" /* yacc.c:706 */ + break; + + case 55: /* "%param" */ +#line 241 "src/parse-gram.y" /* yacc.c:706 */ + { + switch (((*yyvaluep).param)) + { +#define CASE(In, Out) \ + case param_ ## In: fputs ("%" #Out, yyo); break + CASE (lex, lex-param); + CASE (parse, parse-param); + CASE (both, param); +#undef CASE + case param_none: aver (false); break; + } +} +#line 1050 "src/parse-gram.c" /* yacc.c:706 */ + break; + + case 65: /* code_props_type */ +#line 414 "src/parse-gram.y" /* yacc.c:706 */ + { fprintf (yyo, "%s", code_props_type_string (((*yyvaluep).code_type))); } +#line 1056 "src/parse-gram.c" /* yacc.c:706 */ + break; + + case 74: /* symbol.prec */ +#line 202 "src/parse-gram.y" /* yacc.c:706 */ + { fprintf (yyo, "%s", ((*yyvaluep).symbol)->tag); } +#line 1062 "src/parse-gram.c" /* yacc.c:706 */ + break; + + case 78: /* tag */ +#line 194 "src/parse-gram.y" /* yacc.c:706 */ + { fprintf (yyo, "<%s>", ((*yyvaluep).uniqstr)); } +#line 1068 "src/parse-gram.c" /* yacc.c:706 */ + break; + + case 88: /* variable */ +#line 190 "src/parse-gram.y" /* yacc.c:706 */ + { fputs (((*yyvaluep).uniqstr), yyo); } +#line 1074 "src/parse-gram.c" /* yacc.c:706 */ + break; + + case 89: /* value */ +#line 660 "src/parse-gram.y" /* yacc.c:706 */ + { + switch (((*yyvaluep).value).kind) + { + case muscle_code: fprintf (yyo, "{%s}", ((*yyvaluep).value).chars); break; + case muscle_keyword: fprintf (yyo, "%s", ((*yyvaluep).value).chars); break; + case muscle_string: fprintf (yyo, "\"%s\"", ((*yyvaluep).value).chars); break; + } +} +#line 1087 "src/parse-gram.c" /* yacc.c:706 */ + break; + + case 90: /* braceless */ +#line 185 "src/parse-gram.y" /* yacc.c:706 */ + { fprintf (yyo, "{\n%s\n}", ((*yyvaluep).chars)); } +#line 1093 "src/parse-gram.c" /* yacc.c:706 */ + break; + + case 91: /* id */ +#line 202 "src/parse-gram.y" /* yacc.c:706 */ + { fprintf (yyo, "%s", ((*yyvaluep).symbol)->tag); } +#line 1099 "src/parse-gram.c" /* yacc.c:706 */ + break; + + case 92: /* id_colon */ +#line 203 "src/parse-gram.y" /* yacc.c:706 */ + { fprintf (yyo, "%s:", ((*yyvaluep).symbol)->tag); } +#line 1105 "src/parse-gram.c" /* yacc.c:706 */ + break; + + case 93: /* symbol */ +#line 202 "src/parse-gram.y" /* yacc.c:706 */ + { fprintf (yyo, "%s", ((*yyvaluep).symbol)->tag); } +#line 1111 "src/parse-gram.c" /* yacc.c:706 */ + break; + + case 94: /* string_as_id */ +#line 202 "src/parse-gram.y" /* yacc.c:706 */ + { fprintf (yyo, "%s", ((*yyvaluep).symbol)->tag); } +#line 1117 "src/parse-gram.c" /* yacc.c:706 */ + break; + + default: + break; + } +} -/* YYLLOC_DEFAULT -- Compute the default location (before the actions - are run). +/*--------------------------------. +| Print this symbol on YYOUTPUT. | +`--------------------------------*/ - 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. */ +static void +yy_symbol_print (FILE *yyoutput, int yytype, YYSTYPE const * const yyvaluep, YYLTYPE const * const yylocationp) +{ + YYFPRINTF (yyoutput, "%s %s (", + yytype < YYNTOKENS ? "token" : "nterm", yytname[yytype]); -#ifndef YYLLOC_DEFAULT -# define YYLLOC_DEFAULT(Current, Rhs, N) \ - Current.last_line = Rhs[N].last_line; \ - Current.last_column = Rhs[N].last_column; -#endif + YY_LOCATION_PRINT (yyoutput, *yylocationp); + YYFPRINTF (yyoutput, ": "); + yy_symbol_value_print (yyoutput, yytype, yyvaluep, yylocationp); + YYFPRINTF (yyoutput, ")"); +} +/*------------------------------------------------------------------. +| yy_stack_print -- Print the state stack from its BOTTOM up to its | +| TOP (included). | +`------------------------------------------------------------------*/ -/* YYLEX -- calling `yylex' with the right arguments. */ +static void +yy_stack_print (yytype_int16 *yybottom, yytype_int16 *yytop) +{ + YYFPRINTF (stderr, "Stack now"); + for (; yybottom <= yytop; yybottom++) + { + int yybot = *yybottom; + YYFPRINTF (stderr, " %d", yybot); + } + YYFPRINTF (stderr, "\n"); +} -#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 */ +# define YY_STACK_PRINT(Bottom, Top) \ +do { \ + if (yydebug) \ + yy_stack_print ((Bottom), (Top)); \ +} while (0) -/* Enable debugging if requested. */ -#if YYDEBUG +/*------------------------------------------------. +| Report that the YYRULE is going to be reduced. | +`------------------------------------------------*/ -# ifndef YYFPRINTF -# include /* INFRINGES ON USER NAME SPACE */ -# define YYFPRINTF fprintf -# endif +static void +yy_reduce_print (yytype_int16 *yyssp, YYSTYPE *yyvsp, YYLTYPE *yylsp, int yyrule) +{ + unsigned long int yylno = yyrline[yyrule]; + int yynrhs = yyr2[yyrule]; + int yyi; + YYFPRINTF (stderr, "Reducing stack by rule %d (line %lu):\n", + yyrule - 1, yylno); + /* The symbols being reduced. */ + for (yyi = 0; yyi < yynrhs; yyi++) + { + YYFPRINTF (stderr, " $%d = ", yyi + 1); + yy_symbol_print (stderr, + yystos[yyssp[yyi + 1 - yynrhs]], + &(yyvsp[(yyi + 1) - (yynrhs)]) + , &(yylsp[(yyi + 1) - (yynrhs)]) ); + YYFPRINTF (stderr, "\n"); + } +} -# define YYDPRINTF(Args) \ -do { \ - if (yydebug) \ - YYFPRINTF Args; \ +# define YY_REDUCE_PRINT(Rule) \ +do { \ + if (yydebug) \ + yy_reduce_print (yyssp, yyvsp, yylsp, Rule); \ } while (0) + /* Nonzero means print parse trace. It is left uninitialized so that multiple parsers can coexist. */ int yydebug; -#else /* !YYDEBUG */ +#else /* !GRAM_DEBUG */ # define YYDPRINTF(Args) -#endif /* !YYDEBUG */ +# define YY_SYMBOL_PRINT(Title, Type, Value, Location) +# define YY_STACK_PRINT(Bottom, Top) +# define YY_REDUCE_PRINT(Rule) +#endif /* !GRAM_DEBUG */ + /* YYINITDEPTH -- initial size of the parser's stacks. */ -#ifndef YYINITDEPTH +#ifndef YYINITDEPTH # define YYINITDEPTH 200 #endif @@ -595,59 +1212,276 @@ int yydebug; 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 - -#ifdef YYERROR_VERBOSE + +/* Given a state stack such that *YYBOTTOM is its bottom, such that + *YYTOP is either its top or is YYTOP_EMPTY to indicate an empty + stack, and such that *YYCAPACITY is the maximum number of elements it + can hold without a reallocation, make sure there is enough room to + store YYADD more elements. If not, allocate a new stack using + YYSTACK_ALLOC, copy the existing elements, and adjust *YYBOTTOM, + *YYTOP, and *YYCAPACITY to reflect the new capacity and memory + location. If *YYBOTTOM != YYBOTTOM_NO_FREE, then free the old stack + using YYSTACK_FREE. Return 0 if successful or if no reallocation is + required. Return 1 if memory is exhausted. */ +static int +yy_lac_stack_realloc (YYSIZE_T *yycapacity, YYSIZE_T yyadd, +#if GRAM_DEBUG + char const *yydebug_prefix, + char const *yydebug_suffix, +#endif + yytype_int16 **yybottom, + yytype_int16 *yybottom_no_free, + yytype_int16 **yytop, yytype_int16 *yytop_empty) +{ + YYSIZE_T yysize_old = + *yytop == yytop_empty ? 0 : *yytop - *yybottom + 1; + YYSIZE_T yysize_new = yysize_old + yyadd; + if (*yycapacity < yysize_new) + { + YYSIZE_T yyalloc = 2 * yysize_new; + yytype_int16 *yybottom_new; + /* Use YYMAXDEPTH for maximum stack size given that the stack + should never need to grow larger than the main state stack + needs to grow without LAC. */ + if (YYMAXDEPTH < yysize_new) + { + YYDPRINTF ((stderr, "%smax size exceeded%s", yydebug_prefix, + yydebug_suffix)); + return 1; + } + if (YYMAXDEPTH < yyalloc) + yyalloc = YYMAXDEPTH; + yybottom_new = + (yytype_int16*) YYSTACK_ALLOC (yyalloc * sizeof *yybottom_new); + if (!yybottom_new) + { + YYDPRINTF ((stderr, "%srealloc failed%s", yydebug_prefix, + yydebug_suffix)); + return 1; + } + if (*yytop != yytop_empty) + { + YYCOPY (yybottom_new, *yybottom, yysize_old); + *yytop = yybottom_new + (yysize_old - 1); + } + if (*yybottom != yybottom_no_free) + YYSTACK_FREE (*yybottom); + *yybottom = yybottom_new; + *yycapacity = yyalloc; + } + return 0; +} + +/* Establish the initial context for the current lookahead if no initial + context is currently established. + + We define a context as a snapshot of the parser stacks. We define + the initial context for a lookahead as the context in which the + parser initially examines that lookahead in order to select a + syntactic action. Thus, if the lookahead eventually proves + syntactically unacceptable (possibly in a later context reached via a + series of reductions), the initial context can be used to determine + the exact set of tokens that would be syntactically acceptable in the + lookahead's place. Moreover, it is the context after which any + further semantic actions would be erroneous because they would be + determined by a syntactically unacceptable token. + + YY_LAC_ESTABLISH should be invoked when a reduction is about to be + performed in an inconsistent state (which, for the purposes of LAC, + includes consistent states that don't know they're consistent because + their default reductions have been disabled). Iff there is a + lookahead token, it should also be invoked before reporting a syntax + error. This latter case is for the sake of the debugging output. + + For parse.lac=full, the implementation of YY_LAC_ESTABLISH is as + follows. If no initial context is currently established for the + current lookahead, then check if that lookahead can eventually be + shifted if syntactic actions continue from the current context. + Report a syntax error if it cannot. */ +#define YY_LAC_ESTABLISH \ +do { \ + if (!yy_lac_established) \ + { \ + YYDPRINTF ((stderr, \ + "LAC: initial context established for %s\n", \ + yytname[yytoken])); \ + yy_lac_established = 1; \ + { \ + int yy_lac_status = \ + yy_lac (yyesa, &yyes, &yyes_capacity, yyssp, yytoken); \ + if (yy_lac_status == 2) \ + goto yyexhaustedlab; \ + if (yy_lac_status == 1) \ + goto yyerrlab; \ + } \ + } \ +} while (0) + +/* Discard any previous initial lookahead context because of Event, + which may be a lookahead change or an invalidation of the currently + established initial context for the current lookahead. + + The most common example of a lookahead change is a shift. An example + of both cases is syntax error recovery. That is, a syntax error + occurs when the lookahead is syntactically erroneous for the + currently established initial context, so error recovery manipulates + the parser stacks to try to find a new initial context in which the + current lookahead is syntactically acceptable. If it fails to find + such a context, it discards the lookahead. */ +#if GRAM_DEBUG +# define YY_LAC_DISCARD(Event) \ +do { \ + if (yy_lac_established) \ + { \ + if (yydebug) \ + YYFPRINTF (stderr, "LAC: initial context discarded due to " \ + Event "\n"); \ + yy_lac_established = 0; \ + } \ +} while (0) +#else +# define YY_LAC_DISCARD(Event) yy_lac_established = 0 +#endif + +/* Given the stack whose top is *YYSSP, return 0 iff YYTOKEN can + eventually (after perhaps some reductions) be shifted, return 1 if + not, or return 2 if memory is exhausted. As preconditions and + postconditions: *YYES_CAPACITY is the allocated size of the array to + which *YYES points, and either *YYES = YYESA or *YYES points to an + array allocated with YYSTACK_ALLOC. yy_lac may overwrite the + contents of either array, alter *YYES and *YYES_CAPACITY, and free + any old *YYES other than YYESA. */ +static int +yy_lac (yytype_int16 *yyesa, yytype_int16 **yyes, + YYSIZE_T *yyes_capacity, yytype_int16 *yyssp, int yytoken) +{ + yytype_int16 *yyes_prev = yyssp; + yytype_int16 *yyesp = yyes_prev; + YYDPRINTF ((stderr, "LAC: checking lookahead %s:", yytname[yytoken])); + if (yytoken == YYUNDEFTOK) + { + YYDPRINTF ((stderr, " Always Err\n")); + return 1; + } + while (1) + { + int yyrule = yypact[*yyesp]; + if (yypact_value_is_default (yyrule) + || (yyrule += yytoken) < 0 || YYLAST < yyrule + || yycheck[yyrule] != yytoken) + { + yyrule = yydefact[*yyesp]; + if (yyrule == 0) + { + YYDPRINTF ((stderr, " Err\n")); + return 1; + } + } + else + { + yyrule = yytable[yyrule]; + if (yytable_value_is_error (yyrule)) + { + YYDPRINTF ((stderr, " Err\n")); + return 1; + } + if (0 < yyrule) + { + YYDPRINTF ((stderr, " S%d\n", yyrule)); + return 0; + } + yyrule = -yyrule; + } + { + YYSIZE_T yylen = yyr2[yyrule]; + YYDPRINTF ((stderr, " R%d", yyrule - 1)); + if (yyesp != yyes_prev) + { + YYSIZE_T yysize = yyesp - *yyes + 1; + if (yylen < yysize) + { + yyesp -= yylen; + yylen = 0; + } + else + { + yylen -= yysize; + yyesp = yyes_prev; + } + } + if (yylen) + yyesp = yyes_prev -= yylen; + } + { + int yystate; + { + int yylhs = yyr1[yyrule] - YYNTOKENS; + yystate = yypgoto[yylhs] + *yyesp; + if (yystate < 0 || YYLAST < yystate + || yycheck[yystate] != *yyesp) + yystate = yydefgoto[yylhs]; + else + yystate = yytable[yystate]; + } + if (yyesp == yyes_prev) + { + yyesp = *yyes; + *yyesp = yystate; + } + else + { + if (yy_lac_stack_realloc (yyes_capacity, 1, +#if GRAM_DEBUG + " (", ")", +#endif + yyes, yyesa, &yyesp, yyes_prev)) + { + YYDPRINTF ((stderr, "\n")); + return 2; + } + *++yyesp = yystate; + } + YYDPRINTF ((stderr, " G%d", yystate)); + } + } +} + + +#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. */ static YYSIZE_T -# if defined (__STDC__) || defined (__cplusplus) yystrlen (const char *yystr) -# else -yystrlen (yystr) - 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. */ static char * -# if defined (__STDC__) || defined (__cplusplus) yystpcpy (char *yydest, const char *yysrc) -# else -yystpcpy (yydest, yysrc) - 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; @@ -656,149 +1490,353 @@ yystpcpy (yydest, yysrc) } # endif # endif -#endif - -#line 315 "/usr/share/bison/bison.simple" +# 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 *YYMSG, which is of size *YYMSG_ALLOC, an error message + about the unexpected token YYTOKEN for the state stack whose top is + YYSSP. In order to see if a particular token T is a + valid looakhead, invoke yy_lac (YYESA, YYES, YYES_CAPACITY, YYSSP, T). + + Return 0 if *YYMSG was successfully written. Return 1 if *YYMSG is + not large enough to hold the message. In that case, also set + *YYMSG_ALLOC to the required number of bytes. Return 2 if the + required number of bytes is too large to store or if + yy_lac returned 2. */ +static int +yysyntax_error (YYSIZE_T *yymsg_alloc, char **yymsg, + yytype_int16 *yyesa, yytype_int16 **yyes, + YYSIZE_T *yyes_capacity, yytype_int16 *yyssp, int yytoken) +{ + YYSIZE_T yysize0 = yytnamerr (YY_NULL, yytname[yytoken]); + YYSIZE_T yysize = yysize0; + enum { YYERROR_VERBOSE_ARGS_MAXIMUM = 5 }; + /* Internationalized format string. */ + const char *yyformat = YY_NULL; + /* Arguments of yyformat. */ + char const *yyarg[YYERROR_VERBOSE_ARGS_MAXIMUM]; + /* Number of reported tokens (one for the "unexpected", one per + "expected"). */ + int yycount = 0; + + /* There are many possibilities here to consider: + - If this state is a consistent state with a default action, then + the only way this function was invoked is if the default action + is an error action. In that case, don't check for expected + tokens because there are none. + - The only way there can be no lookahead present (in yychar) is if + this state is a consistent state with a default action. Thus, + detecting the absence of a lookahead is sufficient to determine + that there is no unexpected or expected token to report. In that + case, just report a simple "syntax error". + - Don't assume there isn't a lookahead just because this state is a + consistent state with a default action. There might have been a + previous inconsistent state, consistent state with a non-default + action, or user semantic action that manipulated yychar. + In the first two cases, it might appear that the current syntax + error should have been detected in the previous state when yy_lac + was invoked. However, at that time, there might have been a + different syntax error that discarded a different initial context + during error recovery, leaving behind the current lookahead. + */ + if (yytoken != YYEMPTY) + { + int yyn = yypact[*yyssp]; + YYDPRINTF ((stderr, "Constructing syntax error message\n")); + yyarg[yycount++] = yytname[yytoken]; + if (!yypact_value_is_default (yyn)) + { + int yyx; + + for (yyx = 0; yyx < YYNTOKENS; ++yyx) + if (yyx != YYTERROR && yyx != YYUNDEFTOK) + { + { + int yy_lac_status = yy_lac (yyesa, yyes, yyes_capacity, + yyssp, yyx); + if (yy_lac_status == 2) + return 2; + if (yy_lac_status == 1) + continue; + } + if (yycount == YYERROR_VERBOSE_ARGS_MAXIMUM) + { + yycount = 1; + yysize = yysize0; + break; + } + yyarg[yycount++] = yytname[yyx]; + { + YYSIZE_T yysize1 = yysize + yytnamerr (YY_NULL, yytname[yyx]); + if (! (yysize <= yysize1 + && yysize1 <= YYSTACK_ALLOC_MAXIMUM)) + return 2; + yysize = yysize1; + } + } + } +# if GRAM_DEBUG + else if (yydebug) + YYFPRINTF (stderr, "No expected tokens.\n"); # endif -#endif + } -/* 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 YYLSP_NEEDED -# define YY_DECL_VARIABLES \ -YY_DECL_NON_LSP_VARIABLES \ - \ -/* Location data for the lookahead symbol. */ \ -YYLTYPE yylloc; -#else -# define YY_DECL_VARIABLES \ -YY_DECL_NON_LSP_VARIABLES -#endif + switch (yycount) + { +# define YYCASE_(N, S) \ + case N: \ + yyformat = S; \ + break + YYCASE_(0, YY_("syntax error")); + YYCASE_(1, YY_("syntax error, unexpected %s")); + YYCASE_(2, YY_("syntax error, unexpected %s, expecting %s")); + YYCASE_(3, YY_("syntax error, unexpected %s, expecting %s or %s")); + YYCASE_(4, YY_("syntax error, unexpected %s, expecting %s or %s or %s")); + YYCASE_(5, YY_("syntax error, unexpected %s, expecting %s or %s or %s or %s")); +# undef YYCASE_ + } + { + YYSIZE_T yysize1 = yysize + yystrlen (yyformat); + if (! (yysize <= yysize1 && yysize1 <= YYSTACK_ALLOC_MAXIMUM)) + return 2; + yysize = yysize1; + } -/* If nonreentrant, generate the variables here. */ + if (*yymsg_alloc < yysize) + { + *yymsg_alloc = 2 * yysize; + if (! (yysize <= *yymsg_alloc + && *yymsg_alloc <= YYSTACK_ALLOC_MAXIMUM)) + *yymsg_alloc = YYSTACK_ALLOC_MAXIMUM; + return 1; + } -#if !YYPURE -YY_DECL_VARIABLES -#endif /* !YYPURE */ + /* 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 = *yymsg; + int yyi = 0; + while ((*yyp = *yyformat) != '\0') + if (*yyp == '%' && yyformat[1] == 's' && yyi < yycount) + { + yyp += yytnamerr (yyp, yyarg[yyi++]); + yyformat += 2; + } + else + { + yyp++; + yyformat++; + } + } + return 0; +} +#endif /* YYERROR_VERBOSE */ -int -yyparse (YYPARSE_PARAM_ARG) - YYPARSE_PARAM_DECL +/*-----------------------------------------------. +| Release the memory associated to this symbol. | +`-----------------------------------------------*/ + +static void +yydestruct (const char *yymsg, int yytype, YYSTYPE *yyvaluep, YYLTYPE *yylocationp) { - /* If reentrant, generate the variables here. */ -#if YYPURE - YY_DECL_VARIABLES -#endif /* !YYPURE */ + YYUSE (yyvaluep); + YYUSE (yylocationp); + if (!yymsg) + yymsg = "Deleting"; + YY_SYMBOL_PRINT (yymsg, yytype, yyvaluep, yylocationp); + + switch (yytype) + { + default: + break; + } +} + + - register int yystate; - register 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; - - /* Three stacks and their tools: - `yyss': related to states, - `yyvs': related to semantic values, - `yyls': related to locations. - - 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 semantic value stack. */ - YYSTYPE yyvsa[YYINITDEPTH]; - YYSTYPE *yyvs = yyvsa; - register 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--) +/*----------. +| yyparse. | +`----------*/ + +int +yyparse (void) +{ +/* The lookahead symbol. */ +int yychar; + + +#if defined __GNUC__ && 407 <= __GNUC__ * 100 + __GNUC_MINOR__ +/* Suppress an incorrect diagnostic about yylval being uninitialized. */ +# define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN \ + _Pragma ("GCC diagnostic push") \ + _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"")\ + _Pragma ("GCC diagnostic ignored \"-Wmaybe-uninitialized\"") +# define YY_IGNORE_MAYBE_UNINITIALIZED_END \ + _Pragma ("GCC diagnostic pop") #else -# define YYPOPSTACK (yyvsp--, yyssp--) +/* Default value used for initialization, for pacifying older GCCs + or non-GCC compilers. */ +static YYSTYPE yyval_default; +# define YY_INITIAL_VALUE(Value) = Value #endif +static YYLTYPE yyloc_default +# if defined GRAM_LTYPE_IS_TRIVIAL && GRAM_LTYPE_IS_TRIVIAL + = { 1, 1, 1, 1 } +# endif +; +#ifndef YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN +# define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN +# define YY_IGNORE_MAYBE_UNINITIALIZED_END +#endif +#ifndef YY_INITIAL_VALUE +# define YY_INITIAL_VALUE(Value) /* Nothing. */ +#endif + +/* The semantic value of the lookahead symbol. */ +YYSTYPE yylval YY_INITIAL_VALUE(yyval_default); + +/* Location data for the lookahead symbol. */ +YYLTYPE yylloc = yyloc_default; + + + /* Number of syntax errors so far. */ + int yynerrs; + + int yystate; + /* Number of tokens to shift before error messages enabled. */ + int yyerrstatus; - YYSIZE_T yystacksize = YYINITDEPTH; + /* The stacks and their tools: + 'yyss': related to states. + 'yyvs': related to semantic values. + 'yyls': related to locations. + Refer to the stacks through separate pointers, to allow yyoverflow + to reallocate them elsewhere. */ + /* The state stack. */ + yytype_int16 yyssa[YYINITDEPTH]; + yytype_int16 *yyss; + yytype_int16 *yyssp; + + /* The semantic value stack. */ + YYSTYPE yyvsa[YYINITDEPTH]; + YYSTYPE *yyvs; + YYSTYPE *yyvsp; + + /* The location stack. */ + YYLTYPE yylsa[YYINITDEPTH]; + YYLTYPE *yyls; + YYLTYPE *yylsp; + + /* The locations where the error started and ended. */ + YYLTYPE yyerror_range[3]; + + YYSIZE_T yystacksize; + + yytype_int16 yyesa[20]; + yytype_int16 *yyes; + YYSIZE_T yyes_capacity; + + int yy_lac_established = 0; + int yyn; + int yyresult; + /* Lookahead token as an internal (translated) token number. */ + int yytoken = 0; /* The variables used to return semantic value and location from the action routines. */ YYSTYPE yyval; -#if YYLSP_NEEDED YYLTYPE yyloc; + +#if YYERROR_VERBOSE + /* Buffer for error messages, and its allocated size. */ + char yymsgbuf[128]; + char *yymsg = yymsgbuf; + YYSIZE_T yymsg_alloc = sizeof yymsgbuf; #endif - /* When reducing, the number of symbols on the RHS of the reduced - rule. */ - int yylen; +#define YYPOPSTACK(N) (yyvsp -= (N), yyssp -= (N), yylsp -= (N)) + + /* The number of symbols on the RHS of the reduced rule. + Keep to zero when no symbol should be popped. */ + int yylen = 0; + + yyssp = yyss = yyssa; + yyvsp = yyvs = yyvsa; + yylsp = yyls = yylsa; + yystacksize = YYINITDEPTH; + + yyes = yyesa; + yyes_capacity = sizeof yyesa / sizeof *yyes; + if (YYMAXDEPTH < yyes_capacity) + yyes_capacity = YYMAXDEPTH; YYDPRINTF ((stderr, "Starting parse\n")); yystate = 0; yyerrstatus = 0; yynerrs = 0; - yychar = YYEMPTY; /* Cause a token to be read. */ - - /* Initialize stack pointers. - Waste one element of value and location stack - so that they stay on the same level as the state stack. - The wasted elements are never initialized. */ + yychar = YYEMPTY; /* Cause a token to be read. */ - yyssp = yyss; - yyvsp = yyvs; -#if YYLSP_NEEDED - yylsp = yyls; -#endif +/* User initialization code. */ +#line 96 "src/parse-gram.y" /* yacc.c:1451 */ +{ + /* Bison's grammar can initial empty locations, hence a default + location is needed. */ + boundary_set (&yylloc.start, current_file, 1, 1); + boundary_set (&yylloc.end, current_file, 1, 1); +} +#line 1839 "src/parse-gram.c" /* yacc.c:1451 */ + yylsp[0] = yylloc; goto yysetstate; /*------------------------------------------------------------. @@ -806,195 +1844,153 @@ yyparse (YYPARSE_PARAM_ARG) `------------------------------------------------------------*/ 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 - these so that the &'s don't force the real ones into - memory. */ - YYSTYPE *yyvs1 = yyvs; - short *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", - &yyss1, yysize * sizeof (*yyssp), - &yyvs1, yysize * sizeof (*yyvsp), - &yystacksize); -# endif - yyss = yyss1; - yyvs = yyvs1; + /* 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; + yytype_int16 *yyss1 = yyss; + YYLTYPE *yyls1 = yyls; + + /* Each stack pointer address is followed by the size of the + 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), + &yyls1, yysize * sizeof (*yylsp), + &yystacksize); + + yyls = yyls1; + 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) - yystacksize = YYMAXDEPTH; + if (YYMAXDEPTH < yystacksize) + yystacksize = YYMAXDEPTH; { - short *yyss1 = yyss; - union yyalloc *yyptr = - (union yyalloc *) YYSTACK_ALLOC (YYSTACK_BYTES (yystacksize)); - if (! yyptr) - goto yyoverflowlab; - YYSTACK_RELOCATE (yyss); - YYSTACK_RELOCATE (yyvs); -# if YYLSP_NEEDED - YYSTACK_RELOCATE (yyls); -# endif -# undef YYSTACK_RELOCATE - if (yyss1 != yyssa) - YYSTACK_FREE (yyss1); + yytype_int16 *yyss1 = yyss; + union yyalloc *yyptr = + (union yyalloc *) YYSTACK_ALLOC (YYSTACK_BYTES (yystacksize)); + if (! yyptr) + goto yyexhaustedlab; + YYSTACK_RELOCATE (yyss_alloc, yyss); + YYSTACK_RELOCATE (yyvs_alloc, yyvs); + YYSTACK_RELOCATE (yyls_alloc, yyls); +# undef YYSTACK_RELOCATE + if (yyss1 != yyssa) + YYSTACK_FREE (yyss1); } # endif #endif /* no yyoverflow */ 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)); + (unsigned long int) yystacksize)); - if (yyssp >= yyss + yystacksize - 1) - YYABORT; + if (yyss + yystacksize - 1 <= yyssp) + YYABORT; } YYDPRINTF ((stderr, "Entering state %d\n", yystate)); - goto yybackup; + if (yystate == YYFINAL) + YYACCEPT; + 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: */ + /* Do appropriate processing given the current state. Read a + lookahead token if we need one and don't already have one. */ /* First try to decide what to do without reference to lookahead token. */ - yyn = yypact[yystate]; - if (yyn == YYFLAG) + if (yypact_value_is_default (yyn)) 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. */ - + /* YYCHAR is either YYEMPTY or YYEOF or a valid lookahead symbol. */ if (yychar == YYEMPTY) { YYDPRINTF ((stderr, "Reading a token: ")); - yychar = YYLEX; + yychar = yylex (&yylval, &yylloc); } - /* 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) - goto yydefault; - + /* 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) + { + YY_LAC_ESTABLISH; + 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) - goto yyerrlab; + if (yytable_value_is_error (yyn)) + goto yyerrlab; + YY_LAC_ESTABLISH; 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 lookahead token. */ + YY_SYMBOL_PRINT ("Shifting", yytoken, &yylval, &yylloc); + + /* Discard the shifted token. */ + yychar = YYEMPTY; + YY_LAC_DISCARD ("shift"); + yystate = yyn; + YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN + *++yyvsp = yylval; + YY_IGNORE_MAYBE_UNINITIALIZED_END + *++yylsp = yylloc; goto yynewstate; @@ -1008,541 +2004,919 @@ yydefault: goto yyreduce; -/*-----------------------------. -| yyreduce -- Do a reduction. | -`-----------------------------*/ -yyreduce: - /* yyn is the number of a rule to reduce with. */ - yylen = yyr2[yyn]; +/*-----------------------------. +| yyreduce -- Do a reduction. | +`-----------------------------*/ +yyreduce: + /* yyn is the number of a rule to reduce with. */ + yylen = yyr2[yyn]; + + /* If YYLEN is nonzero, implement the default value of the action: + '$$ = $1'. + + 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]; + + /* Default location. */ + YYLLOC_DEFAULT (yyloc, (yylsp - yylen), yylen); + YY_REDUCE_PRINT (yyn); + { + int yychar_backup = yychar; + switch (yyn) + { + case 6: +#line 277 "src/parse-gram.y" /* yacc.c:1668 */ + { + code_props plain_code; + code_props_plain_init (&plain_code, (yyvsp[0].chars), (yylsp[0])); + code_props_translate_code (&plain_code); + gram_scanner_last_string_free (); + muscle_code_grow (union_seen ? "post_prologue" : "pre_prologue", + plain_code.code, (yylsp[0])); + code_scanner_last_string_free (); + } +#line 2043 "src/parse-gram.c" /* yacc.c:1668 */ + break; + + case 7: +#line 287 "src/parse-gram.y" /* yacc.c:1668 */ + { + muscle_percent_define_ensure ((yyvsp[0].uniqstr), (yylsp[0]), true); + } +#line 2051 "src/parse-gram.c" /* yacc.c:1668 */ + break; + + case 8: +#line 291 "src/parse-gram.y" /* yacc.c:1668 */ + { + muscle_percent_define_insert ((yyvsp[-1].uniqstr), (yylsp[-1]), (yyvsp[0].value).kind, (yyvsp[0].value).chars, + MUSCLE_PERCENT_DEFINE_GRAMMAR_FILE); + } +#line 2060 "src/parse-gram.c" /* yacc.c:1668 */ + break; + + case 9: +#line 295 "src/parse-gram.y" /* yacc.c:1668 */ + { defines_flag = true; } +#line 2066 "src/parse-gram.c" /* yacc.c:1668 */ + break; + + case 10: +#line 297 "src/parse-gram.y" /* yacc.c:1668 */ + { + defines_flag = true; + spec_defines_file = xstrdup ((yyvsp[0].chars)); + } +#line 2075 "src/parse-gram.c" /* yacc.c:1668 */ + break; + + case 11: +#line 302 "src/parse-gram.y" /* yacc.c:1668 */ + { + muscle_percent_define_insert ("parse.error", (yylsp[0]), muscle_keyword, + "verbose", + MUSCLE_PERCENT_DEFINE_GRAMMAR_FILE); + } +#line 2085 "src/parse-gram.c" /* yacc.c:1668 */ + break; + + case 12: +#line 307 "src/parse-gram.y" /* yacc.c:1668 */ + { expected_sr_conflicts = (yyvsp[0].integer); } +#line 2091 "src/parse-gram.c" /* yacc.c:1668 */ + break; + + case 13: +#line 308 "src/parse-gram.y" /* yacc.c:1668 */ + { expected_rr_conflicts = (yyvsp[0].integer); } +#line 2097 "src/parse-gram.c" /* yacc.c:1668 */ + break; + + case 14: +#line 309 "src/parse-gram.y" /* yacc.c:1668 */ + { spec_file_prefix = (yyvsp[0].chars); } +#line 2103 "src/parse-gram.c" /* yacc.c:1668 */ + break; + + case 15: +#line 311 "src/parse-gram.y" /* yacc.c:1668 */ + { + nondeterministic_parser = true; + glr_parser = true; + } +#line 2112 "src/parse-gram.c" /* yacc.c:1668 */ + break; + + case 16: +#line 316 "src/parse-gram.y" /* yacc.c:1668 */ + { + code_props action; + code_props_symbol_action_init (&action, (yyvsp[0].code), (yylsp[0])); + code_props_translate_code (&action); + gram_scanner_last_string_free (); + muscle_code_grow ("initial_action", action.code, (yylsp[0])); + code_scanner_last_string_free (); + } +#line 2125 "src/parse-gram.c" /* yacc.c:1668 */ + break; - /* If YYLEN is nonzero, implement the default value of the action: - `$$ = $1'. + case 17: +#line 324 "src/parse-gram.y" /* yacc.c:1668 */ + { language_argmatch ((yyvsp[0].chars), grammar_prio, (yylsp[-1])); } +#line 2131 "src/parse-gram.c" /* yacc.c:1668 */ + break; - Otherwise, the following line sets YYVAL to the semantic value of - the lookahead token. 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]; + case 18: +#line 325 "src/parse-gram.y" /* yacc.c:1668 */ + { spec_name_prefix = (yyvsp[0].chars); } +#line 2137 "src/parse-gram.c" /* yacc.c:1668 */ + break; -#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 + case 19: +#line 326 "src/parse-gram.y" /* yacc.c:1668 */ + { no_lines_flag = true; } +#line 2143 "src/parse-gram.c" /* yacc.c:1668 */ + break; -#if YYDEBUG - /* We have to keep this `#if YYDEBUG', since we use variables which - are defined only if `YYDEBUG' is set. */ - if (yydebug) - { - int yyi; + case 20: +#line 327 "src/parse-gram.y" /* yacc.c:1668 */ + { nondeterministic_parser = true; } +#line 2149 "src/parse-gram.c" /* yacc.c:1668 */ + break; - YYFPRINTF (stderr, "Reducing via rule %d (line %d), ", - yyn, yyrline[yyn]); + case 21: +#line 328 "src/parse-gram.y" /* yacc.c:1668 */ + { spec_outfile = (yyvsp[0].chars); } +#line 2155 "src/parse-gram.c" /* yacc.c:1668 */ + break; - /* 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]]); - } -#endif + case 22: +#line 329 "src/parse-gram.y" /* yacc.c:1668 */ + { current_param = (yyvsp[0].param); } +#line 2161 "src/parse-gram.c" /* yacc.c:1668 */ + break; - switch (yyn) { + case 23: +#line 329 "src/parse-gram.y" /* yacc.c:1668 */ + { current_param = param_none; } +#line 2167 "src/parse-gram.c" /* yacc.c:1668 */ + break; -case 1: -#line 132 "parse-gram.y" -{ LOCATION_RESET (yylloc); } + case 24: +#line 330 "src/parse-gram.y" /* yacc.c:1668 */ + { version_check (&(yylsp[0]), (yyvsp[0].chars)); } +#line 2173 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 2: -#line 134 "parse-gram.y" -{ - yycontrol->errcode = 0; - epilogue_set (yyvsp[0].string, yylsp[0]); + + case 25: +#line 332 "src/parse-gram.y" /* yacc.c:1668 */ + { + char const *skeleton_user = (yyvsp[0].chars); + if (strchr (skeleton_user, '/')) + { + size_t dir_length = strlen (current_file); + char *skeleton_build; + while (dir_length && current_file[dir_length - 1] != '/') + --dir_length; + while (dir_length && current_file[dir_length - 1] == '/') + --dir_length; + skeleton_build = + xmalloc (dir_length + 1 + strlen (skeleton_user) + 1); + if (dir_length > 0) + { + memcpy (skeleton_build, current_file, dir_length); + skeleton_build[dir_length++] = '/'; + } + strcpy (skeleton_build + dir_length, skeleton_user); + skeleton_user = uniqstr_new (skeleton_build); + free (skeleton_build); + } + skeleton_arg (skeleton_user, grammar_prio, (yylsp[-1])); } +#line 2201 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 6: -#line 148 "parse-gram.y" -{ - prologue_augment (yyvsp[0].string, yylsp[0]); - } + + case 26: +#line 355 "src/parse-gram.y" /* yacc.c:1668 */ + { token_table_flag = true; } +#line 2207 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 7: -#line 151 "parse-gram.y" -{ debug_flag = 1; } + + case 27: +#line 356 "src/parse-gram.y" /* yacc.c:1668 */ + { report_flag |= report_states; } +#line 2213 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 8: -#line 152 "parse-gram.y" -{ muscle_insert (yyvsp[-1].string, yyvsp[0].string); } + + case 28: +#line 357 "src/parse-gram.y" /* yacc.c:1668 */ + { yacc_flag = true; } +#line 2219 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 9: -#line 153 "parse-gram.y" -{ defines_flag = 1; } + + case 30: +#line 362 "src/parse-gram.y" /* yacc.c:1668 */ + { add_param (current_param, (yyvsp[0].code), (yylsp[0])); } +#line 2225 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 10: -#line 154 "parse-gram.y" -{ error_verbose = 1; } + + case 31: +#line 363 "src/parse-gram.y" /* yacc.c:1668 */ + { add_param (current_param, (yyvsp[0].code), (yylsp[0])); } +#line 2231 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 11: -#line 155 "parse-gram.y" -{ expected_conflicts = yyvsp[0].integer; } + + case 34: +#line 375 "src/parse-gram.y" /* yacc.c:1668 */ + { + grammar_start_symbol_set ((yyvsp[0].symbol), (yylsp[0])); + } +#line 2239 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 12: -#line 156 "parse-gram.y" -{ spec_file_prefix = yyvsp[0].string; } + + case 35: +#line 379 "src/parse-gram.y" /* yacc.c:1668 */ + { + code_props code; + code_props_symbol_action_init (&code, (yyvsp[-1].code), (yylsp[-1])); + code_props_translate_code (&code); + { + symbol_list *list; + for (list = (yyvsp[0].list); list; list = list->next) + symbol_list_code_props_set (list, (yyvsp[-2].code_type), &code); + symbol_list_free ((yyvsp[0].list)); + } + } +#line 2255 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 13: -#line 157 "parse-gram.y" -{ locations_flag = 1; } + + case 36: +#line 391 "src/parse-gram.y" /* yacc.c:1668 */ + { + default_prec = true; + } +#line 2263 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 14: -#line 158 "parse-gram.y" -{ spec_name_prefix = yyvsp[0].string; } + + case 37: +#line 395 "src/parse-gram.y" /* yacc.c:1668 */ + { + default_prec = false; + } +#line 2271 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 15: -#line 159 "parse-gram.y" -{ no_lines_flag = 1; } + + case 38: +#line 399 "src/parse-gram.y" /* yacc.c:1668 */ + { + /* Do not invoke muscle_percent_code_grow here since it invokes + muscle_user_name_list_grow. */ + muscle_code_grow ("percent_code()", (yyvsp[0].chars), (yylsp[0])); + code_scanner_last_string_free (); + } +#line 2282 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 16: -#line 160 "parse-gram.y" -{ spec_outfile = yyvsp[0].string; } + + case 39: +#line 406 "src/parse-gram.y" /* yacc.c:1668 */ + { + muscle_percent_code_grow ((yyvsp[-1].uniqstr), (yylsp[-1]), (yyvsp[0].chars), (yylsp[0])); + code_scanner_last_string_free (); + } +#line 2291 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 17: -#line 161 "parse-gram.y" -{ pure_parser = 1; } + + case 40: +#line 416 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.code_type) = destructor; } +#line 2297 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 18: -#line 162 "parse-gram.y" -{ skeleton = yyvsp[0].string; } + + case 41: +#line 417 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.code_type) = printer; } +#line 2303 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 19: -#line 163 "parse-gram.y" -{ token_table_flag = 1; } + + case 42: +#line 427 "src/parse-gram.y" /* yacc.c:1668 */ + {} +#line 2309 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 20: -#line 164 "parse-gram.y" -{ report_flag = 1; } + + case 43: +#line 428 "src/parse-gram.y" /* yacc.c:1668 */ + { muscle_code_grow ("union_name", (yyvsp[0].uniqstr), (yylsp[0])); } +#line 2315 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 21: -#line 165 "parse-gram.y" -{ yacc_flag = 1; } + + case 44: +#line 433 "src/parse-gram.y" /* yacc.c:1668 */ + { + union_seen = true; + muscle_code_grow ("union_members", (yyvsp[0].chars), (yylsp[0])); + code_scanner_last_string_free (); + } +#line 2325 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 23: -#line 170 "parse-gram.y" -{ current_class = nterm_sym; } + + case 45: +#line 444 "src/parse-gram.y" /* yacc.c:1668 */ + { current_class = nterm_sym; } +#line 2331 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 24: -#line 171 "parse-gram.y" -{ + + case 46: +#line 445 "src/parse-gram.y" /* yacc.c:1668 */ + { current_class = unknown_sym; current_type = NULL; } +#line 2340 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 25: -#line 176 "parse-gram.y" -{ - grammar_start_symbol_set (yyvsp[0].symbol); - } - break; -case 26: -#line 179 "parse-gram.y" -{ current_class = token_sym; } + + case 47: +#line 449 "src/parse-gram.y" /* yacc.c:1668 */ + { current_class = token_sym; } +#line 2346 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 27: -#line 180 "parse-gram.y" -{ + + case 48: +#line 450 "src/parse-gram.y" /* yacc.c:1668 */ + { current_class = unknown_sym; current_type = NULL; } +#line 2355 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 28: -#line 184 "parse-gram.y" -{current_type = yyvsp[0].string; } + + case 49: +#line 455 "src/parse-gram.y" /* yacc.c:1668 */ + { + symbol_list *list; + tag_seen = true; + for (list = (yyvsp[0].list); list; list = list->next) + symbol_type_set (list->content.sym, (yyvsp[-1].uniqstr), (yylsp[-1])); + symbol_list_free ((yyvsp[0].list)); + } +#line 2367 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 29: -#line 185 "parse-gram.y" -{ + + case 50: +#line 466 "src/parse-gram.y" /* yacc.c:1668 */ + { + symbol_list *list; + ++current_prec; + for (list = (yyvsp[0].list); list; list = list->next) + { + symbol_type_set (list->content.sym, current_type, (yylsp[-1])); + symbol_precedence_set (list->content.sym, current_prec, (yyvsp[-2].assoc), (yylsp[-2])); + } + symbol_list_free ((yyvsp[0].list)); current_type = NULL; } +#line 2383 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 30: -#line 189 "parse-gram.y" -{ - typed = 1; - MUSCLE_INSERT_INT ("stype_line", yylsp[-1].first_line); - muscle_insert ("stype", yyvsp[-1].string); + + case 51: +#line 480 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.assoc) = left_assoc; } +#line 2389 "src/parse-gram.c" /* yacc.c:1668 */ + break; + + case 52: +#line 481 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.assoc) = right_assoc; } +#line 2395 "src/parse-gram.c" /* yacc.c:1668 */ + break; + + case 53: +#line 482 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.assoc) = non_assoc; } +#line 2401 "src/parse-gram.c" /* yacc.c:1668 */ + break; + + case 54: +#line 483 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.assoc) = precedence_assoc; } +#line 2407 "src/parse-gram.c" /* yacc.c:1668 */ + break; + + case 55: +#line 487 "src/parse-gram.y" /* yacc.c:1668 */ + { current_type = NULL; } +#line 2413 "src/parse-gram.c" /* yacc.c:1668 */ + break; + + case 56: +#line 488 "src/parse-gram.y" /* yacc.c:1668 */ + { current_type = (yyvsp[0].uniqstr); tag_seen = true; } +#line 2419 "src/parse-gram.c" /* yacc.c:1668 */ + break; + + case 57: +#line 494 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.list) = symbol_list_sym_new ((yyvsp[0].symbol), (yylsp[0])); } +#line 2425 "src/parse-gram.c" /* yacc.c:1668 */ + break; + + case 58: +#line 496 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.list) = symbol_list_append ((yyvsp[-1].list), symbol_list_sym_new ((yyvsp[0].symbol), (yylsp[0]))); } +#line 2431 "src/parse-gram.c" /* yacc.c:1668 */ + break; + + case 59: +#line 501 "src/parse-gram.y" /* yacc.c:1668 */ + { + (yyval.symbol) = (yyvsp[0].symbol); + symbol_class_set ((yyvsp[0].symbol), token_sym, (yylsp[0]), false); } +#line 2440 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 31: -#line 198 "parse-gram.y" -{ current_assoc = yyvsp[-1].assoc; ++current_prec; } + + case 60: +#line 506 "src/parse-gram.y" /* yacc.c:1668 */ + { + (yyval.symbol) = (yyvsp[-1].symbol); + symbol_user_token_number_set ((yyvsp[-1].symbol), (yyvsp[0].integer), (yylsp[0])); + symbol_class_set ((yyvsp[-1].symbol), token_sym, (yylsp[-1]), false); + } +#line 2450 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 32: -#line 200 "parse-gram.y" -{ current_assoc = non_assoc; current_type = NULL; } + + case 61: +#line 516 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.list) = symbol_list_sym_new ((yyvsp[0].symbol), (yylsp[0])); } +#line 2456 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 33: -#line 204 "parse-gram.y" -{ yyval.assoc = left_assoc; } + + case 62: +#line 518 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.list) = symbol_list_append ((yyvsp[-1].list), symbol_list_sym_new ((yyvsp[0].symbol), (yylsp[0]))); } +#line 2462 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 34: -#line 205 "parse-gram.y" -{ yyval.assoc = right_assoc; } + + case 63: +#line 522 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.list) = (yyvsp[0].list); } +#line 2468 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 35: -#line 206 "parse-gram.y" -{ yyval.assoc = non_assoc; } + + case 64: +#line 523 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.list) = symbol_list_append ((yyvsp[-1].list), (yyvsp[0].list)); } +#line 2474 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 36: -#line 210 "parse-gram.y" -{ current_type = NULL;} + + case 65: +#line 527 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.list) = symbol_list_sym_new ((yyvsp[0].symbol), (yylsp[0])); } +#line 2480 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 37: -#line 211 "parse-gram.y" -{ current_type = yyvsp[0].string; } + + case 66: +#line 528 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.list) = symbol_list_type_new ((yyvsp[0].uniqstr), (yylsp[0])); } +#line 2486 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 38: -#line 216 "parse-gram.y" -{ symbol_type_set (yyvsp[0].symbol, current_type); } + + case 68: +#line 533 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.uniqstr) = uniqstr_new ("*"); } +#line 2492 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 39: -#line 217 "parse-gram.y" -{ symbol_type_set (yyvsp[0].symbol, current_type); } + + case 69: +#line 534 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.uniqstr) = uniqstr_new (""); } +#line 2498 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 40: -#line 223 "parse-gram.y" -{ - symbol_type_set (yyvsp[0].symbol, current_type); - symbol_precedence_set (yyvsp[0].symbol, current_prec, current_assoc); + + case 70: +#line 540 "src/parse-gram.y" /* yacc.c:1668 */ + { + current_type = (yyvsp[0].uniqstr); + tag_seen = true; } +#line 2507 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 41: -#line 228 "parse-gram.y" -{ - symbol_type_set (yyvsp[0].symbol, current_type); - symbol_precedence_set (yyvsp[0].symbol, current_prec, current_assoc); + + case 71: +#line 545 "src/parse-gram.y" /* yacc.c:1668 */ + { + symbol_class_set ((yyvsp[0].symbol), current_class, (yylsp[0]), true); + symbol_type_set ((yyvsp[0].symbol), current_type, (yylsp[0])); } +#line 2516 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 42: -#line 238 "parse-gram.y" -{ - current_type = yyvsp[0].string; - } - break; -case 43: -#line 242 "parse-gram.y" -{ - symbol_class_set (yyvsp[0].symbol, current_class); - symbol_type_set (yyvsp[0].symbol, current_type); - } + + case 72: +#line 550 "src/parse-gram.y" /* yacc.c:1668 */ + { + symbol_class_set ((yyvsp[-1].symbol), current_class, (yylsp[-1]), true); + symbol_type_set ((yyvsp[-1].symbol), current_type, (yylsp[-1])); + symbol_user_token_number_set ((yyvsp[-1].symbol), (yyvsp[0].integer), (yylsp[0])); + } +#line 2526 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 44: -#line 247 "parse-gram.y" -{ - symbol_class_set (yyvsp[-1].symbol, current_class); - symbol_type_set (yyvsp[-1].symbol, current_type); - symbol_user_token_number_set (yyvsp[-1].symbol, yyvsp[0].integer); + + case 73: +#line 556 "src/parse-gram.y" /* yacc.c:1668 */ + { + symbol_class_set ((yyvsp[-1].symbol), current_class, (yylsp[-1]), true); + symbol_type_set ((yyvsp[-1].symbol), current_type, (yylsp[-1])); + symbol_make_alias ((yyvsp[-1].symbol), (yyvsp[0].symbol), (yyloc)); } +#line 2536 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 45: -#line 253 "parse-gram.y" -{ - symbol_class_set (yyvsp[-1].symbol, current_class); - symbol_type_set (yyvsp[-1].symbol, current_type); - symbol_make_alias (yyvsp[-1].symbol, yyvsp[0].symbol); + + case 74: +#line 562 "src/parse-gram.y" /* yacc.c:1668 */ + { + symbol_class_set ((yyvsp[-2].symbol), current_class, (yylsp[-2]), true); + symbol_type_set ((yyvsp[-2].symbol), current_type, (yylsp[-2])); + symbol_user_token_number_set ((yyvsp[-2].symbol), (yyvsp[-1].integer), (yylsp[-1])); + symbol_make_alias ((yyvsp[-2].symbol), (yyvsp[0].symbol), (yyloc)); } +#line 2547 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 46: -#line 259 "parse-gram.y" -{ - symbol_class_set (yyvsp[-2].symbol, current_class); - symbol_type_set (yyvsp[-2].symbol, current_type); - symbol_user_token_number_set (yyvsp[-2].symbol, yyvsp[-1].integer); - symbol_make_alias (yyvsp[-2].symbol, yyvsp[0].symbol); + + case 81: +#line 592 "src/parse-gram.y" /* yacc.c:1668 */ + { + yyerrok; } +#line 2555 "src/parse-gram.c" /* yacc.c:1668 */ + break; + + case 82: +#line 598 "src/parse-gram.y" /* yacc.c:1668 */ + { current_lhs ((yyvsp[-1].symbol), (yylsp[-1]), (yyvsp[0].named_ref)); } +#line 2561 "src/parse-gram.c" /* yacc.c:1668 */ + break; + + case 83: +#line 599 "src/parse-gram.y" /* yacc.c:1668 */ + { + /* Free the current lhs. */ + current_lhs (0, (yylsp[-3]), 0); + } +#line 2570 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 47: -#line 270 "parse-gram.y" -{;} + + case 84: +#line 606 "src/parse-gram.y" /* yacc.c:1668 */ + { grammar_current_rule_end ((yylsp[0])); } +#line 2576 "src/parse-gram.c" /* yacc.c:1668 */ + break; + + case 85: +#line 607 "src/parse-gram.y" /* yacc.c:1668 */ + { grammar_current_rule_end ((yylsp[0])); } +#line 2582 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 48: -#line 272 "parse-gram.y" -{;} + + case 87: +#line 614 "src/parse-gram.y" /* yacc.c:1668 */ + { grammar_current_rule_begin (current_lhs_symbol, current_lhs_location, + current_lhs_named_ref); } +#line 2589 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 51: -#line 281 "parse-gram.y" -{ current_lhs = yyvsp[-1].symbol; } + + case 88: +#line 617 "src/parse-gram.y" /* yacc.c:1668 */ + { grammar_current_rule_symbol_append ((yyvsp[-1].symbol), (yylsp[-1]), (yyvsp[0].named_ref)); } +#line 2595 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 52: -#line 282 "parse-gram.y" -{;} + + case 89: +#line 619 "src/parse-gram.y" /* yacc.c:1668 */ + { grammar_current_rule_action_append ((yyvsp[-1].code), (yylsp[-1]), (yyvsp[0].named_ref), false); } +#line 2601 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 53: -#line 286 "parse-gram.y" -{ grammar_rule_end (); } + + case 90: +#line 621 "src/parse-gram.y" /* yacc.c:1668 */ + { grammar_current_rule_action_append ((yyvsp[0].code), (yylsp[0]), NULL, true); } +#line 2607 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 54: -#line 287 "parse-gram.y" -{ grammar_rule_end (); } + + case 91: +#line 623 "src/parse-gram.y" /* yacc.c:1668 */ + { grammar_current_rule_empty_set ((yylsp[0])); } +#line 2613 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 55: -#line 292 "parse-gram.y" -{ grammar_rule_begin (current_lhs); } + + case 92: +#line 625 "src/parse-gram.y" /* yacc.c:1668 */ + { grammar_current_rule_prec_set ((yyvsp[0].symbol), (yylsp[0])); } +#line 2619 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 56: -#line 294 "parse-gram.y" -{ grammar_current_rule_symbol_append (yyvsp[0].symbol); } + + case 93: +#line 627 "src/parse-gram.y" /* yacc.c:1668 */ + { grammar_current_rule_dprec_set ((yyvsp[0].integer), (yylsp[0])); } +#line 2625 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 57: -#line 296 "parse-gram.y" -{ grammar_current_rule_action_append (yyvsp[0].string, yylsp[0].first_line); } + + case 94: +#line 629 "src/parse-gram.y" /* yacc.c:1668 */ + { grammar_current_rule_merge_set ((yyvsp[0].uniqstr), (yylsp[0])); } +#line 2631 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 58: -#line 298 "parse-gram.y" -{ grammar_current_rule_prec_set (yyvsp[0].symbol); } + + case 95: +#line 633 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.named_ref) = 0; } +#line 2637 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 59: -#line 302 "parse-gram.y" -{ yyval.symbol = yyvsp[0].symbol; } + + case 96: +#line 634 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.named_ref) = named_ref_new((yyvsp[0].uniqstr), (yylsp[0])); } +#line 2643 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 60: -#line 303 "parse-gram.y" -{ yyval.symbol = yyvsp[0].symbol; } + + case 98: +#line 645 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.uniqstr) = uniqstr_new ((yyvsp[0].chars)); } +#line 2649 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 61: -#line 304 "parse-gram.y" -{ yyval.symbol = getsym (yyvsp[0].string); } + + case 99: +#line 670 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.value).kind = muscle_keyword; (yyval.value).chars = ""; } +#line 2655 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 62: -#line 309 "parse-gram.y" -{ yyval.string = yyvsp[0].string; } + + case 100: +#line 671 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.value).kind = muscle_keyword; (yyval.value).chars = (yyvsp[0].uniqstr); } +#line 2661 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 63: -#line 315 "parse-gram.y" -{ - yyval.symbol = getsym (yyvsp[0].string); - symbol_class_set (yyval.symbol, token_sym); - } + + case 101: +#line 672 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.value).kind = muscle_string; (yyval.value).chars = (yyvsp[0].chars); } +#line 2667 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 64: -#line 324 "parse-gram.y" -{ - yyval.string = yyvsp[0].string + 1; - yyval.string[strlen (yyval.string) - 1] = '\0'; - } + + case 102: +#line 673 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.value).kind = muscle_code; (yyval.value).chars = (yyvsp[0].chars); } +#line 2673 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 65: -#line 332 "parse-gram.y" -{ - yyval.string = xstrdup (""); + + case 103: +#line 683 "src/parse-gram.y" /* yacc.c:1668 */ + { + code_props plain_code; + (yyvsp[0].code)[strlen ((yyvsp[0].code)) - 1] = '\0'; + code_props_plain_init (&plain_code, (yyvsp[0].code)+1, (yylsp[0])); + code_props_translate_code (&plain_code); + gram_scanner_last_string_free (); + (yyval.chars) = plain_code.code; } +#line 2686 "src/parse-gram.c" /* yacc.c:1668 */ break; -case 66: -#line 336 "parse-gram.y" -{ - yyval.string = yyvsp[0].string; + + case 104: +#line 703 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.symbol) = symbol_from_uniqstr ((yyvsp[0].uniqstr), (yylsp[0])); } +#line 2692 "src/parse-gram.c" /* yacc.c:1668 */ + break; + + case 105: +#line 705 "src/parse-gram.y" /* yacc.c:1668 */ + { + (yyval.symbol) = symbol_get (char_name ((yyvsp[0].character)), (yylsp[0])); + symbol_class_set ((yyval.symbol), token_sym, (yylsp[0]), false); + symbol_user_token_number_set ((yyval.symbol), (yyvsp[0].character), (yylsp[0])); } +#line 2702 "src/parse-gram.c" /* yacc.c:1668 */ break; -} -#line 705 "/usr/share/bison/bison.simple" + case 106: +#line 713 "src/parse-gram.y" /* yacc.c:1668 */ + { (yyval.symbol) = symbol_from_uniqstr ((yyvsp[0].uniqstr), (yylsp[0])); } +#line 2708 "src/parse-gram.c" /* yacc.c:1668 */ + break; - - yyvsp -= yylen; - yyssp -= yylen; -#if YYLSP_NEEDED - yylsp -= yylen; -#endif + case 109: +#line 725 "src/parse-gram.y" /* yacc.c:1668 */ + { + (yyval.symbol) = symbol_get (quotearg_style (c_quoting_style, (yyvsp[0].chars)), (yylsp[0])); + symbol_class_set ((yyval.symbol), token_sym, (yylsp[0]), false); + } +#line 2717 "src/parse-gram.c" /* yacc.c:1668 */ + break; -#if YYDEBUG - if (yydebug) + case 111: +#line 734 "src/parse-gram.y" /* yacc.c:1668 */ { - short *yyssp1 = yyss - 1; - YYFPRINTF (stderr, "state stack now"); - while (yyssp1 != yyssp) - YYFPRINTF (stderr, " %d", *++yyssp1); - YYFPRINTF (stderr, "\n"); + code_props plain_code; + code_props_plain_init (&plain_code, (yyvsp[0].chars), (yylsp[0])); + code_props_translate_code (&plain_code); + gram_scanner_last_string_free (); + muscle_code_grow ("epilogue", plain_code.code, (yylsp[0])); + code_scanner_last_string_free (); } -#endif +#line 2730 "src/parse-gram.c" /* yacc.c:1668 */ + break; + + +#line 2734 "src/parse-gram.c" /* yacc.c:1668 */ + default: break; + } + if (yychar_backup != yychar) + YY_LAC_DISCARD ("yychar change"); + } + /* User semantic actions sometimes alter yychar, and that requires + that yytoken be updated with the new translation. We take the + approach of translating immediately before every use of yytoken. + One alternative is translating here after every semantic action, + but that translation would be missed if the semantic action invokes + YYABORT, YYACCEPT, or YYERROR immediately after altering yychar or + if it invokes YYBACKUP. In the case of YYABORT or YYACCEPT, an + incorrect destructor might then be invoked immediately. In the + case of YYERROR or YYBACKUP, subsequent parser actions might lead + to an incorrect destructor call or verbose syntax error message + before the lookahead is translated. */ + YY_SYMBOL_PRINT ("-> $$ =", yyr1[yyn], &yyval, &yyloc); + + 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 + /* Now 'shift' the result of the reduction. Determine what state that goes to, based on the state we popped back to and the rule number reduced by. */ 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; -/*------------------------------------. -| yyerrlab -- here on detecting error | -`------------------------------------*/ +/*--------------------------------------. +| yyerrlab -- here on detecting error. | +`--------------------------------------*/ yyerrlab: + /* Make sure we have latest lookahead translation. See comments at + user semantic actions for why this is necessary. */ + yytoken = yychar == YYEMPTY ? YYEMPTY : YYTRANSLATE (yychar); + /* If not already recovering from an error, report this error. */ 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); - YYSTACK_FREE (yymsg); - } - else - yyerror ("parse error; also virtual memory exhausted"); - } - else -#endif /* defined (YYERROR_VERBOSE) */ - yyerror ("parse error"); +#if ! YYERROR_VERBOSE + yyerror (&yylloc, YY_("syntax error")); +#else +# define YYSYNTAX_ERROR yysyntax_error (&yymsg_alloc, &yymsg, \ + yyesa, &yyes, &yyes_capacity, \ + yyssp, yytoken) + { + char const *yymsgp = YY_("syntax error"); + int yysyntax_error_status; + if (yychar != YYEMPTY) + YY_LAC_ESTABLISH; + yysyntax_error_status = YYSYNTAX_ERROR; + if (yysyntax_error_status == 0) + yymsgp = yymsg; + else if (yysyntax_error_status == 1) + { + if (yymsg != yymsgbuf) + YYSTACK_FREE (yymsg); + yymsg = (char *) YYSTACK_ALLOC (yymsg_alloc); + if (!yymsg) + { + yymsg = yymsgbuf; + yymsg_alloc = sizeof yymsgbuf; + yysyntax_error_status = 2; + } + else + { + yysyntax_error_status = YYSYNTAX_ERROR; + yymsgp = yymsg; + } + } + yyerror (&yylloc, yymsgp); + if (yysyntax_error_status == 2) + goto yyexhaustedlab; + } +# undef YYSYNTAX_ERROR +#endif } - goto yyerrlab1; + yyerror_range[1] = yylloc; -/*--------------------------------------------------. -| yyerrlab1 -- error raised explicitly by an action | -`--------------------------------------------------*/ -yyerrlab1: if (yyerrstatus == 3) { /* If just tried and failed to reuse lookahead 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; + error, discard it. */ + + if (yychar <= YYEOF) + { + /* Return failure if at end of input. */ + if (yychar == YYEOF) + YYABORT; + } + else + { + yydestruct ("Error: discarding", + yytoken, &yylval, &yylloc); + yychar = YYEMPTY; + } } /* Else will try to reuse lookahead token after shifting the error token. */ + goto yyerrlab1; - yyerrstatus = 3; /* Each real token shifted decrements this */ - - goto yyerrhandle; - - -/*-------------------------------------------------------------------. -| 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. */ - /* If its default is to accept any token, ok. Otherwise pop it. */ - yyn = yydefact[yystate]; - if (yyn) - goto yydefault; -#endif +/*---------------------------------------------------. +| yyerrorlab -- error raised explicitly by YYERROR. | +`---------------------------------------------------*/ +yyerrorlab: + + /* 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; + + yyerror_range[1] = yylsp[1-yylen]; + /* Do not reclaim the symbols of the rule whose 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"); + yyn = yypact[yystate]; + if (!yypact_value_is_default (yyn)) + { + yyn += YYTERROR; + if (0 <= yyn && yyn <= YYLAST && yycheck[yyn] == YYTERROR) + { + yyn = yytable[yyn]; + if (0 < yyn) + break; + } + } + + /* Pop the current state because it cannot handle the error token. */ + if (yyssp == yyss) + YYABORT; + + yyerror_range[1] = *yylsp; + yydestruct ("Error: popping", + yystos[yystate], yyvsp, yylsp); + YYPOPSTACK (1); + yystate = *yyssp; + YY_STACK_PRINT (yyss, yyssp); } -#endif - -/*--------------. -| yyerrhandle. | -`--------------*/ -yyerrhandle: - yyn = yypact[yystate]; - if (yyn == YYFLAG) - goto yyerrdefault; - - 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; - } - else if (yyn == 0) - goto yyerrpop; + /* If the stack popping above didn't lose the initial context for the + current lookahead token, the shift below will for sure. */ + YY_LAC_DISCARD ("error recovery"); - if (yyn == YYFINAL) - YYACCEPT; + YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN + *++yyvsp = yylval; + YY_IGNORE_MAYBE_UNINITIALIZED_END - YYDPRINTF ((stderr, "Shifting error token, ")); + yyerror_range[2] = yylloc; + /* Using YYLLOC is tempting, but would change the location of + the lookahead. YYLOC is available though. */ + YYLLOC_DEFAULT (yyloc, yyerror_range, 2); + *++yylsp = yyloc; - *++yyvsp = yylval; -#if YYLSP_NEEDED - *++yylsp = yylloc; -#endif + /* Shift the error token. */ + YY_SYMBOL_PRINT ("Shifting", yystos[yyn], yyvsp, yylsp); yystate = yyn; goto yynewstate; @@ -1562,68 +2936,158 @@ yyabortlab: yyresult = 1; goto yyreturn; -/*---------------------------------------------. -| yyoverflowab -- parser overflow comes here. | -`---------------------------------------------*/ -yyoverflowlab: - yyerror ("parser stack overflow"); +#if 1 +/*-------------------------------------------------. +| yyexhaustedlab -- memory exhaustion comes here. | +`-------------------------------------------------*/ +yyexhaustedlab: + yyerror (&yylloc, YY_("memory exhausted")); yyresult = 2; /* Fall through. */ +#endif yyreturn: + if (yychar != YYEMPTY) + { + /* Make sure we have latest lookahead translation. See comments at + user semantic actions for why this is necessary. */ + yytoken = YYTRANSLATE (yychar); + yydestruct ("Cleanup: discarding lookahead", + yytoken, &yylval, &yylloc); + } + /* Do not reclaim the symbols of the rule whose action triggered + this YYABORT or YYACCEPT. */ + YYPOPSTACK (yylen); + YY_STACK_PRINT (yyss, yyssp); + while (yyssp != yyss) + { + yydestruct ("Cleanup: popping", + yystos[*yyssp], yyvsp, yylsp); + YYPOPSTACK (1); + } #ifndef yyoverflow if (yyss != yyssa) YYSTACK_FREE (yyss); +#endif + if (yyes != yyesa) + YYSTACK_FREE (yyes); +#if YYERROR_VERBOSE + if (yymsg != yymsgbuf) + YYSTACK_FREE (yymsg); #endif return yyresult; } -#line 345 "parse-gram.y" +#line 744 "src/parse-gram.y" /* yacc.c:1928 */ + + +/* Return the location of the left-hand side of a rule whose + right-hand side is RHS[1] ... RHS[N]. Ignore empty nonterminals in + the right-hand side, and return an empty location equal to the end + boundary of RHS[0] if the right-hand side is empty. */ + +static YYLTYPE +lloc_default (YYLTYPE const *rhs, int n) +{ + int i; + YYLTYPE loc; + + /* SGI MIPSpro 7.4.1m miscompiles "loc.start = loc.end = rhs[n].end;". + The bug is fixed in 7.4.2m, but play it safe for now. */ + loc.start = rhs[n].end; + loc.end = rhs[n].end; + + /* Ignore empty nonterminals the start of the right-hand side. + Do not bother to ignore them at the end of the right-hand side, + since empty nonterminals have the same end as their predecessors. */ + for (i = 1; i <= n; i++) + if (! equal_boundaries (rhs[i].start, rhs[i].end)) + { + loc.start = rhs[i].start; + break; + } + + return loc; +} + + +static void +add_param (param_type type, char *decl, location loc) +{ + static char const alphanum[26 + 26 + 1 + 10] = + "abcdefghijklmnopqrstuvwxyz" + "ABCDEFGHIJKLMNOPQRSTUVWXYZ" + "_" + "0123456789"; + + char const *name_start = NULL; + { + char *p; + /* Stop on last actual character. */ + for (p = decl; p[1]; p++) + if ((p == decl + || ! memchr (alphanum, p[-1], sizeof alphanum)) + && memchr (alphanum, p[0], sizeof alphanum - 10)) + name_start = p; + + /* Strip the surrounding '{' and '}', and any blanks just inside + the braces. */ + --p; + while (c_isspace ((unsigned char) *p)) + --p; + p[1] = '\0'; + ++decl; + while (c_isspace ((unsigned char) *decl)) + ++decl; + } + + if (! name_start) + complain (&loc, complaint, _("missing identifier in parameter declaration")); + else + { + char *name = xmemdup0 (name_start, strspn (name_start, alphanum)); + if (type & param_lex) + muscle_pair_list_grow ("lex_param", decl, name); + if (type & param_parse) + muscle_pair_list_grow ("parse_param", decl, name); + free (name); + } + + gram_scanner_last_string_free (); +} -/*------------------------------------------------------------------. -| When debugging the parser, display tokens' locations and values. | -`------------------------------------------------------------------*/ static void -yyprint (FILE *file, - const location_t *loc, int type, const yystype *value) +version_check (location const *loc, char const *version) { - fputs (" (", file); - LOCATION_PRINT (file, *loc); - fputs (")", file); - switch (type) + if (strverscmp (version, PACKAGE_VERSION) > 0) { - case CHARACTER: - fprintf (file, " = '%s'", value->string); - break; - - case ID: - fprintf (file, " = %s", value->symbol->tag); - break; - - case INT: - fprintf (file, " = %d", value->integer); - break; - - case STRING: - fprintf (file, " = \"%s\"", value->string); - break; - - case TYPE: - fprintf (file, " = <%s>", value->string); - break; - - case BRACED_CODE: - case PROLOGUE: - case EPILOGUE: - fprintf (file, " = {{ %s }}", value->string); - break; + complain (loc, complaint, "require bison %s, but have %s", + version, PACKAGE_VERSION); + exit (EX_MISMATCH); } } -void -gram_error (gram_control_t *control ATTRIBUTE_UNUSED, - location_t *yylloc, const char *msg) +static void +gram_error (location const *loc, char const *msg) +{ + complain (loc, complaint, "%s", msg); +} + +char const * +token_name (int type) +{ + return yytname[YYTRANSLATE (type)]; +} + +static char const * +char_name (char c) { - LOCATION_PRINT (stderr, *yylloc); - fprintf (stderr, ": %s\n", msg); + if (c == '\'') + return "'\\''"; + else + { + char buf[4]; + buf[0] = '\''; buf[1] = c; buf[2] = '\''; buf[3] = '\0'; + return quotearg_style (escape_quoting_style, buf); + } }