X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/62ddaef6a71b1fd80b0f286ae78541a86fd92d8e..1bd0dedaaa08858f4ad13a11a75d814fd7ceb5ce:/src/parse-gram.c diff --git a/src/parse-gram.c b/src/parse-gram.c index 27596094..b951f2fb 100644 --- a/src/parse-gram.c +++ b/src/parse-gram.c @@ -1,7 +1,7 @@ -/* A Bison parser, made by GNU Bison 1.75b. */ +/* A Bison parser, made by GNU Bison 2.0c. */ /* Skeleton parser for Yacc-like parsing with Bison, - Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002 Free Software Foundation, Inc. + Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005 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 @@ -15,8 +15,8 @@ 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. */ + Foundation, Inc., 51 Franklin Street, Fifth Floor, + Boston, MA 02110-1301, USA. */ /* As a special exception, when this file is copied by Bison into a Bison output file, you may use that output file without restriction. @@ -45,8 +45,7 @@ /* Using locations. */ #define YYLSP_NEEDED 1 -/* If NAME_PREFIX is specified substitute the variables and functions - names. */ +/* Substitute the variable and function names. */ #define yyparse gram_parse #define yylex gram_lex #define yyerror gram_error @@ -78,35 +77,39 @@ PERCENT_DPREC = 270, PERCENT_MERGE = 271, PERCENT_DEBUG = 272, - PERCENT_DEFINE = 273, - PERCENT_DEFINES = 274, - PERCENT_ERROR_VERBOSE = 275, - PERCENT_EXPECT = 276, - PERCENT_FILE_PREFIX = 277, - PERCENT_GLR_PARSER = 278, - PERCENT_LEX_PARAM = 279, - PERCENT_LOCATIONS = 280, - PERCENT_NAME_PREFIX = 281, - PERCENT_NO_LINES = 282, - PERCENT_OUTPUT = 283, - PERCENT_PARSE_PARAM = 284, - PERCENT_PURE_PARSER = 285, - PERCENT_SKELETON = 286, - PERCENT_START = 287, - PERCENT_TOKEN_TABLE = 288, - PERCENT_VERBOSE = 289, - PERCENT_YACC = 290, - TYPE = 291, - EQUAL = 292, - SEMICOLON = 293, - COLON = 294, - COMMA = 295, - PIPE = 296, - ID = 297, - PERCENT_PERCENT = 298, - PROLOGUE = 299, - EPILOGUE = 300, - BRACED_CODE = 301 + PERCENT_DEFAULT_PREC = 273, + PERCENT_DEFINE = 274, + PERCENT_DEFINES = 275, + PERCENT_ERROR_VERBOSE = 276, + PERCENT_EXPECT = 277, + PERCENT_EXPECT_RR = 278, + PERCENT_FILE_PREFIX = 279, + PERCENT_GLR_PARSER = 280, + PERCENT_INITIAL_ACTION = 281, + PERCENT_LEX_PARAM = 282, + PERCENT_LOCATIONS = 283, + PERCENT_NAME_PREFIX = 284, + PERCENT_NO_DEFAULT_PREC = 285, + PERCENT_NO_LINES = 286, + PERCENT_NONDETERMINISTIC_PARSER = 287, + PERCENT_OUTPUT = 288, + PERCENT_PARSE_PARAM = 289, + PERCENT_PURE_PARSER = 290, + PERCENT_SKELETON = 291, + PERCENT_START = 292, + PERCENT_TOKEN_TABLE = 293, + PERCENT_VERBOSE = 294, + PERCENT_YACC = 295, + TYPE = 296, + EQUAL = 297, + SEMICOLON = 298, + PIPE = 299, + ID = 300, + ID_COLON = 301, + PERCENT_PERCENT = 302, + PROLOGUE = 303, + EPILOGUE = 304, + BRACED_CODE = 305 }; #endif #define GRAM_EOF 0 @@ -125,94 +128,101 @@ #define PERCENT_DPREC 270 #define PERCENT_MERGE 271 #define PERCENT_DEBUG 272 -#define PERCENT_DEFINE 273 -#define PERCENT_DEFINES 274 -#define PERCENT_ERROR_VERBOSE 275 -#define PERCENT_EXPECT 276 -#define PERCENT_FILE_PREFIX 277 -#define PERCENT_GLR_PARSER 278 -#define PERCENT_LEX_PARAM 279 -#define PERCENT_LOCATIONS 280 -#define PERCENT_NAME_PREFIX 281 -#define PERCENT_NO_LINES 282 -#define PERCENT_OUTPUT 283 -#define PERCENT_PARSE_PARAM 284 -#define PERCENT_PURE_PARSER 285 -#define PERCENT_SKELETON 286 -#define PERCENT_START 287 -#define PERCENT_TOKEN_TABLE 288 -#define PERCENT_VERBOSE 289 -#define PERCENT_YACC 290 -#define TYPE 291 -#define EQUAL 292 -#define SEMICOLON 293 -#define COLON 294 -#define COMMA 295 -#define PIPE 296 -#define ID 297 -#define PERCENT_PERCENT 298 -#define PROLOGUE 299 -#define EPILOGUE 300 -#define BRACED_CODE 301 +#define PERCENT_DEFAULT_PREC 273 +#define PERCENT_DEFINE 274 +#define PERCENT_DEFINES 275 +#define PERCENT_ERROR_VERBOSE 276 +#define PERCENT_EXPECT 277 +#define PERCENT_EXPECT_RR 278 +#define PERCENT_FILE_PREFIX 279 +#define PERCENT_GLR_PARSER 280 +#define PERCENT_INITIAL_ACTION 281 +#define PERCENT_LEX_PARAM 282 +#define PERCENT_LOCATIONS 283 +#define PERCENT_NAME_PREFIX 284 +#define PERCENT_NO_DEFAULT_PREC 285 +#define PERCENT_NO_LINES 286 +#define PERCENT_NONDETERMINISTIC_PARSER 287 +#define PERCENT_OUTPUT 288 +#define PERCENT_PARSE_PARAM 289 +#define PERCENT_PURE_PARSER 290 +#define PERCENT_SKELETON 291 +#define PERCENT_START 292 +#define PERCENT_TOKEN_TABLE 293 +#define PERCENT_VERBOSE 294 +#define PERCENT_YACC 295 +#define TYPE 296 +#define EQUAL 297 +#define SEMICOLON 298 +#define PIPE 299 +#define ID 300 +#define ID_COLON 301 +#define PERCENT_PERCENT 302 +#define PROLOGUE 303 +#define EPILOGUE 304 +#define BRACED_CODE 305 /* Copy the first part of user declarations. */ -#line 31 "parse-gram.y" +#line 1 "parse-gram.y" +/* Bison Grammar Parser -*- C -*- + + Copyright (C) 2002, 2003, 2004, 2005 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 2 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, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA + 02110-1301 USA +*/ #include "system.h" + #include "complain.h" -#include "muscle_tab.h" +#include "conflicts.h" #include "files.h" #include "getargs.h" -#include "output.h" -#include "symlist.h" #include "gram.h" +#include "muscle_tab.h" +#include "output.h" +#include "quotearg.h" #include "reader.h" -#include "conflicts.h" +#include "symlist.h" -/* Produce verbose parse errors. */ -#define YYERROR_VERBOSE 1 -#define YYLLOC_DEFAULT(Current, Rhs, N) \ -do { \ - if (N) \ - { \ - Current.first_column = Rhs[1].first_column; \ - Current.first_line = Rhs[1].first_line; \ - Current.last_column = Rhs[N].last_column; \ - Current.last_line = Rhs[N].last_line; \ - } \ - else \ - { \ - Current = Rhs[0]; \ - } \ -} while (0) +#define YYLLOC_DEFAULT(Current, Rhs, N) (Current) = lloc_default (Rhs, N) +static YYLTYPE lloc_default (YYLTYPE const *, int); -/* 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) +#define YY_LOCATION_PRINT(File, Loc) \ + location_print (File, Loc) -/* Request detailed parse error messages, and pass them to GRAM_ERROR. - FIXME: depends on the undocumented availability of YYLLOC.t */ +/* Request detailed syntax error messages, and pass them to GRAM_ERROR. + FIXME: depends on the undocumented availability of YYLLOC. */ #undef yyerror #define yyerror(Msg) \ gram_error (&yylloc, Msg) +static void gram_error (location const *, char const *); -#define YYPRINT(File, Type, Value) \ - yyprint (File, Type, &Value) -static void yyprint (FILE *file, int type, const yystype *value); +static void add_param (char const *, char *, location); -symbol_class current_class = unknown_sym; -char *current_type = 0; -symbol_t *current_lhs; -location_t current_lhs_location; -assoc_t current_assoc; -int current_prec = 0; -braced_code_t current_braced_code = action_braced_code; +static symbol_class current_class = unknown_sym; +static uniqstr current_type = 0; +symbol *current_lhs; +location current_lhs_location; +assoc current_assoc; +static int current_prec = 0; /* Enabling traces. */ @@ -225,55 +235,90 @@ braced_code_t current_braced_code = action_braced_code; # undef YYERROR_VERBOSE # define YYERROR_VERBOSE 1 #else -# define YYERROR_VERBOSE 0 +# define YYERROR_VERBOSE 1 +#endif + +/* Enabling the token table. */ +#ifndef YYTOKEN_TABLE +# define YYTOKEN_TABLE 0 #endif -#ifndef YYSTYPE -#line 89 "parse-gram.y" -typedef union { - symbol_t *symbol; - symbol_list_t *list; +#if ! defined (YYSTYPE) && ! defined (YYSTYPE_IS_DECLARED) +#line 79 "parse-gram.y" +typedef union YYSTYPE { + symbol *symbol; + symbol_list *list; int integer; - char *string; - assoc_t assoc; -} yystype; -/* Line 212 of /tmp/prefix/share/bison/yacc.c. */ -#line 241 "parse-gram.c" -# define YYSTYPE yystype + char *chars; + assoc assoc; + uniqstr uniqstr; +} YYSTYPE; +/* Line 196 of yacc.c. */ +#line 258 "parse-gram.c" +# define yystype YYSTYPE /* obsolescent; will be withdrawn */ +# define YYSTYPE_IS_DECLARED 1 # define YYSTYPE_IS_TRIVIAL 1 #endif -#ifndef YYLTYPE -typedef struct yyltype +#if ! defined (YYLTYPE) && ! defined (YYLTYPE_IS_DECLARED) +typedef struct YYLTYPE { int first_line; int first_column; int last_line; int last_column; -} yyltype; -# define YYLTYPE yyltype +} YYLTYPE; +# define yyltype YYLTYPE /* obsolescent; will be withdrawn */ +# define YYLTYPE_IS_DECLARED 1 # define YYLTYPE_IS_TRIVIAL 1 #endif + /* Copy the second part of user declarations. */ -/* Line 232 of /tmp/prefix/share/bison/yacc.c. */ -#line 262 "parse-gram.c" +/* Line 219 of yacc.c. */ +#line 282 "parse-gram.c" + +#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) && (defined (__STDC__) || defined (__cplusplus)) +# include /* INFRINGES ON USER NAME SPACE */ +# define YYSIZE_T size_t +#endif +#if ! defined (YYSIZE_T) +# define YYSIZE_T unsigned int +#endif + +#ifndef YY_ +# if 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 #if ! defined (yyoverflow) || YYERROR_VERBOSE /* The parser invokes alloca or malloc; define the necessary symbols. */ -# if YYSTACK_USE_ALLOCA -# define YYSTACK_ALLOC alloca -# else -# ifndef YYSTACK_USE_ALLOCA -# if defined (alloca) || defined (_ALLOCA_H) -# define YYSTACK_ALLOC alloca +# ifdef YYSTACK_USE_ALLOCA +# if YYSTACK_USE_ALLOCA +# ifdef __GNUC__ +# define YYSTACK_ALLOC __builtin_alloca # else -# ifdef __GNUC__ -# define YYSTACK_ALLOC __builtin_alloca +# define YYSTACK_ALLOC alloca +# if defined (__STDC__) || defined (__cplusplus) +# include /* INFRINGES ON USER NAME SPACE */ +# define YYINCLUDED_STDLIB_H # endif # endif # endif @@ -282,51 +327,78 @@ typedef struct yyltype # 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 2005 */ +# endif # else -# if defined (__STDC__) || defined (__cplusplus) -# include /* INFRINGES ON USER NAME SPACE */ -# define YYSIZE_T size_t +# define YYSTACK_ALLOC YYMALLOC +# define YYSTACK_FREE YYFREE +# ifndef YYSTACK_ALLOC_MAXIMUM +# define YYSTACK_ALLOC_MAXIMUM ((YYSIZE_T) -1) +# endif +# ifdef __cplusplus +extern "C" { +# endif +# ifndef YYMALLOC +# define YYMALLOC malloc +# if (! defined (malloc) && ! defined (YYINCLUDED_STDLIB_H) \ + && (defined (__STDC__) || defined (__cplusplus))) +void *malloc (YYSIZE_T); /* INFRINGES ON USER NAME SPACE */ +# endif +# endif +# ifndef YYFREE +# define YYFREE free +# if (! defined (free) && ! defined (YYINCLUDED_STDLIB_H) \ + && (defined (__STDC__) || defined (__cplusplus))) +void free (void *); /* INFRINGES ON USER NAME SPACE */ +# endif +# endif +# ifdef __cplusplus +} # endif -# define YYSTACK_ALLOC malloc -# define YYSTACK_FREE free # endif #endif /* ! defined (yyoverflow) || YYERROR_VERBOSE */ #if (! defined (yyoverflow) \ && (! defined (__cplusplus) \ - || (YYLTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL))) + || (defined (YYLTYPE_IS_TRIVIAL) && YYLTYPE_IS_TRIVIAL \ + && defined (YYSTYPE_IS_TRIVIAL) && YYSTYPE_IS_TRIVIAL))) /* A type that is properly aligned for any stack member. */ union yyalloc { - short yyss; + short int yyss; YYSTYPE yyvs; YYLTYPE yyls; }; /* The size of the maximum gap between one aligned stack and the next. */ -# define YYSTACK_GAP_MAX (sizeof (union yyalloc) - 1) +# define YYSTACK_GAP_MAXIMUM (sizeof (union yyalloc) - 1) /* The size of an array large to enough to hold all stacks, each with N elements. */ # define YYSTACK_BYTES(N) \ - ((N) * (sizeof (short) + sizeof (YYSTYPE) + sizeof (YYLTYPE)) \ - + 2 * YYSTACK_GAP_MAX) + ((N) * (sizeof (short int) + sizeof (YYSTYPE) + sizeof (YYLTYPE)) \ + + 2 * YYSTACK_GAP_MAXIMUM) /* Copy COUNT objects from FROM to TO. The source and destination do not overlap. */ # ifndef YYCOPY -# if 1 < __GNUC__ +# if defined (__GNUC__) && 1 < __GNUC__ # define YYCOPY(To, From, Count) \ __builtin_memcpy (To, From, (Count) * sizeof (*(From))) # else # define YYCOPY(To, From, Count) \ do \ { \ - register YYSIZE_T yyi; \ + YYSIZE_T yyi; \ for (yyi = 0; yyi < (Count); yyi++) \ - (To)[yyi] = (From)[yyi]; \ + (To)[yyi] = (From)[yyi]; \ } \ while (0) # endif @@ -343,7 +415,7 @@ union yyalloc YYSIZE_T yynewbytes; \ YYCOPY (&yyptr->Stack, Stack, yysize); \ Stack = &yyptr->Stack; \ - yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAX; \ + yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAXIMUM; \ yyptr += yynewbytes / sizeof (*yyptr); \ } \ while (0) @@ -353,29 +425,29 @@ union yyalloc #if defined (__STDC__) || defined (__cplusplus) typedef signed char yysigned_char; #else - typedef short yysigned_char; + typedef short int yysigned_char; #endif /* YYFINAL -- State number of the termination state. */ #define YYFINAL 3 /* YYLAST -- Last index in YYTABLE. */ -#define YYLAST 125 +#define YYLAST 158 /* YYNTOKENS -- Number of terminals. */ -#define YYNTOKENS 47 +#define YYNTOKENS 51 /* YYNNTS -- Number of nonterminals. */ -#define YYNNTS 28 +#define YYNNTS 25 /* YYNRULES -- Number of rules. */ -#define YYNRULES 76 +#define YYNRULES 79 /* YYNRULES -- Number of states. */ -#define YYNSTATES 115 +#define YYNSTATES 108 /* YYTRANSLATE(YYLEX) -- Bison symbol number corresponding to YYLEX. */ #define YYUNDEFTOK 2 -#define YYMAXUTOK 301 +#define YYMAXUTOK 305 -#define YYTRANSLATE(X) \ - ((unsigned)(X) <= YYMAXUTOK ? yytranslate[X] : YYUNDEFTOK) +#define YYTRANSLATE(YYX) \ + ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK) /* YYTRANSLATE[YYLEX] -- Bison symbol number corresponding to YYLEX. */ static const unsigned char yytranslate[] = @@ -410,7 +482,7 @@ static const unsigned char yytranslate[] = 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 + 45, 46, 47, 48, 49, 50 }; #if YYDEBUG @@ -418,118 +490,120 @@ static const unsigned char yytranslate[] = YYRHS. */ static const unsigned char yyprhs[] = { - 0, 0, 3, 8, 9, 13, 15, 17, 19, 23, - 25, 27, 30, 34, 36, 41, 43, 47, 49, 53, - 58, 60, 63, 65, 67, 69, 71, 73, 76, 79, - 80, 85, 86, 91, 92, 96, 97, 101, 105, 109, - 111, 113, 115, 116, 118, 120, 123, 125, 127, 130, - 133, 137, 139, 142, 144, 147, 149, 152, 155, 156, - 162, 164, 168, 169, 172, 175, 179, 183, 187, 189, - 191, 193, 195, 197, 198, 201, 202 + 0, 0, 3, 8, 9, 12, 14, 16, 18, 22, + 24, 26, 29, 32, 36, 38, 40, 42, 44, 48, + 50, 52, 56, 58, 60, 63, 65, 67, 69, 71, + 73, 75, 78, 80, 83, 86, 88, 90, 91, 95, + 96, 100, 104, 108, 110, 112, 114, 115, 117, 119, + 122, 124, 126, 129, 132, 136, 138, 141, 143, 146, + 148, 151, 154, 155, 159, 161, 165, 168, 169, 172, + 175, 179, 183, 187, 189, 191, 193, 195, 197, 198 }; /* YYRHS -- A `-1'-separated list of the rules' RHS. */ static const yysigned_char yyrhs[] = { - 48, 0, -1, 49, 43, 63, 73, -1, -1, 49, - 50, 74, -1, 51, -1, 44, -1, 17, -1, 18, - 72, 72, -1, 19, -1, 20, -1, 21, 4, -1, - 22, 37, 72, -1, 23, -1, 24, 72, 40, 72, - -1, 25, -1, 26, 37, 72, -1, 27, -1, 28, - 37, 72, -1, 29, 72, 40, 72, -1, 30, -1, - 31, 72, -1, 33, -1, 34, -1, 35, -1, 57, - -1, 54, -1, 32, 69, -1, 10, 46, -1, -1, - 8, 52, 46, 60, -1, -1, 9, 53, 46, 60, - -1, -1, 6, 55, 62, -1, -1, 5, 56, 62, - -1, 7, 36, 60, -1, 58, 59, 60, -1, 11, - -1, 12, -1, 13, -1, -1, 36, -1, 69, -1, - 60, 69, -1, 36, -1, 42, -1, 42, 4, -1, - 42, 71, -1, 42, 4, 71, -1, 61, -1, 62, - 61, -1, 64, -1, 63, 64, -1, 65, -1, 51, - 38, -1, 1, 38, -1, -1, 42, 39, 66, 67, - 38, -1, 68, -1, 67, 41, 68, -1, -1, 68, - 69, -1, 68, 70, -1, 68, 14, 69, -1, 68, - 15, 4, -1, 68, 16, 36, -1, 42, -1, 71, - -1, 46, -1, 3, -1, 3, -1, -1, 43, 45, - -1, -1, 38, -1 + 52, 0, -1, 53, 47, 65, 75, -1, -1, 53, + 54, -1, 55, -1, 48, -1, 17, -1, 19, 74, + 74, -1, 20, -1, 21, -1, 22, 4, -1, 23, + 4, -1, 24, 42, 74, -1, 25, -1, 26, -1, + 27, -1, 28, -1, 29, 42, 74, -1, 31, -1, + 32, -1, 33, 42, 74, -1, 34, -1, 35, -1, + 36, 74, -1, 38, -1, 39, -1, 40, -1, 43, + -1, 59, -1, 56, -1, 37, 71, -1, 10, -1, + 8, 62, -1, 9, 62, -1, 18, -1, 30, -1, + -1, 6, 57, 64, -1, -1, 5, 58, 64, -1, + 7, 41, 62, -1, 60, 61, 62, -1, 11, -1, + 12, -1, 13, -1, -1, 41, -1, 71, -1, 62, + 71, -1, 41, -1, 45, -1, 45, 4, -1, 45, + 73, -1, 45, 4, 73, -1, 63, -1, 64, 63, + -1, 66, -1, 65, 66, -1, 67, -1, 55, 43, + -1, 1, 43, -1, -1, 46, 68, 69, -1, 70, + -1, 69, 44, 70, -1, 69, 43, -1, -1, 70, + 71, -1, 70, 72, -1, 70, 14, 71, -1, 70, + 15, 4, -1, 70, 16, 41, -1, 45, -1, 73, + -1, 50, -1, 3, -1, 3, -1, -1, 47, 49, + -1 }; /* YYRLINE[YYN] -- source line where rule number YYN was defined. */ -static const unsigned short yyrline[] = +static const unsigned short int yyrline[] = { - 0, 167, 167, 180, 182, 185, 187, 188, 189, 190, - 191, 192, 193, 194, 195, 197, 198, 199, 200, 201, - 203, 204, 205, 206, 207, 210, 212, 213, 217, 224, - 223, 234, 233, 246, 245, 251, 251, 256, 265, 280, - 282, 283, 286, 288, 293, 295, 299, 304, 309, 315, - 321, 331, 334, 343, 345, 351, 353, 358, 365, 364, - 369, 371, 374, 377, 379, 381, 383, 385, 389, 391, - 394, 400, 409, 417, 422, 428, 430 + 0, 188, 188, 196, 198, 202, 203, 204, 205, 206, + 207, 208, 209, 210, 211, 216, 220, 221, 222, 223, + 224, 225, 226, 227, 228, 229, 230, 231, 232, 236, + 237, 238, 242, 248, 255, 262, 266, 273, 273, 278, + 278, 283, 293, 308, 309, 310, 314, 315, 321, 322, + 327, 331, 336, 342, 348, 359, 360, 369, 370, 376, + 377, 382, 389, 389, 393, 394, 395, 400, 401, 403, + 405, 407, 409, 414, 415, 419, 425, 434, 439, 441 }; #endif -#if YYDEBUG || YYERROR_VERBOSE -/* YYTNME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM. +#if YYDEBUG || YYERROR_VERBOSE || YYTOKEN_TABLE +/* YYTNAME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM. First, the terminals, then, starting at YYNTOKENS, nonterminals. */ static const char *const yytname[] = { - "\"end of file\"", "error", "$undefined", "\"string\"", "\"integer\"", - "\"%token\"", "\"%nterm\"", "\"%type\"", "\"%destructor\"", - "\"%printer\"", "\"%union\"", "\"%left\"", "\"%right\"", - "\"%nonassoc\"", "\"%prec\"", "\"%dprec\"", "\"%merge\"", "\"%debug\"", - "\"%define\"", "\"%defines\"", "\"%error-verbose\"", "\"%expect\"", - "\"%file-prefix\"", "\"%glr-parser\"", "\"%lex-param\"", - "\"%locations\"", "\"%name-prefix\"", "\"%no-lines\"", "\"%output\"", - "\"%parse-param\"", "\"%pure-parser\"", "\"%skeleton\"", "\"%start\"", - "\"%token-table\"", "\"%verbose\"", "\"%yacc\"", "\"type\"", "\"=\"", - "\";\"", "\":\"", "\",\"", "\"|\"", "\"identifier\"", "\"%%\"", - "\"%{...%}\"", "\"epilogue\"", "\"{...}\"", "$accept", "input", - "declarations", "declaration", "grammar_declaration", "@1", "@2", - "symbol_declaration", "@3", "@4", "precedence_declaration", - "precedence_declarator", "type.opt", "symbols.1", "symbol_def", - "symbol_defs.1", "grammar", "rules_or_grammar_declaration", "rules", - "@5", "rhses.1", "rhs", "symbol", "action", "string_as_id", - "string_content", "epilogue.opt", "semi_colon.opt", 0 + "\"end of file\"", "error", "$undefined", "\"string\"", "\"integer\"", + "\"%token\"", "\"%nterm\"", "\"%type\"", "\"%destructor {...}\"", + "\"%printer {...}\"", "\"%union {...}\"", "\"%left\"", "\"%right\"", + "\"%nonassoc\"", "\"%prec\"", "\"%dprec\"", "\"%merge\"", "\"%debug\"", + "\"%default-prec\"", "\"%define\"", "\"%defines\"", "\"%error-verbose\"", + "\"%expect\"", "\"%expect-rr\"", "\"%file-prefix\"", "\"%glr-parser\"", + "\"%initial-action {...}\"", "\"%lex-param {...}\"", "\"%locations\"", + "\"%name-prefix\"", "\"%no-default-prec\"", "\"%no-lines\"", + "\"%nondeterministic-parser\"", "\"%output\"", "\"%parse-param {...}\"", + "\"%pure-parser\"", "\"%skeleton\"", "\"%start\"", "\"%token-table\"", + "\"%verbose\"", "\"%yacc\"", "\"type\"", "\"=\"", "\";\"", "\"|\"", + "\"identifier\"", "\"identifier:\"", "\"%%\"", "\"%{...%}\"", + "\"epilogue\"", "\"{...}\"", "$accept", "input", "declarations", + "declaration", "grammar_declaration", "symbol_declaration", "@1", "@2", + "precedence_declaration", "precedence_declarator", "type.opt", + "symbols.1", "symbol_def", "symbol_defs.1", "grammar", + "rules_or_grammar_declaration", "rules", "@3", "rhses.1", "rhs", + "symbol", "action", "string_as_id", "string_content", "epilogue.opt", 0 }; #endif # ifdef YYPRINT /* YYTOKNUM[YYLEX-NUM] -- Internal token number corresponding to token YYLEX-NUM. */ -static const unsigned short yytoknum[] = +static const unsigned short int yytoknum[] = { 0, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, - 295, 296, 297, 298, 299, 300, 301 + 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, + 305 }; # endif /* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */ static const unsigned char yyr1[] = { - 0, 47, 48, 49, 49, 50, 50, 50, 50, 50, - 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, - 50, 50, 50, 50, 50, 51, 51, 51, 51, 52, - 51, 53, 51, 55, 54, 56, 54, 54, 57, 58, - 58, 58, 59, 59, 60, 60, 61, 61, 61, 61, - 61, 62, 62, 63, 63, 64, 64, 64, 66, 65, - 67, 67, 68, 68, 68, 68, 68, 68, 69, 69, - 70, 71, 72, 73, 73, 74, 74 + 0, 51, 52, 53, 53, 54, 54, 54, 54, 54, + 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, + 54, 54, 54, 54, 54, 54, 54, 54, 54, 55, + 55, 55, 55, 55, 55, 55, 55, 57, 56, 58, + 56, 56, 59, 60, 60, 60, 61, 61, 62, 62, + 63, 63, 63, 63, 63, 64, 64, 65, 65, 66, + 66, 66, 68, 67, 69, 69, 69, 70, 70, 70, + 70, 70, 70, 71, 71, 72, 73, 74, 75, 75 }; /* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN. */ static const unsigned char yyr2[] = { - 0, 2, 4, 0, 3, 1, 1, 1, 3, 1, - 1, 2, 3, 1, 4, 1, 3, 1, 3, 4, - 1, 2, 1, 1, 1, 1, 1, 2, 2, 0, - 4, 0, 4, 0, 3, 0, 3, 3, 3, 1, - 1, 1, 0, 1, 1, 2, 1, 1, 2, 2, - 3, 1, 2, 1, 2, 1, 2, 2, 0, 5, - 1, 3, 0, 2, 2, 3, 3, 3, 1, 1, - 1, 1, 1, 0, 2, 0, 1 + 0, 2, 4, 0, 2, 1, 1, 1, 3, 1, + 1, 2, 2, 3, 1, 1, 1, 1, 3, 1, + 1, 3, 1, 1, 2, 1, 1, 1, 1, 1, + 1, 2, 1, 2, 2, 1, 1, 0, 3, 0, + 3, 3, 3, 1, 1, 1, 0, 1, 1, 2, + 1, 1, 2, 2, 3, 1, 2, 1, 2, 1, + 2, 2, 0, 3, 1, 3, 2, 0, 2, 2, + 3, 3, 3, 1, 1, 1, 1, 1, 0, 2 }; /* YYDEFACT[STATE-NAME] -- Default rule to reduce with in state @@ -537,26 +611,25 @@ static const unsigned char yyr2[] = means the default is an error. */ static const unsigned char yydefact[] = { - 3, 0, 0, 1, 35, 33, 0, 29, 31, 0, - 39, 40, 41, 7, 0, 9, 10, 0, 0, 13, - 0, 15, 0, 17, 0, 0, 20, 0, 0, 22, - 23, 24, 0, 6, 75, 5, 26, 25, 42, 0, - 0, 0, 0, 0, 28, 72, 0, 11, 0, 0, - 0, 0, 0, 21, 71, 68, 27, 69, 0, 0, - 0, 0, 53, 55, 76, 4, 43, 0, 46, 47, - 51, 36, 34, 37, 44, 0, 0, 8, 12, 0, - 16, 18, 0, 57, 58, 56, 0, 54, 2, 38, - 48, 49, 52, 45, 30, 32, 14, 19, 62, 74, - 50, 0, 60, 59, 62, 0, 0, 0, 70, 63, - 64, 61, 65, 66, 67 + 3, 0, 0, 1, 39, 37, 0, 0, 0, 32, + 43, 44, 45, 7, 35, 0, 9, 10, 0, 0, + 0, 14, 15, 16, 17, 0, 36, 19, 20, 0, + 22, 23, 0, 0, 25, 26, 27, 28, 0, 6, + 4, 5, 30, 29, 46, 0, 0, 0, 76, 73, + 33, 48, 74, 34, 77, 0, 11, 12, 0, 0, + 0, 24, 31, 0, 62, 0, 0, 57, 59, 47, + 0, 50, 51, 55, 40, 38, 41, 49, 8, 13, + 18, 21, 61, 67, 60, 0, 58, 2, 42, 52, + 53, 56, 63, 64, 79, 54, 66, 67, 0, 0, + 0, 75, 68, 69, 65, 70, 71, 72 }; /* YYDEFGOTO[NTERM-NUM]. */ static const yysigned_char yydefgoto[] = { - -1, 1, 2, 34, 60, 42, 43, 36, 40, 39, - 37, 38, 67, 73, 70, 71, 61, 62, 63, 98, - 101, 102, 74, 110, 57, 46, 88, 65 + -1, 1, 2, 40, 65, 42, 46, 45, 43, 44, + 70, 50, 73, 74, 66, 67, 68, 83, 92, 93, + 51, 103, 52, 55, 87 }; /* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing @@ -564,109 +637,98 @@ static const yysigned_char yydefgoto[] = #define YYPACT_NINF -67 static const yysigned_char yypact[] = { - -67, 7, 81, -67, -67, -67, -13, -67, -67, -16, - -67, -67, -67, -67, 32, -67, -67, 36, 20, -67, - 32, -67, 21, -67, 22, 32, -67, 32, -1, -67, - -67, -67, 43, -67, 24, -67, -67, -67, 28, -14, - -14, -1, 25, 26, -67, -67, 32, -67, 32, 30, - 32, 32, 33, -67, -67, -67, -67, -67, 38, 29, - 40, 4, -67, -67, -67, -67, -67, -1, -67, 16, - -67, -14, -14, -1, -67, -1, -1, -67, -67, 32, - -67, -67, 32, -67, -67, -67, 34, -67, -67, -1, - 77, -67, -67, -67, -1, -1, -67, -67, -67, -67, - -67, -20, 23, -67, -67, -1, 78, 45, -67, -67, - -67, 23, -67, -67, -67 + -67, 5, 110, -67, -67, -67, -34, 0, 0, -67, + -67, -67, -67, -67, -67, 13, -67, -67, 20, 31, + -17, -67, -67, -67, -67, -6, -67, -67, -67, -5, + -67, -67, 13, 0, -67, -67, -67, -67, 68, -67, + -67, -67, -67, -67, -3, -37, -37, 0, -67, -67, + 0, -67, -67, 0, -67, 13, -67, -67, 13, 13, + 13, -67, -67, -2, -67, 3, 21, -67, -67, -67, + 0, -67, 6, -67, -37, -37, 0, -67, -67, -67, + -67, -67, -67, -67, -67, 1, -67, -67, 0, 39, + -67, -67, -32, -1, -67, -67, -67, -67, 0, 43, + 7, -67, -67, -67, -1, -67, -67, -67 }; /* YYPGOTO[NTERM-NUM]. */ static const yysigned_char yypgoto[] = { - -67, -67, -67, -67, 82, -67, -67, -67, -67, -67, - -67, -67, -67, -42, -29, 55, -67, 35, -67, -67, - -67, -7, -28, -67, -66, -19, -67, -67 + -67, -67, -67, -67, 50, -67, -67, -67, -67, -67, + -67, -7, -56, 8, -67, -13, -67, -67, -67, -41, + -33, -67, -66, 29, -67 }; /* YYTABLE[YYPACT[STATE-NUM]]. What to do in state STATE-NUM. If positive, shift that token. If negative, reduce the rule which number is the opposite. If zero, do what YYDEFACT says. - If YYTABLE_NINF, parse error. */ -#define YYTABLE_NINF -74 + If YYTABLE_NINF, syntax error. */ +#define YYTABLE_NINF -79 static const yysigned_char yytable[] = { - 56, 49, 54, 91, -73, 58, 52, 3, 53, 4, - 5, 6, 7, 8, 9, 10, 11, 12, 103, 54, - 90, 104, 68, 41, 100, 89, 54, 77, 69, 78, - 44, 80, 81, 94, 95, 45, 28, 105, 106, 107, - 47, 55, 92, 92, 58, 93, 59, 86, 4, 5, - 6, 7, 8, 9, 10, 11, 12, 48, 50, 51, - 96, 93, 64, 97, 66, 55, 93, 93, 84, 108, - 79, 75, 76, 82, 109, 28, 83, 112, 85, 99, - 54, 114, 113, 109, 35, 59, 4, 5, 6, 7, - 8, 9, 10, 11, 12, 72, 87, 111, 13, 14, - 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, - 25, 26, 27, 28, 29, 30, 31, 0, 0, 0, - 0, 0, 0, 0, 32, 33 + 62, 53, 48, 48, 71, 3, 90, 47, 72, 48, + 89, 96, 97, 98, 99, 100, 54, 77, 91, 91, + 77, -78, 63, 95, 56, 58, 4, 5, 6, 7, + 8, 9, 10, 11, 12, 57, 59, 60, 69, 14, + 76, 82, 48, 77, 49, 49, 84, 106, 107, 101, + 94, 26, 41, 86, 75, 77, 104, 0, 33, 0, + 102, 61, 0, 88, 0, 105, 0, 64, 85, 63, + 0, 102, 0, 4, 5, 6, 7, 8, 9, 10, + 11, 12, 0, 0, 78, 0, 14, 79, 80, 81, + 0, 0, 0, 0, 0, 0, 0, 0, 26, 0, + 0, 0, 0, 0, 0, 33, 0, 0, 0, 0, + 0, 0, 0, 0, 64, 4, 5, 6, 7, 8, + 9, 10, 11, 12, 0, 0, 0, 13, 14, 15, + 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, + 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, + 36, 0, 0, 37, 0, 0, 0, 38, 39 }; static const yysigned_char yycheck[] = { - 28, 20, 3, 69, 0, 1, 25, 0, 27, 5, - 6, 7, 8, 9, 10, 11, 12, 13, 38, 3, - 4, 41, 36, 36, 90, 67, 3, 46, 42, 48, - 46, 50, 51, 75, 76, 3, 32, 14, 15, 16, - 4, 42, 71, 72, 1, 73, 42, 43, 5, 6, - 7, 8, 9, 10, 11, 12, 13, 37, 37, 37, - 79, 89, 38, 82, 36, 42, 94, 95, 39, 46, - 40, 46, 46, 40, 102, 32, 38, 105, 38, 45, - 3, 36, 4, 111, 2, 42, 5, 6, 7, 8, - 9, 10, 11, 12, 13, 40, 61, 104, 17, 18, - 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, - 29, 30, 31, 32, 33, 34, 35, -1, -1, -1, - -1, -1, -1, -1, 43, 44 + 33, 8, 3, 3, 41, 0, 72, 41, 45, 3, + 4, 43, 44, 14, 15, 16, 3, 50, 74, 75, + 53, 0, 1, 89, 4, 42, 5, 6, 7, 8, + 9, 10, 11, 12, 13, 4, 42, 42, 41, 18, + 47, 43, 3, 76, 45, 45, 43, 4, 41, 50, + 49, 30, 2, 66, 46, 88, 97, -1, 37, -1, + 93, 32, -1, 70, -1, 98, -1, 46, 47, 1, + -1, 104, -1, 5, 6, 7, 8, 9, 10, 11, + 12, 13, -1, -1, 55, -1, 18, 58, 59, 60, + -1, -1, -1, -1, -1, -1, -1, -1, 30, -1, + -1, -1, -1, -1, -1, 37, -1, -1, -1, -1, + -1, -1, -1, -1, 46, 5, 6, 7, 8, 9, + 10, 11, 12, 13, -1, -1, -1, 17, 18, 19, + 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, + 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, + 40, -1, -1, 43, -1, -1, -1, 47, 48 }; /* YYSTOS[STATE-NUM] -- The (internal number of the) accessing symbol of state STATE-NUM. */ static const unsigned char yystos[] = { - 0, 48, 49, 0, 5, 6, 7, 8, 9, 10, + 0, 52, 53, 0, 5, 6, 7, 8, 9, 10, 11, 12, 13, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, - 34, 35, 43, 44, 50, 51, 54, 57, 58, 56, - 55, 36, 52, 53, 46, 3, 72, 4, 37, 72, - 37, 37, 72, 72, 3, 42, 69, 71, 1, 42, - 51, 63, 64, 65, 38, 74, 36, 59, 36, 42, - 61, 62, 62, 60, 69, 46, 46, 72, 72, 40, - 72, 72, 40, 38, 39, 38, 43, 64, 73, 60, - 4, 71, 61, 69, 60, 60, 72, 72, 66, 45, - 71, 67, 68, 38, 41, 14, 15, 16, 46, 69, - 70, 68, 69, 4, 36 + 34, 35, 36, 37, 38, 39, 40, 43, 47, 48, + 54, 55, 56, 59, 60, 58, 57, 41, 3, 45, + 62, 71, 73, 62, 3, 74, 4, 4, 42, 42, + 42, 74, 71, 1, 46, 55, 65, 66, 67, 41, + 61, 41, 45, 63, 64, 64, 62, 71, 74, 74, + 74, 74, 43, 68, 43, 47, 66, 75, 62, 4, + 73, 63, 69, 70, 49, 73, 43, 44, 14, 15, + 16, 50, 71, 72, 70, 71, 4, 41 }; -#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 -# endif -#endif -#if ! defined (YYSIZE_T) -# define YYSIZE_T unsigned int -#endif - #define yyerrok (yyerrstatus = 0) #define yyclearin (yychar = YYEMPTY) -#define YYEMPTY -2 +#define YYEMPTY (-2) #define YYEOF 0 #define YYACCEPT goto yyacceptlab #define YYABORT goto yyabortlab -#define YYERROR goto yyerrlab1 +#define YYERROR goto yyerrorlab + /* Like YYERROR except do call yyerror. This remains here temporarily to ease the transition to the new meaning of YYERROR, for GCC. @@ -682,31 +744,64 @@ do \ { \ yychar = (Token); \ yylval = (Value); \ - yychar1 = YYTRANSLATE (yychar); \ + yytoken = YYTRANSLATE (yychar); \ YYPOPSTACK; \ goto yybackup; \ } \ else \ - { \ - yyerror ("syntax error: cannot back up"); \ + { \ + yyerror (YY_("syntax error: cannot back up")); \ YYERROR; \ } \ while (0) + #define YYTERROR 1 #define YYERRCODE 256 -/* YYLLOC_DEFAULT -- Compute the default location (before the actions - are run). */ +/* YYLLOC_DEFAULT -- Set CURRENT to span from RHS[1] to RHS[N]. + If N is 0, then set CURRENT to the empty location which ends + the previous symbol: RHS[0] (always defined). */ + +#define YYRHSLOC(Rhs, K) ((Rhs)[K]) #ifndef YYLLOC_DEFAULT -# define YYLLOC_DEFAULT(Current, Rhs, N) \ - Current.first_line = Rhs[1].first_line; \ - Current.first_column = Rhs[1].first_column; \ - Current.last_line = Rhs[N].last_line; \ - Current.last_column = Rhs[N].last_column; +# 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 + + +/* 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 YYLTYPE_IS_TRIVIAL +# define YY_LOCATION_PRINT(File, Loc) \ + fprintf (File, "%d.%d-%d.%d", \ + (Loc).first_line, (Loc).first_column, \ + (Loc).last_line, (Loc).last_column) +# else +# define YY_LOCATION_PRINT(File, Loc) ((void) 0) +# endif #endif + /* YYLEX -- calling `yylex' with the right arguments. */ #ifdef YYLEX_PARAM @@ -728,19 +823,86 @@ do { \ if (yydebug) \ YYFPRINTF Args; \ } while (0) -# define YYDSYMPRINT(Args) \ -do { \ - if (yydebug) \ - yysymprint Args; \ + +# define YY_SYMBOL_PRINT(Title, Type, Value, Location) \ +do { \ + if (yydebug) \ + { \ + YYFPRINTF (stderr, "%s ", Title); \ + yysymprint (stderr, \ + Type, Value, Location); \ + YYFPRINTF (stderr, "\n"); \ + } \ +} while (0) + +/*------------------------------------------------------------------. +| yy_stack_print -- Print the state stack from its BOTTOM up to its | +| TOP (included). | +`------------------------------------------------------------------*/ + +#if defined (__STDC__) || defined (__cplusplus) +static void +yy_stack_print (short int *bottom, short int *top) +#else +static void +yy_stack_print (bottom, top) + short int *bottom; + short int *top; +#endif +{ + YYFPRINTF (stderr, "Stack now"); + for (/* Nothing. */; bottom <= top; ++bottom) + YYFPRINTF (stderr, " %d", *bottom); + YYFPRINTF (stderr, "\n"); +} + +# define YY_STACK_PRINT(Bottom, Top) \ +do { \ + if (yydebug) \ + yy_stack_print ((Bottom), (Top)); \ } while (0) + + +/*------------------------------------------------. +| Report that the YYRULE is going to be reduced. | +`------------------------------------------------*/ + +#if defined (__STDC__) || defined (__cplusplus) +static void +yy_reduce_print (int yyrule) +#else +static void +yy_reduce_print (yyrule) + int yyrule; +#endif +{ + int yyi; + unsigned long int yylno = yyrline[yyrule]; + YYFPRINTF (stderr, "Reducing stack by rule %d (line %lu), ", + yyrule - 1, yylno); + /* Print the symbols being reduced, and their result. */ + for (yyi = yyprhs[yyrule]; 0 <= yyrhs[yyi]; yyi++) + YYFPRINTF (stderr, "%s ", yytname[yyrhs[yyi]]); + YYFPRINTF (stderr, "-> %s\n", yytname[yyr1[yyrule]]); +} + +# define YY_REDUCE_PRINT(Rule) \ +do { \ + if (yydebug) \ + yy_reduce_print (Rule); \ +} while (0) + /* Nonzero means print parse trace. It is left uninitialized so that multiple parsers can coexist. */ int yydebug; #else /* !YYDEBUG */ # define YYDPRINTF(Args) -# define YYDSYMPRINT(Args) +# define YY_SYMBOL_PRINT(Title, Type, Value, Location) +# define YY_STACK_PRINT(Bottom, Top) +# define YY_REDUCE_PRINT(Rule) #endif /* !YYDEBUG */ + /* YYINITDEPTH -- initial size of the parser's stacks. */ #ifndef YYINITDEPTH # define YYINITDEPTH 200 @@ -750,13 +912,9 @@ 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 @@ -778,7 +936,7 @@ yystrlen (yystr) const char *yystr; # endif { - register const char *yys = yystr; + const char *yys = yystr; while (*yys++ != '\0') continue; @@ -803,8 +961,8 @@ yystpcpy (yydest, yysrc) 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; @@ -814,77 +972,221 @@ yystpcpy (yydest, yysrc) # endif # endif -#endif /* !YYERROR_VERBOSE */ +# 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 == '"') + { + size_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: ; + } + + if (! yyres) + return yystrlen (yystr); + + return yystpcpy (yyres, yystr) - yyres; +} +# endif + +#endif /* YYERROR_VERBOSE */ #if YYDEBUG -/*-----------------------------. -| Print this symbol on YYOUT. | -`-----------------------------*/ +/*--------------------------------. +| Print this symbol on YYOUTPUT. | +`--------------------------------*/ #if defined (__STDC__) || defined (__cplusplus) static void -yysymprint (FILE *yyout, int yytype, YYSTYPE yyvalue, YYLTYPE yylocation) +yysymprint (FILE *yyoutput, int yytype, YYSTYPE *yyvaluep, YYLTYPE *yylocationp) #else static void -yysymprint (yyout, yytype, yyvalue, yylocation) - FILE *yyout; +yysymprint (yyoutput, yytype, yyvaluep, yylocationp) + FILE *yyoutput; int yytype; - YYSTYPE yyvalue; - YYLTYPE yylocation; + YYSTYPE *yyvaluep; + YYLTYPE *yylocationp; #endif { /* Pacify ``unused variable'' warnings. */ - (void) yyvalue; - (void) yylocation; + (void) yyvaluep; + (void) yylocationp; if (yytype < YYNTOKENS) - { - YYFPRINTF (yyout, "token %s (", yytname[yytype]); -# ifdef YYPRINT - YYPRINT (yyout, yytoknum[yytype], yyvalue); -# endif - } + YYFPRINTF (yyoutput, "token %s (", yytname[yytype]); else - YYFPRINTF (yyout, "nterm %s (", yytname[yytype]); + YYFPRINTF (yyoutput, "nterm %s (", yytname[yytype]); + + YY_LOCATION_PRINT (yyoutput, *yylocationp); + YYFPRINTF (yyoutput, ": "); +# ifdef YYPRINT + if (yytype < YYNTOKENS) + YYPRINT (yyoutput, yytoknum[yytype], *yyvaluep); +# endif switch (yytype) { + case 3: /* "\"string\"" */ +#line 165 "parse-gram.y" + { fprintf (stderr, "\"%s\"", (yyvaluep->chars)); }; +#line 1066 "parse-gram.c" + break; + case 4: /* "\"integer\"" */ +#line 178 "parse-gram.y" + { fprintf (stderr, "%d", (yyvaluep->integer)); }; +#line 1071 "parse-gram.c" + break; + case 8: /* "\"%destructor {...}\"" */ +#line 167 "parse-gram.y" + { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); }; +#line 1076 "parse-gram.c" + break; + case 9: /* "\"%printer {...}\"" */ +#line 171 "parse-gram.y" + { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); }; +#line 1081 "parse-gram.c" + break; + case 10: /* "\"%union {...}\"" */ +#line 172 "parse-gram.y" + { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); }; +#line 1086 "parse-gram.c" + break; + case 26: /* "\"%initial-action {...}\"" */ +#line 168 "parse-gram.y" + { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); }; +#line 1091 "parse-gram.c" + break; + case 27: /* "\"%lex-param {...}\"" */ +#line 169 "parse-gram.y" + { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); }; +#line 1096 "parse-gram.c" + break; + case 34: /* "\"%parse-param {...}\"" */ +#line 170 "parse-gram.y" + { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); }; +#line 1101 "parse-gram.c" + break; + case 41: /* "\"type\"" */ +#line 176 "parse-gram.y" + { fprintf (stderr, "<%s>", (yyvaluep->uniqstr)); }; +#line 1106 "parse-gram.c" + break; + case 45: /* "\"identifier\"" */ +#line 180 "parse-gram.y" + { fprintf (stderr, "%s", (yyvaluep->symbol)->tag); }; +#line 1111 "parse-gram.c" + break; + case 46: /* "\"identifier:\"" */ +#line 182 "parse-gram.y" + { fprintf (stderr, "%s:", (yyvaluep->symbol)->tag); }; +#line 1116 "parse-gram.c" + break; + case 48: /* "\"%{...%}\"" */ +#line 174 "parse-gram.y" + { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); }; +#line 1121 "parse-gram.c" + break; + case 49: /* "\"epilogue\"" */ +#line 174 "parse-gram.y" + { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); }; +#line 1126 "parse-gram.c" + break; + case 50: /* "\"{...}\"" */ +#line 173 "parse-gram.y" + { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); }; +#line 1131 "parse-gram.c" + break; + case 71: /* "symbol" */ +#line 180 "parse-gram.y" + { fprintf (stderr, "%s", (yyvaluep->symbol)->tag); }; +#line 1136 "parse-gram.c" + break; + case 72: /* "action" */ +#line 173 "parse-gram.y" + { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); }; +#line 1141 "parse-gram.c" + break; + case 73: /* "string_as_id" */ +#line 180 "parse-gram.y" + { fprintf (stderr, "%s", (yyvaluep->symbol)->tag); }; +#line 1146 "parse-gram.c" + break; + case 74: /* "string_content" */ +#line 165 "parse-gram.y" + { fprintf (stderr, "\"%s\"", (yyvaluep->chars)); }; +#line 1151 "parse-gram.c" + break; default: break; } - YYFPRINTF (yyout, ")"); + YYFPRINTF (yyoutput, ")"); } -#endif /* YYDEBUG. */ - +#endif /* ! YYDEBUG */ /*-----------------------------------------------. | Release the memory associated to this symbol. | `-----------------------------------------------*/ #if defined (__STDC__) || defined (__cplusplus) static void -yydestruct (int yytype, YYSTYPE yyvalue, YYLTYPE yylocation) +yydestruct (const char *yymsg, int yytype, YYSTYPE *yyvaluep, YYLTYPE *yylocationp) #else static void -yydestruct (yytype, yyvalue, yylocation) +yydestruct (yymsg, yytype, yyvaluep, yylocationp) + const char *yymsg; int yytype; - YYSTYPE yyvalue; - YYLTYPE yylocation; + YYSTYPE *yyvaluep; + YYLTYPE *yylocationp; #endif { /* Pacify ``unused variable'' warnings. */ - (void) yyvalue; - (void) yylocation; + (void) yyvaluep; + (void) yylocationp; + + if (!yymsg) + yymsg = "Deleting"; + YY_SYMBOL_PRINT (yymsg, yytype, yyvaluep, yylocationp); switch (yytype) { + default: break; } } - /* Prevent warnings from -Wmissing-prototypes. */ @@ -901,7 +1203,7 @@ int yyparse (void); #else int yyparse (); #endif -#endif +#endif /* ! YYPARSE_PARAM */ @@ -926,28 +1228,28 @@ yyparse (void) #else int yyparse () - + ; #endif #endif { - /* The lookahead symbol. */ + /* The look-ahead symbol. */ int yychar; -/* The semantic value of the lookahead symbol. */ +/* The semantic value of the look-ahead symbol. */ YYSTYPE yylval; -/* Number of parse errors so far. */ +/* Number of syntax errors so far. */ int yynerrs; -/* Location data for the lookahead symbol. */ +/* Location data for the look-ahead symbol. */ YYLTYPE yylloc; - register int yystate; - register int yyn; + int yystate; + int yyn; int yyresult; /* Number of tokens to shift before error messages enabled. */ int yyerrstatus; - /* Lookahead token as an internal (translated) token number. */ - int yychar1 = 0; + /* Look-ahead token as an internal (translated) token number. */ + int yytoken = 0; /* Three stacks and their tools: `yyss': related to states, @@ -958,19 +1260,21 @@ YYLTYPE yylloc; to reallocate them elsewhere. */ /* The state stack. */ - short yyssa[YYINITDEPTH]; - short *yyss = yyssa; - register short *yyssp; + short int yyssa[YYINITDEPTH]; + short int *yyss = yyssa; + short int *yyssp; /* The semantic value stack. */ YYSTYPE yyvsa[YYINITDEPTH]; YYSTYPE *yyvs = yyvsa; - register YYSTYPE *yyvsp; + YYSTYPE *yyvsp; /* The location stack. */ YYLTYPE yylsa[YYINITDEPTH]; YYLTYPE *yyls = yylsa; YYLTYPE *yylsp; + /* The locations where the error started and ended. */ + YYLTYPE yyerror_range[2]; #define YYPOPSTACK (yyvsp--, yyssp--, yylsp--) @@ -1000,6 +1304,25 @@ YYLTYPE yylloc; yyssp = yyss; yyvsp = yyvs; yylsp = yyls; +#if YYLTYPE_IS_TRIVIAL + /* Initialize the default location before parsing starts. */ + yylloc.first_line = yylloc.last_line = 1; + yylloc.first_column = yylloc.last_column = 0; +#endif + + + /* User initialization code. */ +#line 69 "parse-gram.y" +{ + /* Bison's grammar can initial empty locations, hence a default + location is needed. */ + yylloc.start.file = yylloc.end.file = current_file; + yylloc.start.line = yylloc.end.line = 1; + yylloc.start.column = yylloc.end.column = 0; +} +/* Line 930 of yacc.c. */ +#line 1325 "parse-gram.c" + yylsp[0] = yylloc; goto yysetstate; /*------------------------------------------------------------. @@ -1025,14 +1348,14 @@ YYLTYPE yylloc; these so that the &'s don't force the real ones into memory. */ YYSTYPE *yyvs1 = yyvs; - short *yyss1 = yyss; + short int *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 ("parser stack overflow", + yyoverflow (YY_("memory exhausted"), &yyss1, yysize * sizeof (*yyssp), &yyvs1, yysize * sizeof (*yyvsp), &yyls1, yysize * sizeof (*yylsp), @@ -1043,21 +1366,21 @@ YYLTYPE yylloc; } #else /* no yyoverflow */ # ifndef YYSTACK_RELOCATE - goto yyoverflowlab; + goto yyexhaustedlab; # else /* Extend the stack our own way. */ if (YYMAXDEPTH <= yystacksize) - goto yyoverflowlab; + goto yyexhaustedlab; yystacksize *= 2; if (YYMAXDEPTH < yystacksize) yystacksize = YYMAXDEPTH; { - short *yyss1 = yyss; + short int *yyss1 = yyss; union yyalloc *yyptr = (union yyalloc *) YYSTACK_ALLOC (YYSTACK_BYTES (yystacksize)); if (! yyptr) - goto yyoverflowlab; + goto yyexhaustedlab; YYSTACK_RELOCATE (yyss); YYSTACK_RELOCATE (yyvs); YYSTACK_RELOCATE (yyls); @@ -1089,50 +1412,39 @@ YYLTYPE yylloc; yybackup: /* Do appropriate processing given the current state. */ -/* Read a lookahead token if we need one and don't already have one. */ +/* Read a look-ahead token if we need one and don't already have one. */ /* yyresume: */ - /* First try to decide what to do without reference to lookahead token. */ + /* First try to decide what to do without reference to look-ahead token. */ yyn = yypact[yystate]; if (yyn == YYPACT_NINF) goto yydefault; - /* Not known => get a lookahead token if don't already have one. */ - - /* yychar is either YYEMPTY or YYEOF - or a valid token in external form. */ + /* Not known => get a look-ahead token if don't already have one. */ + /* YYCHAR is either YYEMPTY or YYEOF or a valid look-ahead symbol. */ if (yychar == YYEMPTY) { YYDPRINTF ((stderr, "Reading a token: ")); yychar = YYLEX; } - /* Convert token to internal form (in yychar1) for indexing tables with. */ - - if (yychar <= 0) /* This means end of input. */ + if (yychar <= YYEOF) { - yychar1 = 0; - yychar = YYEOF; /* Don't call YYLEX any more. */ - + yychar = yytoken = YYEOF; YYDPRINTF ((stderr, "Now at end of input.\n")); } else { - yychar1 = YYTRANSLATE (yychar); - - /* We have to keep this `#if YYDEBUG', since we use variables - which are defined only if `YYDEBUG' is set. */ - YYDPRINTF ((stderr, "Next token is ")); - YYDSYMPRINT ((stderr, yychar1, yylval, yyloc)); - YYDPRINTF ((stderr, "\n")); + yytoken = YYTRANSLATE (yychar); + YY_SYMBOL_PRINT ("Next token is", yytoken, &yylval, &yylloc); } - /* If the proper action on seeing token YYCHAR1 is to reduce or to + /* If the proper action on seeing token YYTOKEN is to reduce or to detect an error, take that action. */ - yyn += yychar1; - if (yyn < 0 || YYLAST < yyn || yycheck[yyn] != yychar1) + yyn += yytoken; + if (yyn < 0 || YYLAST < yyn || yycheck[yyn] != yytoken) goto yydefault; yyn = yytable[yyn]; if (yyn <= 0) @@ -1146,9 +1458,8 @@ yybackup: if (yyn == YYFINAL) YYACCEPT; - /* Shift the lookahead token. */ - YYDPRINTF ((stderr, "Shifting token %d (%s), ", - yychar, yytname[yychar1])); + /* Shift the look-ahead token. */ + YY_SYMBOL_PRINT ("Shifting", yytoken, &yylval, &yylloc); /* Discard the token being shifted unless it is eof. */ if (yychar != YYEOF) @@ -1194,446 +1505,412 @@ yyreduce: yyval = yyvsp[1-yylen]; /* Default location. */ - YYLLOC_DEFAULT (yyloc, (yylsp - yylen), yylen); - -#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; - - YYFPRINTF (stderr, "Reducing via rule %d (line %d), ", - yyn - 1, yyrline[yyn]); - - /* Print the symbols being reduced, and their result. */ - for (yyi = yyprhs[yyn]; 0 <= yyrhs[yyi]; yyi++) - YYFPRINTF (stderr, "%s ", yytname[yyrhs[yyi]]); - YYFPRINTF (stderr, " -> %s\n", yytname[yyr1[yyn]]); - } -#endif + YYLLOC_DEFAULT (yyloc, yylsp - yylen, yylen); + YY_REDUCE_PRINT (yyn); switch (yyn) { - case 2: -#line 169 "parse-gram.y" - { - yycontrol->errcode = 0; - epilogue_set (yyvsp[0].string, yylsp[0]); - } - break; - - case 6: -#line 187 "parse-gram.y" - { prologue_augment (yyvsp[0].string, yylsp[0]); } + case 6: +#line 203 "parse-gram.y" + { prologue_augment ((yyvsp[0].chars), (yylsp[0])); } break; case 7: -#line 188 "parse-gram.y" - { debug_flag = 1; } +#line 204 "parse-gram.y" + { debug_flag = true; } break; case 8: -#line 189 "parse-gram.y" - { muscle_insert (yyvsp[-1].string, yyvsp[0].string); } +#line 205 "parse-gram.y" + { muscle_insert ((yyvsp[-1].chars), (yyvsp[0].chars)); } break; case 9: -#line 190 "parse-gram.y" - { defines_flag = 1; } +#line 206 "parse-gram.y" + { defines_flag = true; } break; case 10: -#line 191 "parse-gram.y" - { error_verbose = 1; } +#line 207 "parse-gram.y" + { error_verbose = true; } break; case 11: -#line 192 "parse-gram.y" - { expected_conflicts = yyvsp[0].integer; } +#line 208 "parse-gram.y" + { expected_sr_conflicts = (yyvsp[0].integer); } break; case 12: -#line 193 "parse-gram.y" - { spec_file_prefix = yyvsp[0].string; } +#line 209 "parse-gram.y" + { expected_rr_conflicts = (yyvsp[0].integer); } break; case 13: -#line 194 "parse-gram.y" - { glr_parser = 1; } +#line 210 "parse-gram.y" + { spec_file_prefix = (yyvsp[0].chars); } break; case 14: -#line 196 "parse-gram.y" - { muscle_pair_list_grow ("lex_param", yyvsp[-2].string, yyvsp[0].string); } +#line 212 "parse-gram.y" + { + nondeterministic_parser = true; + glr_parser = true; + } break; case 15: -#line 197 "parse-gram.y" - { locations_flag = 1; } +#line 217 "parse-gram.y" + { + muscle_code_grow ("initial_action", (yyvsp[0].chars), (yylsp[0])); + } break; case 16: -#line 198 "parse-gram.y" - { spec_name_prefix = yyvsp[0].string; } +#line 220 "parse-gram.y" + { add_param ("lex_param", (yyvsp[0].chars), (yylsp[0])); } break; case 17: -#line 199 "parse-gram.y" - { no_lines_flag = 1; } +#line 221 "parse-gram.y" + { locations_flag = true; } break; case 18: -#line 200 "parse-gram.y" - { spec_outfile = yyvsp[0].string; } +#line 222 "parse-gram.y" + { spec_name_prefix = (yyvsp[0].chars); } break; case 19: -#line 202 "parse-gram.y" - { muscle_pair_list_grow ("parse_param", yyvsp[-2].string, yyvsp[0].string); } +#line 223 "parse-gram.y" + { no_lines_flag = true; } break; case 20: -#line 203 "parse-gram.y" - { pure_parser = 1; } +#line 224 "parse-gram.y" + { nondeterministic_parser = true; } break; case 21: -#line 204 "parse-gram.y" - { skeleton = yyvsp[0].string; } +#line 225 "parse-gram.y" + { spec_outfile = (yyvsp[0].chars); } break; case 22: -#line 205 "parse-gram.y" - { token_table_flag = 1; } +#line 226 "parse-gram.y" + { add_param ("parse_param", (yyvsp[0].chars), (yylsp[0])); } break; case 23: -#line 206 "parse-gram.y" - { report_flag = 1; } +#line 227 "parse-gram.y" + { pure_parser = true; } break; case 24: -#line 207 "parse-gram.y" - { yacc_flag = 1; } +#line 228 "parse-gram.y" + { skeleton = (yyvsp[0].chars); } break; - case 27: -#line 214 "parse-gram.y" - { - grammar_start_symbol_set (yyvsp[0].symbol, yylsp[0]); - } + case 25: +#line 229 "parse-gram.y" + { token_table_flag = true; } break; - case 28: -#line 218 "parse-gram.y" - { - typed = 1; - MUSCLE_INSERT_INT ("stype_line", yylsp[0].first_line); - muscle_insert ("stype", yyvsp[0].string); - } + case 26: +#line 230 "parse-gram.y" + { report_flag = report_states; } break; - case 29: -#line 224 "parse-gram.y" - { current_braced_code = destructor_braced_code; } + case 27: +#line 231 "parse-gram.y" + { yacc_flag = true; } break; - case 30: -#line 226 "parse-gram.y" + case 31: +#line 239 "parse-gram.y" { - symbol_list_t *list; - for (list = yyvsp[0].list; list; list = list->next) - symbol_destructor_set (list->sym, yyvsp[-1].string, yylsp[-1]); - symbol_list_free (yyvsp[0].list); - current_braced_code = action_braced_code; + grammar_start_symbol_set ((yyvsp[0].symbol), (yylsp[0])); } break; - case 31: -#line 234 "parse-gram.y" - { current_braced_code = printer_braced_code; } - break; - case 32: -#line 236 "parse-gram.y" +#line 243 "parse-gram.y" { - symbol_list_t *list; - for (list = yyvsp[0].list; list; list = list->next) - symbol_printer_set (list->sym, yyvsp[-1].string, list->location); - symbol_list_free (yyvsp[0].list); - current_braced_code = action_braced_code; + typed = true; + MUSCLE_INSERT_INT ("stype_line", (yylsp[0]).start.line); + muscle_insert ("stype", (yyvsp[0].chars)); } break; case 33: -#line 246 "parse-gram.y" - { current_class = nterm_sym; } +#line 249 "parse-gram.y" + { + symbol_list *list; + for (list = (yyvsp[0].list); list; list = list->next) + symbol_destructor_set (list->sym, (yyvsp[-1].chars), (yylsp[-1])); + symbol_list_free ((yyvsp[0].list)); + } break; case 34: -#line 247 "parse-gram.y" +#line 256 "parse-gram.y" { - current_class = unknown_sym; - current_type = NULL; + symbol_list *list; + for (list = (yyvsp[0].list); list; list = list->next) + symbol_printer_set (list->sym, (yyvsp[-1].chars), list->location); + symbol_list_free ((yyvsp[0].list)); } break; case 35: -#line 251 "parse-gram.y" - { current_class = token_sym; } +#line 263 "parse-gram.y" + { + default_prec = true; + } break; case 36: -#line 252 "parse-gram.y" +#line 267 "parse-gram.y" { - current_class = unknown_sym; - current_type = NULL; + default_prec = false; } break; case 37: -#line 257 "parse-gram.y" - { - symbol_list_t *list; - for (list = yyvsp[0].list; list; list = list->next) - symbol_type_set (list->sym, yyvsp[-1].string, yylsp[-1]); - symbol_list_free (yyvsp[0].list); - } +#line 273 "parse-gram.y" + { current_class = nterm_sym; } break; case 38: -#line 267 "parse-gram.y" +#line 274 "parse-gram.y" { - symbol_list_t *list; - ++current_prec; - for (list = yyvsp[0].list; list; list = list->next) - { - symbol_type_set (list->sym, current_type, yylsp[-1]); - symbol_precedence_set (list->sym, current_prec, yyvsp[-2].assoc, yylsp[-2]); - } - symbol_list_free (yyvsp[0].list); + current_class = unknown_sym; current_type = NULL; } break; case 39: -#line 281 "parse-gram.y" - { yyval.assoc = left_assoc; } +#line 278 "parse-gram.y" + { current_class = token_sym; } break; case 40: -#line 282 "parse-gram.y" - { yyval.assoc = right_assoc; } +#line 279 "parse-gram.y" + { + current_class = unknown_sym; + current_type = NULL; + } break; case 41: -#line 283 "parse-gram.y" - { yyval.assoc = non_assoc; } +#line 284 "parse-gram.y" + { + symbol_list *list; + for (list = (yyvsp[0].list); list; list = list->next) + symbol_type_set (list->sym, (yyvsp[-1].uniqstr), (yylsp[-1])); + symbol_list_free ((yyvsp[0].list)); + } break; case 42: -#line 287 "parse-gram.y" - { current_type = NULL; } +#line 294 "parse-gram.y" + { + symbol_list *list; + ++current_prec; + for (list = (yyvsp[0].list); list; list = list->next) + { + symbol_type_set (list->sym, current_type, (yylsp[-1])); + symbol_precedence_set (list->sym, current_prec, (yyvsp[-2].assoc), (yylsp[-2])); + } + symbol_list_free ((yyvsp[0].list)); + current_type = NULL; + } break; case 43: -#line 288 "parse-gram.y" - { current_type = yyvsp[0].string; } +#line 308 "parse-gram.y" + { (yyval.assoc) = left_assoc; } break; case 44: -#line 294 "parse-gram.y" - { yyval.list = symbol_list_new (yyvsp[0].symbol, yylsp[0]); } +#line 309 "parse-gram.y" + { (yyval.assoc) = right_assoc; } break; case 45: -#line 295 "parse-gram.y" - { yyval.list = symbol_list_prepend (yyvsp[-1].list, yyvsp[0].symbol, yylsp[0]); } +#line 310 "parse-gram.y" + { (yyval.assoc) = non_assoc; } break; case 46: -#line 301 "parse-gram.y" - { - current_type = yyvsp[0].string; - } +#line 314 "parse-gram.y" + { current_type = NULL; } break; case 47: -#line 305 "parse-gram.y" - { - symbol_class_set (yyvsp[0].symbol, current_class, yylsp[0]); - symbol_type_set (yyvsp[0].symbol, current_type, yylsp[0]); - } +#line 315 "parse-gram.y" + { current_type = (yyvsp[0].uniqstr); } break; case 48: -#line 310 "parse-gram.y" - { - symbol_class_set (yyvsp[-1].symbol, current_class, yylsp[-1]); - symbol_type_set (yyvsp[-1].symbol, current_type, yylsp[-1]); - symbol_user_token_number_set (yyvsp[-1].symbol, yyvsp[0].integer, yylsp[0]); - } +#line 321 "parse-gram.y" + { (yyval.list) = symbol_list_new ((yyvsp[0].symbol), (yylsp[0])); } break; case 49: -#line 316 "parse-gram.y" - { - symbol_class_set (yyvsp[-1].symbol, current_class, yylsp[-1]); - symbol_type_set (yyvsp[-1].symbol, current_type, yylsp[-1]); - symbol_make_alias (yyvsp[-1].symbol, yyvsp[0].symbol, yyloc); - } +#line 322 "parse-gram.y" + { (yyval.list) = symbol_list_prepend ((yyvsp[-1].list), (yyvsp[0].symbol), (yylsp[0])); } break; case 50: -#line 322 "parse-gram.y" +#line 328 "parse-gram.y" { - symbol_class_set (yyvsp[-2].symbol, current_class, yylsp[-2]); - 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); - } + current_type = (yyvsp[0].uniqstr); + } break; case 51: -#line 333 "parse-gram.y" - {;} +#line 332 "parse-gram.y" + { + symbol_class_set ((yyvsp[0].symbol), current_class, (yylsp[0])); + symbol_type_set ((yyvsp[0].symbol), current_type, (yylsp[0])); + } break; case 52: -#line 335 "parse-gram.y" - {;} - break; - - case 56: -#line 354 "parse-gram.y" +#line 337 "parse-gram.y" { - if (yacc_flag) - complain_at (yyloc, _("POSIX forbids declarations in the grammar")); + symbol_class_set ((yyvsp[-1].symbol), current_class, (yylsp[-1])); + symbol_type_set ((yyvsp[-1].symbol), current_type, (yylsp[-1])); + symbol_user_token_number_set ((yyvsp[-1].symbol), (yyvsp[0].integer), (yylsp[0])); } break; - case 57: -#line 359 "parse-gram.y" + case 53: +#line 343 "parse-gram.y" { - yyerrok; + symbol_class_set ((yyvsp[-1].symbol), current_class, (yylsp[-1])); + symbol_type_set ((yyvsp[-1].symbol), current_type, (yylsp[-1])); + symbol_make_alias ((yyvsp[-1].symbol), (yyvsp[0].symbol), (yyloc)); } break; - case 58: -#line 365 "parse-gram.y" - { current_lhs = yyvsp[-1].symbol; current_lhs_location = yylsp[-1]; } - break; - - case 59: -#line 366 "parse-gram.y" - {;} + case 54: +#line 349 "parse-gram.y" + { + symbol_class_set ((yyvsp[-2].symbol), current_class, (yylsp[-2])); + 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)); + } break; case 60: -#line 370 "parse-gram.y" - { grammar_rule_end (yylsp[0]); } +#line 378 "parse-gram.y" + { + if (yacc_flag) + complain_at ((yyloc), _("POSIX forbids declarations in the grammar")); + } break; case 61: -#line 371 "parse-gram.y" - { grammar_rule_end (yylsp[0]); } +#line 383 "parse-gram.y" + { + yyerrok; + } break; case 62: -#line 376 "parse-gram.y" - { grammar_rule_begin (current_lhs, current_lhs_location); } - break; - - case 63: -#line 378 "parse-gram.y" - { grammar_current_rule_symbol_append (yyvsp[0].symbol, yylsp[0]); } +#line 389 "parse-gram.y" + { current_lhs = (yyvsp[0].symbol); current_lhs_location = (yylsp[0]); } break; case 64: -#line 380 "parse-gram.y" - { grammar_current_rule_action_append (yyvsp[0].string, yylsp[0]); } +#line 393 "parse-gram.y" + { grammar_rule_end ((yylsp[0])); } break; case 65: -#line 382 "parse-gram.y" - { grammar_current_rule_prec_set (yyvsp[0].symbol, yylsp[0]); } - break; - - case 66: -#line 384 "parse-gram.y" - { grammar_current_rule_dprec_set (yyvsp[0].integer, yylsp[0]); } +#line 394 "parse-gram.y" + { grammar_rule_end ((yylsp[0])); } break; case 67: -#line 386 "parse-gram.y" - { grammar_current_rule_merge_set (yyvsp[0].string, yylsp[0]); } +#line 400 "parse-gram.y" + { grammar_rule_begin (current_lhs, current_lhs_location); } break; case 68: -#line 390 "parse-gram.y" - { yyval.symbol = yyvsp[0].symbol; } +#line 402 "parse-gram.y" + { grammar_current_rule_symbol_append ((yyvsp[0].symbol), (yylsp[0])); } break; case 69: -#line 391 "parse-gram.y" - { yyval.symbol = yyvsp[0].symbol; } +#line 404 "parse-gram.y" + { grammar_current_rule_action_append ((yyvsp[0].chars), (yylsp[0])); } break; case 70: -#line 396 "parse-gram.y" - { yyval.string = yyvsp[0].string; } +#line 406 "parse-gram.y" + { grammar_current_rule_prec_set ((yyvsp[0].symbol), (yylsp[0])); } break; case 71: -#line 402 "parse-gram.y" - { - yyval.symbol = symbol_get (yyvsp[0].string, yylsp[0]); - symbol_class_set (yyval.symbol, token_sym, yylsp[0]); - } +#line 408 "parse-gram.y" + { grammar_current_rule_dprec_set ((yyvsp[0].integer), (yylsp[0])); } break; case 72: -#line 411 "parse-gram.y" - { - yyval.string = yyvsp[0].string + 1; - yyval.string[strlen (yyval.string) - 1] = '\0'; - } +#line 410 "parse-gram.y" + { grammar_current_rule_merge_set ((yyvsp[0].uniqstr), (yylsp[0])); } break; case 73: -#line 419 "parse-gram.y" +#line 414 "parse-gram.y" + { (yyval.symbol) = (yyvsp[0].symbol); } + break; + + case 74: +#line 415 "parse-gram.y" + { (yyval.symbol) = (yyvsp[0].symbol); } + break; + + case 75: +#line 420 "parse-gram.y" + { (yyval.chars) = (yyvsp[0].chars); } + break; + + case 76: +#line 426 "parse-gram.y" { - yyval.string = xstrdup (""); + (yyval.symbol) = symbol_get (quotearg_style (c_quoting_style, (yyvsp[0].chars)), (yylsp[0])); + symbol_class_set ((yyval.symbol), token_sym, (yylsp[0])); } break; - case 74: -#line 423 "parse-gram.y" + case 77: +#line 435 "parse-gram.y" + { (yyval.chars) = (yyvsp[0].chars); } + break; + + case 79: +#line 442 "parse-gram.y" { - yyval.string = yyvsp[0].string; + muscle_code_grow ("epilogue", (yyvsp[0].chars), (yylsp[0])); + scanner_last_string_free (); } break; + default: break; } -/* Line 1031 of /tmp/prefix/share/bison/yacc.c. */ -#line 1621 "parse-gram.c" +/* Line 1126 of yacc.c. */ +#line 1908 "parse-gram.c" yyvsp -= yylen; yyssp -= yylen; yylsp -= yylen; -#if YYDEBUG - if (yydebug) - { - short *yyssp1 = yyss - 1; - YYFPRINTF (stderr, "state stack now"); - while (yyssp1 != yyssp) - YYFPRINTF (stderr, " %d", *++yyssp1); - YYFPRINTF (stderr, "\n"); - } -#endif + YY_STACK_PRINT (yyss, yyssp); *++yyvsp = yyval; *++yylsp = yyloc; @@ -1666,90 +1943,155 @@ yyerrlab: if (YYPACT_NINF < yyn && yyn < YYLAST) { - YYSIZE_T yysize = 0; int yytype = YYTRANSLATE (yychar); - char *yymsg; - int yyx, yycount; + YYSIZE_T yysize0 = yytnamerr (0, yytname[yytype]); + YYSIZE_T yysize = yysize0; + YYSIZE_T yysize1; + int yysize_overflow = 0; + char *yymsg = 0; +# define YYERROR_VERBOSE_ARGS_MAXIMUM 5 + char const *yyarg[YYERROR_VERBOSE_ARGS_MAXIMUM]; + int yyx; + +#if 0 + /* This is so xgettext sees the translatable formats that are + constructed on the fly. */ + YY_("syntax error, unexpected %s"); + YY_("syntax error, unexpected %s, expecting %s"); + YY_("syntax error, unexpected %s, expecting %s or %s"); + YY_("syntax error, unexpected %s, expecting %s or %s or %s"); + YY_("syntax error, unexpected %s, expecting %s or %s or %s or %s"); +#endif + char *yyfmt; + char const *yyf; + static char const yyunexpected[] = "syntax error, unexpected %s"; + static char const yyexpecting[] = ", expecting %s"; + static char const yyor[] = " or %s"; + char yyformat[sizeof yyunexpected + + sizeof yyexpecting - 1 + + ((YYERROR_VERBOSE_ARGS_MAXIMUM - 2) + * (sizeof yyor - 1))]; + char const *yyprefix = yyexpecting; - 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++) + int yyxbegin = yyn < 0 ? -yyn : 0; + + /* Stay within bounds of both yycheck and yytname. */ + int yychecklim = YYLAST - yyn; + int yyxend = yychecklim < YYNTOKENS ? yychecklim : YYNTOKENS; + int yycount = 1; + + yyarg[0] = yytname[yytype]; + yyfmt = yystpcpy (yyformat, yyunexpected); + + for (yyx = yyxbegin; yyx < yyxend; ++yyx) if (yycheck[yyx + yyn] == yyx && yyx != YYTERROR) - yysize += yystrlen (yytname[yyx]) + 15, yycount++; - yysize += yystrlen ("parse error, unexpected ") + 1; - yysize += yystrlen (yytname[yytype]); - yymsg = (char *) YYSTACK_ALLOC (yysize); - if (yymsg != 0) + { + if (yycount == YYERROR_VERBOSE_ARGS_MAXIMUM) + { + yycount = 1; + yysize = yysize0; + yyformat[sizeof yyunexpected - 1] = '\0'; + break; + } + yyarg[yycount++] = yytname[yyx]; + yysize1 = yysize + yytnamerr (0, yytname[yyx]); + yysize_overflow |= yysize1 < yysize; + yysize = yysize1; + yyfmt = yystpcpy (yyfmt, yyprefix); + yyprefix = yyor; + } + + yyf = YY_(yyformat); + yysize1 = yysize + yystrlen (yyf); + yysize_overflow |= yysize1 < yysize; + yysize = yysize1; + + if (!yysize_overflow && yysize <= YYSTACK_ALLOC_MAXIMUM) + yymsg = (char *) YYSTACK_ALLOC (yysize); + if (yymsg) { - char *yyp = yystpcpy (yymsg, "parse error, unexpected "); - yyp = yystpcpy (yyp, yytname[yytype]); - - if (yycount < 5) + /* 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 = *yyf)) { - yycount = 0; - for (yyx = yyn < 0 ? -yyn : 0; - yyx < (int) (sizeof (yytname) / sizeof (char *)); - yyx++) - if (yycheck[yyx + yyn] == yyx && yyx != YYTERROR) - { - const char *yyq = ! yycount ? ", expecting " : " or "; - yyp = yystpcpy (yyp, yyq); - yyp = yystpcpy (yyp, yytname[yyx]); - yycount++; - } + if (*yyp == '%' && yyf[1] == 's' && yyi < yycount) + { + yyp += yytnamerr (yyp, yyarg[yyi++]); + yyf += 2; + } + else + { + yyp++; + yyf++; + } } yyerror (yymsg); YYSTACK_FREE (yymsg); } else - yyerror ("parse error; also virtual memory exhausted"); + { + yyerror (YY_("syntax error")); + goto yyexhaustedlab; + } } else #endif /* YYERROR_VERBOSE */ - yyerror ("parse error"); + yyerror (YY_("syntax error")); } - goto yyerrlab1; + yyerror_range[0] = yylloc; -/*----------------------------------------------------. -| yyerrlab1 -- error raised explicitly by an action. | -`----------------------------------------------------*/ -yyerrlab1: if (yyerrstatus == 3) { - /* If just tried and failed to reuse lookahead token after an + /* If just tried and failed to reuse look-ahead token after an error, discard it. */ - /* Return failure if at end of input. */ - if (yychar == YYEOF) + if (yychar <= YYEOF) { - /* Pop the error token. */ - YYPOPSTACK; - /* Pop the rest of the stack. */ - while (yyss < yyssp) - { - YYDPRINTF ((stderr, "Error: popping ")); - YYDSYMPRINT ((stderr, - yystos[*yyssp], - *yyvsp, *yylsp)); - YYDPRINTF ((stderr, "\n")); - yydestruct (yystos[*yyssp], *yyvsp, *yylsp); - YYPOPSTACK; - } - YYABORT; + /* Return failure if at end of input. */ + if (yychar == YYEOF) + YYABORT; } - - YYDPRINTF ((stderr, "Discarding token %d (%s).\n", - yychar, yytname[yychar1])); - yydestruct (yychar1, yylval, yylloc); - yychar = YYEMPTY; + else + { + yydestruct ("Error: discarding", yytoken, &yylval, &yylloc); + yychar = YYEMPTY; + } } - /* Else will try to reuse lookahead token after shifting the error + /* Else will try to reuse look-ahead token after shifting the error token. */ + goto yyerrlab1; + + +/*---------------------------------------------------. +| 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 (0) + goto yyerrorlab; + + yyerror_range[0] = yylsp[1-yylen]; + yylsp -= yylen; + yyvsp -= yylen; + yyssp -= yylen; + yystate = *yyssp; + goto yyerrlab1; + +/*-------------------------------------------------------------. +| yyerrlab1 -- common code for both syntax error and YYERROR. | +`-------------------------------------------------------------*/ +yyerrlab1: yyerrstatus = 3; /* Each real token shifted decrements this. */ for (;;) @@ -1770,35 +2112,26 @@ yyerrlab1: if (yyssp == yyss) YYABORT; - YYDPRINTF ((stderr, "Error: popping ")); - YYDSYMPRINT ((stderr, - yystos[*yyssp], *yyvsp, *yylsp)); - YYDPRINTF ((stderr, "\n")); - - yydestruct (yystos[yystate], *yyvsp, *yylsp); - yyvsp--; - yystate = *--yyssp; - yylsp--; - -#if YYDEBUG - if (yydebug) - { - short *yyssp1 = yyss - 1; - YYFPRINTF (stderr, "Error: state stack now"); - while (yyssp1 != yyssp) - YYFPRINTF (stderr, " %d", *++yyssp1); - YYFPRINTF (stderr, "\n"); - } -#endif + yyerror_range[0] = *yylsp; + yydestruct ("Error: popping", yystos[yystate], yyvsp, yylsp); + YYPOPSTACK; + yystate = *yyssp; + YY_STACK_PRINT (yyss, yyssp); } if (yyn == YYFINAL) YYACCEPT; - YYDPRINTF ((stderr, "Shifting error token, ")); - *++yyvsp = yylval; - *++yylsp = yylloc; + + yyerror_range[1] = yylloc; + /* Using YYLLOC is tempting, but would change the location of + the look-ahead. YYLOC is available though. */ + YYLLOC_DEFAULT (yyloc, yyerror_range - 1, 2); + *++yylsp = yyloc; + + /* Shift the error token. */ + YY_SYMBOL_PRINT ("Shifting", yystos[yyn], yyvsp, yylsp); yystate = yyn; goto yynewstate; @@ -1819,16 +2152,25 @@ yyabortlab: goto yyreturn; #ifndef yyoverflow -/*----------------------------------------------. -| yyoverflowlab -- parser overflow comes here. | -`----------------------------------------------*/ -yyoverflowlab: - yyerror ("parser stack overflow"); +/*-------------------------------------------------. +| yyexhaustedlab -- memory exhaustion comes here. | +`-------------------------------------------------*/ +yyexhaustedlab: + yyerror (YY_("memory exhausted")); yyresult = 2; /* Fall through. */ #endif yyreturn: + if (yychar != YYEOF && yychar != YYEMPTY) + yydestruct ("Cleanup: discarding lookahead", + yytoken, &yylval, &yylloc); + while (yyssp != yyss) + { + yydestruct ("Cleanup: popping", + yystos[*yyssp], yyvsp, yylsp); + YYPOPSTACK; + } #ifndef yyoverflow if (yyss != yyssa) YYSTACK_FREE (yyss); @@ -1837,46 +2179,100 @@ yyreturn: } -#line 432 "parse-gram.y" +#line 448 "parse-gram.y" -/*------------------------------------------------------------------. -| When debugging the parser, display tokens' locations and values. | -`------------------------------------------------------------------*/ + + +/* 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 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; +} + + +/* Add a lex-param or a parse-param (depending on TYPE) with + declaration DECL and location LOC. */ static void -yyprint (FILE *file, - int type, const yystype *value) +add_param (char const *type, char *decl, location loc) { - fputc (' ', file); - switch (type) + 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. */ + while (*--p == ' ' || *p == '\t') + continue; + p[1] = '\0'; + while (*++decl == ' ' || *decl == '\t') + continue; + + if (! name_start) + complain_at (loc, _("missing identifier in parameter declaration")); + else { - 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; + char *name; + size_t name_len; + + for (name_len = 1; + memchr (alphanum, name_start[name_len], sizeof alphanum); + name_len++) + continue; + + name = xmalloc (name_len + 1); + memcpy (name, name_start, name_len); + name[name_len] = '\0'; + muscle_pair_list_grow (type, decl, name); + free (name); } + + scanner_last_string_free (); +} + +static void +gram_error (location const *loc, char const *msg) +{ + complain_at (*loc, "%s", msg); } -void -gram_error (location_t *yylloc, const char *msg) +char const * +token_name (int type) { - complain_at (*yylloc, "%s", msg); + return yytname[YYTRANSLATE (type)]; }