X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/39f4191608f2bbfb5a140b9ff96ecd56f5b287bb..d1a1114f7f257f89887ea5825ba0d896dfaa747b:/src/parse-gram.c diff --git a/src/parse-gram.c b/src/parse-gram.c index 81116268..3db6ae54 100644 --- a/src/parse-gram.c +++ b/src/parse-gram.c @@ -1,9 +1,7 @@ -/* A Bison parser, made from parse-gram.y - by GNU bison 1.49b. */ +/* A Bison parser, made from parse-gram.y, by GNU bison 1.49c. */ -/* Skeleton output parser for Bison, - Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002 Free Software - Foundation, Inc. +/* Skeleton parser for Yacc-like parsing with Bison, + Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002 Free Software Foundation, Inc. This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by @@ -25,10 +23,8 @@ This special exception was added by the Free Software Foundation in version 1.24 of Bison. */ -/* This is the parser code that is written into each bison parser when - the %semantic_parser declaration is not specified in the grammar. - It was written by Richard Stallman by simplifying the original so - called ``semantic'' parser. */ +/* 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 @@ -61,6 +57,7 @@ #line 31 "parse-gram.y" #include "system.h" +#include "complain.h" #include "muscle_tab.h" #include "files.h" #include "getargs.h" @@ -94,11 +91,11 @@ do { \ correctly typed access to it. */ #define yycontrol ((gram_control_t *) gram_control) -/* Request detailed parse error messages, and pass them to - GRAM_ERROR. */ +/* Request detailed parse error messages, and pass them to GRAM_ERROR. + FIXME: depends on the undocumented availability of YYLLOC.t */ #undef yyerror #define yyerror(Msg) \ - gram_error (yycontrol, &yylloc, Msg) + gram_error (&yylloc, Msg) #define YYPRINT(File, Type, Value) \ yyprint (File, Type, &Value) @@ -108,7 +105,7 @@ symbol_class current_class = unknown_sym; char *current_type = 0; symbol_t *current_lhs; location_t current_lhs_location; -associativity current_assoc; +assoc_t current_assoc; int current_prec = 0; braced_code_t current_braced_code = action_braced_code; @@ -228,16 +225,16 @@ braced_code_t current_braced_code = action_braced_code; #endif #ifndef YYSTYPE -#line 88 "parse-gram.y" +#line 89 "parse-gram.y" typedef union { symbol_t *symbol; symbol_list_t *list; int integer; char *string; - associativity assoc; + assoc_t assoc; } yystype; -/* Line 272 of /usr/local/share/bison/yacc.c. */ -#line 241 "parse-gram.c" +/* Line 188 of /usr/local/share/bison/yacc.c. */ +#line 238 "parse-gram.c" # define YYSTYPE yystype # define YYSTYPE_IS_TRIVIAL 1 #endif @@ -257,8 +254,8 @@ typedef struct yyltype /* Copy the second part of user declarations. */ -/* Line 292 of /usr/local/share/bison/yacc.c. */ -#line 262 "parse-gram.c" +/* Line 208 of /usr/local/share/bison/yacc.c. */ +#line 259 "parse-gram.c" #if ! defined (yyoverflow) || YYERROR_VERBOSE @@ -351,17 +348,16 @@ union yyalloc /* YYFINAL -- State number of the termination state. */ #define YYFINAL 3 -#define YYFLAG -32768 -#define YYLAST 125 +#define YYLAST 127 /* YYNTOKENS -- Number of terminals. */ #define YYNTOKENS 45 /* YYNNTS -- Number of nonterminals. */ #define YYNNTS 28 /* YYNRULES -- Number of rules. */ -#define YYNRULES 74 +#define YYNRULES 75 /* YYNRULES -- Number of states. */ -#define YYNSTATES 106 +#define YYNSTATES 108 /* YYTRANSLATE(YYLEX) -- Bison symbol number corresponding to YYLEX. */ #define YYUNDEFTOK 2 @@ -415,9 +411,9 @@ static const unsigned char yyprhs[] = 53, 55, 57, 59, 61, 63, 66, 69, 70, 75, 76, 81, 82, 86, 87, 91, 95, 99, 101, 103, 105, 106, 108, 110, 113, 115, 117, 120, 123, 127, - 129, 132, 134, 137, 139, 142, 143, 149, 151, 155, - 156, 159, 162, 166, 170, 174, 176, 178, 180, 182, - 184, 186, 187, 190, 191 + 129, 132, 134, 137, 139, 142, 145, 146, 152, 154, + 158, 159, 162, 165, 169, 173, 177, 179, 181, 183, + 185, 187, 189, 190, 193, 194 }; /* YYRHS -- A `-1'-separated list of the rules' RHS. */ @@ -437,25 +433,25 @@ static const signed char yyrhs[] = 58, 67, -1, 35, -1, 40, -1, 40, 5, -1, 40, 69, -1, 40, 5, 69, -1, 59, -1, 60, 59, -1, 62, -1, 61, 62, -1, 63, -1, 49, - 37, -1, -1, 40, 38, 64, 65, 37, -1, 66, - -1, 65, 39, 66, -1, -1, 66, 67, -1, 66, - 68, -1, 66, 17, 67, -1, 66, 18, 5, -1, - 66, 19, 35, -1, 40, -1, 69, -1, 4, -1, - 44, -1, 3, -1, 3, -1, -1, 41, 43, -1, - -1, 37, -1 + 37, -1, 1, 37, -1, -1, 40, 38, 64, 65, + 37, -1, 66, -1, 65, 39, 66, -1, -1, 66, + 67, -1, 66, 68, -1, 66, 17, 67, -1, 66, + 18, 5, -1, 66, 19, 35, -1, 40, -1, 69, + -1, 4, -1, 44, -1, 3, -1, 3, -1, -1, + 41, 43, -1, -1, 37, -1 }; /* YYRLINE[YYN] -- source line where rule number YYN was defined. */ static const unsigned short yyrline[] = { - 0, 158, 158, 171, 173, 176, 178, 179, 180, 181, - 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, - 192, 193, 194, 197, 199, 200, 204, 211, 210, 221, - 220, 233, 232, 238, 238, 243, 252, 267, 269, 270, - 273, 275, 280, 282, 286, 291, 296, 302, 308, 318, - 321, 330, 332, 338, 340, 344, 343, 348, 350, 353, - 356, 358, 360, 362, 364, 368, 370, 371, 374, 380, - 389, 397, 402, 408, 410 + 0, 162, 162, 175, 177, 180, 182, 183, 184, 185, + 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, + 196, 197, 198, 201, 203, 204, 208, 215, 214, 225, + 224, 237, 236, 242, 242, 247, 256, 271, 273, 274, + 277, 279, 284, 286, 290, 295, 300, 306, 312, 322, + 325, 334, 336, 342, 344, 349, 356, 355, 360, 362, + 365, 368, 370, 372, 374, 376, 380, 382, 383, 386, + 392, 401, 409, 414, 420, 422 }; #endif @@ -464,35 +460,38 @@ static const unsigned short yyrline[] = First, the terminals, then, starting at YYNTOKENS, nonterminals. */ static const char *const yytname[] = { - "\"end of string\"", "error", "$undefined.", "STRING", "CHARACTER", "INT", - "\"%token\"", "\"%nterm\"", "\"%type\"", "\"%destructor\"", - "\"%printer\"", "\"%union\"", "\"%left\"", "\"%right\"", - "\"%nonassoc\"", "\"%expect\"", "\"%start\"", "\"%prec\"", "\"%dprec\"", - "\"%merge\"", "\"%verbose\"", "\"%error-verbose\"", "\"%output\"", - "\"%file-prefix\"", "\"%name-prefix\"", "\"%define\"", + "\"end of file\"", "error", "$undefined", "\"string\"", "\"character\"", + "\"integer\"", "\"%token\"", "\"%nterm\"", "\"%type\"", + "\"%destructor\"", "\"%printer\"", "\"%union\"", "\"%left\"", + "\"%right\"", "\"%nonassoc\"", "\"%expect\"", "\"%start\"", "\"%prec\"", + "\"%dprec\"", "\"%merge\"", "\"%verbose\"", "\"%error-verbose\"", + "\"%output\"", "\"%file-prefix\"", "\"%name-prefix\"", "\"%define\"", "\"%pure-parser\"", "\"%glr-parser\"", "\"%defines\"", "\"%yacc\"", "\"%debug\"", "\"%locations\"", "\"%no-lines\"", "\"%skeleton\"", - "\"%token-table\"", "TYPE", "\"=\"", "\";\"", "\":\"", "\"|\"", - "\"identifier\"", "\"%%\"", "PROLOGUE", "EPILOGUE", "BRACED_CODE", - "$axiom", "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 + "\"%token-table\"", "\"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 }; #endif +# ifdef YYPRINT /* YYTOKNUM[YYLEX-NUM] -- Internal token number corresponding to token YYLEX-NUM. */ -static const short yytoknum[] = +static const unsigned short 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, -1 + 295, 296, 297, 298, 299 }; +# endif /* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */ static const unsigned char yyr1[] = @@ -502,9 +501,9 @@ static const unsigned char yyr1[] = 48, 48, 48, 49, 49, 49, 49, 50, 49, 51, 49, 53, 52, 54, 52, 52, 55, 56, 56, 56, 57, 57, 58, 58, 59, 59, 59, 59, 59, 60, - 60, 61, 61, 62, 62, 64, 63, 65, 65, 66, - 66, 66, 66, 66, 66, 67, 67, 67, 68, 69, - 70, 71, 71, 72, 72 + 60, 61, 61, 62, 62, 62, 64, 63, 65, 65, + 66, 66, 66, 66, 66, 66, 67, 67, 67, 68, + 69, 70, 71, 71, 72, 72 }; /* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN. */ @@ -515,97 +514,99 @@ static const unsigned char yyr2[] = 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, 0, 5, 1, 3, 0, - 2, 2, 3, 3, 3, 1, 1, 1, 1, 1, - 1, 0, 2, 0, 1 + 2, 1, 2, 1, 2, 2, 0, 5, 1, 3, + 0, 2, 2, 3, 3, 3, 1, 1, 1, 1, + 1, 1, 0, 2, 0, 1 }; /* YYDEFACT[STATE-NAME] -- Default rule to reduce with in state STATE-NUM when YYTABLE doesn't specify something else to do. Zero means the default is an error. */ -static const short yydefact[] = +static const unsigned char yydefact[] = { - 3, 0, 0, 0, 33, 31, 0, 27, 29, 0, + 3, 0, 0, 1, 33, 31, 0, 27, 29, 0, 37, 38, 39, 0, 0, 21, 10, 0, 0, 0, 0, 17, 18, 9, 22, 7, 13, 15, 0, 20, - 0, 6, 73, 5, 24, 23, 40, 0, 0, 0, - 0, 0, 26, 11, 69, 67, 65, 25, 66, 0, - 0, 0, 70, 0, 19, 0, 0, 71, 51, 53, - 74, 4, 41, 0, 44, 45, 49, 34, 32, 35, - 42, 0, 0, 16, 12, 14, 8, 55, 54, 0, - 52, 2, 36, 46, 47, 50, 43, 28, 30, 59, - 72, 48, 0, 57, 56, 59, 0, 0, 0, 68, - 60, 61, 58, 62, 63, 64 + 0, 6, 74, 5, 24, 23, 40, 0, 0, 0, + 0, 0, 26, 11, 70, 68, 66, 25, 67, 0, + 0, 0, 71, 0, 19, 0, 0, 0, 0, 51, + 53, 75, 4, 41, 0, 44, 45, 49, 34, 32, + 35, 42, 0, 0, 16, 12, 14, 8, 55, 56, + 54, 0, 52, 2, 36, 46, 47, 50, 43, 28, + 30, 60, 73, 48, 0, 58, 57, 60, 0, 0, + 0, 69, 61, 62, 59, 63, 64, 65 }; -/* YYPGOTO[NTERM-NUM]. */ -static const short yydefgoto[] = +/* YYDEFGOTO[NTERM-NUM]. */ +static const signed char yydefgoto[] = { - -1, 1, 2, 32, 56, 40, 41, 34, 38, 37, - 35, 36, 63, 69, 66, 67, 57, 58, 59, 89, - 92, 93, 70, 101, 48, 53, 81, 61 + -1, 1, 2, 32, 57, 40, 41, 34, 38, 37, + 35, 36, 64, 70, 67, 68, 58, 59, 60, 91, + 94, 95, 71, 103, 48, 53, 83, 62 }; /* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing STATE-NUM. */ -static const short yypact[] = +#define YYPACT_NINF -61 +static const signed char yypact[] = { - -32768, 7, 83,-32768,-32768,-32768, -23,-32768,-32768, 3, - -32768,-32768,-32768, 43, 0,-32768,-32768, 13, 14, 15, - 51,-32768,-32768,-32768,-32768,-32768,-32768,-32768, 51,-32768, - 23,-32768, 19,-32768,-32768,-32768, 22, -29, -29, 0, - 17, 18,-32768,-32768,-32768,-32768,-32768,-32768,-32768, 51, - 51, 51,-32768, 51,-32768, 20, 27, 12,-32768,-32768, - -32768,-32768,-32768, 0,-32768, 5,-32768, -29, -29, 0, - -32768, 0, 0,-32768,-32768,-32768,-32768,-32768,-32768, 28, - -32768,-32768, 0, 56,-32768,-32768,-32768, 0, 0,-32768, - -32768,-32768, 4, -2,-32768,-32768, 0, 55, 35,-32768, - -32768,-32768, -2,-32768,-32768,-32768 + -61, 35, 85, -61, -61, -61, 2, -61, -61, -5, + -61, -61, -61, 31, 0, -61, -61, 18, 21, 22, + 59, -61, -61, -61, -61, -61, -61, -61, 59, -61, + 37, -61, 26, -61, -61, -61, 29, -19, -19, 0, + 23, 24, -61, -61, -61, -61, -61, -61, -61, 59, + 59, 59, -61, 59, -61, 28, 33, 32, 1, -61, + -61, -61, -61, -61, 0, -61, 17, -61, -19, -19, + 0, -61, 0, 0, -61, -61, -61, -61, -61, -61, + -61, 30, -61, -61, 0, 63, -61, -61, -61, 0, + 0, -61, -61, -61, -8, 15, -61, -61, 0, 67, + 39, -61, -61, -61, 15, -61, -61, -61 }; /* YYPGOTO[NTERM-NUM]. */ -static const short yypgoto[] = +static const signed char yypgoto[] = { - -32768,-32768,-32768,-32768, 70,-32768,-32768,-32768,-32768,-32768, - -32768,-32768,-32768, -58, -22, 37,-32768, 21,-32768,-32768, - -32768, -19, -14,-32768, -56, 16,-32768,-32768 + -61, -61, -61, -61, 76, -61, -61, -61, -61, -61, + -61, -61, -61, -12, -45, 41, -61, 25, -61, -61, + -61, -17, -14, -61, -60, -23, -61, -61 }; /* 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. */ -static const short yytable[] = +#define YYTABLE_NINF -62 +static const signed char yytable[] = { - 47, 44, 45, 44, 45, 82, 64, 3, 44, 84, - 83, 65, 39, 87, 88, 96, 97, 98, 4, 5, - 6, 7, 8, 9, 10, 11, 12, 91, 14, 4, - 5, 6, 7, 8, 9, 10, 11, 12, 46, 14, - 46, 94, 99, 95, 54, 85, 85, 42, 43, 49, - 50, 51, 55, 79, 52, 86, 60, 62, 77, 44, - 104, 71, 72, 55, 78, 73, 74, 75, 86, 76, - 105, 90, 33, 86, 86, 68, 102, 0, 80, 100, - 0, 0, 103, 0, 0, 0, 0, 0, 100, 4, - 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, - 0, 0, 0, 15, 16, 17, 18, 19, 20, 21, - 22, 23, 24, 25, 26, 27, 28, 29, 0, 0, - 0, 0, 0, 0, 30, 31 + 47, -72, 55, 44, 45, 54, 86, 4, 5, 6, + 7, 8, 9, 10, 11, 12, 65, 14, 44, 45, + 44, 66, 85, 87, 87, 93, 74, 75, 76, 96, + 77, 97, 98, 99, 100, 3, 43, 39, 55, 42, + 46, 56, 81, 4, 5, 6, 7, 8, 9, 10, + 11, 12, 84, 14, 49, 46, 88, 50, 51, 101, + 89, 90, 52, 61, 63, 78, 44, 72, 73, 80, + 88, 79, 106, 92, 107, 88, 88, 56, 33, 69, + 104, 102, 0, 82, 105, 0, 0, 0, 0, 0, + 102, 4, 5, 6, 7, 8, 9, 10, 11, 12, + 13, 14, 0, 0, 0, 15, 16, 17, 18, 19, + 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, + 0, 0, 0, 0, 0, 0, 30, 31 }; -static const short yycheck[] = +static const signed char yycheck[] = { - 14, 3, 4, 3, 4, 63, 35, 0, 3, 65, - 5, 40, 35, 71, 72, 17, 18, 19, 6, 7, - 8, 9, 10, 11, 12, 13, 14, 83, 16, 6, - 7, 8, 9, 10, 11, 12, 13, 14, 40, 16, - 40, 37, 44, 39, 28, 67, 68, 44, 5, 36, - 36, 36, 40, 41, 3, 69, 37, 35, 38, 3, - 5, 44, 44, 40, 37, 49, 50, 51, 82, 53, - 35, 43, 2, 87, 88, 38, 95, -1, 57, 93, - -1, -1, 96, -1, -1, -1, -1, -1, 102, 6, - 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, - -1, -1, -1, 20, 21, 22, 23, 24, 25, 26, - 27, 28, 29, 30, 31, 32, 33, 34, -1, -1, - -1, -1, -1, -1, 41, 42 + 14, 0, 1, 3, 4, 28, 66, 6, 7, 8, + 9, 10, 11, 12, 13, 14, 35, 16, 3, 4, + 3, 40, 5, 68, 69, 85, 49, 50, 51, 37, + 53, 39, 17, 18, 19, 0, 5, 35, 1, 44, + 40, 40, 41, 6, 7, 8, 9, 10, 11, 12, + 13, 14, 64, 16, 36, 40, 70, 36, 36, 44, + 72, 73, 3, 37, 35, 37, 3, 44, 44, 37, + 84, 38, 5, 43, 35, 89, 90, 40, 2, 38, + 97, 95, -1, 58, 98, -1, -1, -1, -1, -1, + 104, 6, 7, 8, 9, 10, 11, 12, 13, 14, + 15, 16, -1, -1, -1, 20, 21, 22, 23, 24, + 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, + -1, -1, -1, -1, -1, -1, 41, 42 }; /* YYSTOS[STATE-NUM] -- The (internal number of the) accessing @@ -617,12 +618,12 @@ static const unsigned char yystos[] = 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 41, 42, 48, 49, 52, 55, 56, 54, 53, 35, 50, 51, 44, 5, 3, 4, 40, 67, 69, 36, - 36, 36, 3, 70, 70, 40, 49, 61, 62, 63, - 37, 72, 35, 57, 35, 40, 59, 60, 60, 58, - 67, 44, 44, 70, 70, 70, 70, 38, 37, 41, - 62, 71, 58, 5, 69, 59, 67, 58, 58, 64, - 43, 69, 65, 66, 37, 39, 17, 18, 19, 44, - 67, 68, 66, 67, 5, 35 + 36, 36, 3, 70, 70, 1, 40, 49, 61, 62, + 63, 37, 72, 35, 57, 35, 40, 59, 60, 60, + 58, 67, 44, 44, 70, 70, 70, 70, 37, 38, + 37, 41, 62, 71, 58, 5, 69, 59, 67, 58, + 58, 64, 43, 69, 65, 66, 37, 39, 17, 18, + 19, 44, 67, 68, 66, 67, 5, 35 }; #if ! defined (YYSIZE_T) && defined (__SIZE_TYPE__) @@ -800,6 +801,145 @@ yystpcpy (yydest, yysrc) +#if YYDEBUG +/*-----------------------------. +| Print this symbol on YYOUT. | +`-----------------------------*/ + +static void +#if defined (__STDC__) || defined (__cplusplus) +yysymprint (FILE* yyout, int yytype, YYSTYPE yyvalue, YYLTYPE yylocation) +#else +yysymprint (yyout, yytype, yyvalue, yylocation) + FILE* yyout; + int yytype; + YYSTYPE yyvalue; + YYLTYPE yylocation; +#endif +{ + /* Pacify ``unused variable'' warnings. */ + (void) yyvalue; + (void) yylocation; + + if (yytype < YYNTOKENS) + { + YYFPRINTF (yyout, "token %s (", yytname[yytype]); +# ifdef YYPRINT + YYPRINT (yyout, yytoknum[yytype], yyvalue); +# endif + } + else + YYFPRINTF (yyout, "nterm %s (", yytname[yytype]); + + switch (yytype) + { + default: + break; + } + YYFPRINTF (yyout, ")"); +} +#endif /* YYDEBUG. */ + + +/*----------------------------------------------------------. +| yyreport_parse_error -- report a parse error in YYSTATE. | +`----------------------------------------------------------*/ + +static void +#if defined (__STDC__) || defined (__cplusplus) +yyreport_parse_error (int yystate, int yychar, YYSTYPE yyvalue, YYLTYPE yylloc) +#else +yyreport_parse_error (yystate, yychar, yyvalue, yylloc) + int yystate; + int yychar; + YYSTYPE yyvalue; + YYLTYPE yylloc; +#endif +{ +#if YYERROR_VERBOSE + int yyn = yypact[yystate]; + + if (YYPACT_NINF < yyn && yyn < YYLAST) + { + YYSIZE_T yysize = 0; + int yytype = YYTRANSLATE (yychar); + 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 && 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) + { + char *yyp = yystpcpy (yymsg, "parse error, unexpected "); + yyp = yystpcpy (yyp, yytname[yytype]); + + if (yycount < 5) + { + 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++; + } + } + yyerror (yymsg); + YYSTACK_FREE (yymsg); + } + else + yyerror ("parse error; also virtual memory exhausted"); + } + else +#endif /* YYERROR_VERBOSE */ + yyerror ("parse error"); + + /* Pacify ``unused variable'' warnings. */ + (void) yystate; + (void) yychar; + (void) yyvalue; + (void) yylloc; +} + + +/*-----------------------------------------------. +| Release the memory associated to this symbol. | +`-----------------------------------------------*/ + +static void +#if defined (__STDC__) || defined (__cplusplus) +yydestruct (int yytype, YYSTYPE yyvalue, YYLTYPE yylocation) +#else +yydestruct (yytype, yyvalue, yylocation) + int yytype; + YYSTYPE yyvalue; + YYLTYPE yylocation; +#endif +{ + /* Pacify ``unused variable'' warnings. */ + (void) yyvalue; + (void) yylocation; + + switch (yytype) + { + default: + break; + } +} + + + /* 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. @@ -828,15 +968,6 @@ int yyparse (void); # endif #endif -#if defined (__STDC__) || defined (__cplusplus) -static void yydestruct (int yytype, - YYSTYPE yyvalue, YYLTYPE yylocation); -# if YYDEBUG -static void yysymprint (FILE* out, int yytype, - YYSTYPE yyvalue, YYLTYPE yylocation); -# endif -#endif - @@ -1009,7 +1140,7 @@ yybackup: /* First try to decide what to do without reference to lookahead token. */ yyn = yypact[yystate]; - if (yyn == YYFLAG) + if (yyn == YYPACT_NINF) goto yydefault; /* Not known => get a lookahead token if don't already have one. */ @@ -1044,7 +1175,7 @@ yybackup: } yyn += yychar1; - if (yyn < 0 || yyn > YYLAST || yycheck[yyn] != yychar1) + if (yyn < 0 || YYLAST < yyn || yycheck[yyn] != yychar1) goto yydefault; yyn = yytable[yyn]; @@ -1058,7 +1189,7 @@ yybackup: if (yyn < 0) { - if (yyn == YYFLAG) + if (yyn == YYTABLE_NINF) goto yyerrlab; yyn = -yyn; goto yyreduce; @@ -1109,8 +1240,8 @@ yyreduce: /* If YYLEN is nonzero, implement the default value of the action: `$$ = $1'. - Otherwise, the following line sets YYVAL to the semantic value of - the lookahead token. This behavior is undocumented and Bison + Otherwise, the following line sets YYVAL to garbage. + This behavior is undocumented and Bison users should not rely upon it. Assigning to YYVAL unconditionally makes the parser a bit smaller, and it avoids a GCC warning that YYVAL may be used uninitialized. */ @@ -1138,7 +1269,7 @@ yyreduce: switch (yyn) { case 2: -#line 160 "parse-gram.y" +#line 164 "parse-gram.y" { yycontrol->errcode = 0; epilogue_set (yyvsp[0].string, yylsp[0]); @@ -1146,99 +1277,99 @@ yyreduce: break; case 6: -#line 178 "parse-gram.y" +#line 182 "parse-gram.y" { prologue_augment (yyvsp[0].string, yylsp[0]); } break; case 7: -#line 179 "parse-gram.y" +#line 183 "parse-gram.y" { debug_flag = 1; } break; case 8: -#line 180 "parse-gram.y" +#line 184 "parse-gram.y" { muscle_insert (yyvsp[-1].string, yyvsp[0].string); } break; case 9: -#line 181 "parse-gram.y" +#line 185 "parse-gram.y" { defines_flag = 1; } break; case 10: -#line 182 "parse-gram.y" +#line 186 "parse-gram.y" { error_verbose = 1; } break; case 11: -#line 183 "parse-gram.y" +#line 187 "parse-gram.y" { expected_conflicts = yyvsp[0].integer; } break; case 12: -#line 184 "parse-gram.y" +#line 188 "parse-gram.y" { spec_file_prefix = yyvsp[0].string; } break; case 13: -#line 185 "parse-gram.y" +#line 189 "parse-gram.y" { locations_flag = 1; } break; case 14: -#line 186 "parse-gram.y" +#line 190 "parse-gram.y" { spec_name_prefix = yyvsp[0].string; } break; case 15: -#line 187 "parse-gram.y" +#line 191 "parse-gram.y" { no_lines_flag = 1; } break; case 16: -#line 188 "parse-gram.y" +#line 192 "parse-gram.y" { spec_outfile = yyvsp[0].string; } break; case 17: -#line 189 "parse-gram.y" +#line 193 "parse-gram.y" { pure_parser = 1; } break; case 18: -#line 190 "parse-gram.y" +#line 194 "parse-gram.y" { glr_parser = 1; } break; case 19: -#line 191 "parse-gram.y" +#line 195 "parse-gram.y" { skeleton = yyvsp[0].string; } break; case 20: -#line 192 "parse-gram.y" +#line 196 "parse-gram.y" { token_table_flag = 1; } break; case 21: -#line 193 "parse-gram.y" +#line 197 "parse-gram.y" { report_flag = 1; } break; case 22: -#line 194 "parse-gram.y" +#line 198 "parse-gram.y" { yacc_flag = 1; } break; case 25: -#line 201 "parse-gram.y" +#line 205 "parse-gram.y" { grammar_start_symbol_set (yyvsp[0].symbol, yylsp[0]); } break; case 26: -#line 205 "parse-gram.y" +#line 209 "parse-gram.y" { typed = 1; MUSCLE_INSERT_INT ("stype_line", yylsp[0].first_line); @@ -1247,12 +1378,12 @@ yyreduce: break; case 27: -#line 211 "parse-gram.y" +#line 215 "parse-gram.y" { current_braced_code = destructor_braced_code; } break; case 28: -#line 213 "parse-gram.y" +#line 217 "parse-gram.y" { symbol_list_t *list; for (list = yyvsp[0].list; list; list = list->next) @@ -1263,12 +1394,12 @@ yyreduce: break; case 29: -#line 221 "parse-gram.y" +#line 225 "parse-gram.y" { current_braced_code = printer_braced_code; } break; case 30: -#line 223 "parse-gram.y" +#line 227 "parse-gram.y" { symbol_list_t *list; for (list = yyvsp[0].list; list; list = list->next) @@ -1279,12 +1410,12 @@ yyreduce: break; case 31: -#line 233 "parse-gram.y" +#line 237 "parse-gram.y" { current_class = nterm_sym; } break; case 32: -#line 234 "parse-gram.y" +#line 238 "parse-gram.y" { current_class = unknown_sym; current_type = NULL; @@ -1292,12 +1423,12 @@ yyreduce: break; case 33: -#line 238 "parse-gram.y" +#line 242 "parse-gram.y" { current_class = token_sym; } break; case 34: -#line 239 "parse-gram.y" +#line 243 "parse-gram.y" { current_class = unknown_sym; current_type = NULL; @@ -1305,7 +1436,7 @@ yyreduce: break; case 35: -#line 244 "parse-gram.y" +#line 248 "parse-gram.y" { symbol_list_t *list; for (list = yyvsp[0].list; list; list = list->next) @@ -1315,7 +1446,7 @@ yyreduce: break; case 36: -#line 254 "parse-gram.y" +#line 258 "parse-gram.y" { symbol_list_t *list; ++current_prec; @@ -1330,49 +1461,49 @@ yyreduce: break; case 37: -#line 268 "parse-gram.y" +#line 272 "parse-gram.y" { yyval.assoc = left_assoc; } break; case 38: -#line 269 "parse-gram.y" +#line 273 "parse-gram.y" { yyval.assoc = right_assoc; } break; case 39: -#line 270 "parse-gram.y" +#line 274 "parse-gram.y" { yyval.assoc = non_assoc; } break; case 40: -#line 274 "parse-gram.y" +#line 278 "parse-gram.y" { current_type = NULL;} break; case 41: -#line 275 "parse-gram.y" +#line 279 "parse-gram.y" { current_type = yyvsp[0].string; } break; case 42: -#line 281 "parse-gram.y" +#line 285 "parse-gram.y" { yyval.list = symbol_list_new (yyvsp[0].symbol, yylsp[0]); } break; case 43: -#line 282 "parse-gram.y" +#line 286 "parse-gram.y" { yyval.list = symbol_list_prepend (yyvsp[-1].list, yyvsp[0].symbol, yylsp[0]); } break; case 44: -#line 288 "parse-gram.y" +#line 292 "parse-gram.y" { current_type = yyvsp[0].string; } break; case 45: -#line 292 "parse-gram.y" +#line 296 "parse-gram.y" { symbol_class_set (yyvsp[0].symbol, current_class, yylsp[0]); symbol_type_set (yyvsp[0].symbol, current_type, yylsp[0]); @@ -1380,7 +1511,7 @@ yyreduce: break; case 46: -#line 297 "parse-gram.y" +#line 301 "parse-gram.y" { symbol_class_set (yyvsp[-1].symbol, current_class, yylsp[-1]); symbol_type_set (yyvsp[-1].symbol, current_type, yylsp[-1]); @@ -1389,129 +1520,144 @@ yyreduce: break; case 47: -#line 303 "parse-gram.y" +#line 307 "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); + symbol_make_alias (yyvsp[-1].symbol, yyvsp[0].symbol, yyloc); } break; case 48: -#line 309 "parse-gram.y" +#line 313 "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); + symbol_make_alias (yyvsp[-2].symbol, yyvsp[0].symbol, yyloc); } break; case 49: -#line 320 "parse-gram.y" +#line 324 "parse-gram.y" {;} break; case 50: -#line 322 "parse-gram.y" +#line 326 "parse-gram.y" {;} break; + case 54: +#line 345 "parse-gram.y" + { + if (yacc_flag) + complain_at (yyloc, _("POSIX forbids declarations in the grammar")); + } + break; + case 55: -#line 344 "parse-gram.y" - { current_lhs = yyvsp[-1].symbol; current_lhs_location = yylsp[-1]; } +#line 350 "parse-gram.y" + { + yyerrok; + } break; case 56: -#line 345 "parse-gram.y" - {;} +#line 356 "parse-gram.y" + { current_lhs = yyvsp[-1].symbol; current_lhs_location = yylsp[-1]; } break; case 57: -#line 349 "parse-gram.y" - { grammar_rule_end (yylsp[0]); } +#line 357 "parse-gram.y" + {;} break; case 58: -#line 350 "parse-gram.y" +#line 361 "parse-gram.y" { grammar_rule_end (yylsp[0]); } break; case 59: -#line 355 "parse-gram.y" - { grammar_rule_begin (current_lhs, current_lhs_location); } +#line 362 "parse-gram.y" + { grammar_rule_end (yylsp[0]); } break; case 60: -#line 357 "parse-gram.y" - { grammar_current_rule_symbol_append (yyvsp[0].symbol, yylsp[0]); } +#line 367 "parse-gram.y" + { grammar_rule_begin (current_lhs, current_lhs_location); } break; case 61: -#line 359 "parse-gram.y" - { grammar_current_rule_action_append (yyvsp[0].string, yylsp[0]); } +#line 369 "parse-gram.y" + { grammar_current_rule_symbol_append (yyvsp[0].symbol, yylsp[0]); } break; case 62: -#line 361 "parse-gram.y" - { grammar_current_rule_prec_set (yyvsp[0].symbol, yylsp[0]); } +#line 371 "parse-gram.y" + { grammar_current_rule_action_append (yyvsp[0].string, yylsp[0]); } break; case 63: -#line 363 "parse-gram.y" - { grammar_current_rule_dprec_set (yyvsp[0].integer, yylsp[0]); } +#line 373 "parse-gram.y" + { grammar_current_rule_prec_set (yyvsp[0].symbol, yylsp[0]); } break; case 64: -#line 365 "parse-gram.y" - { grammar_current_rule_merge_set (yyvsp[0].string, yylsp[0]); } +#line 375 "parse-gram.y" + { grammar_current_rule_dprec_set (yyvsp[0].integer, yylsp[0]); } break; case 65: -#line 369 "parse-gram.y" - { yyval.symbol = yyvsp[0].symbol; } +#line 377 "parse-gram.y" + { grammar_current_rule_merge_set (yyvsp[0].string, yylsp[0]); } break; case 66: -#line 370 "parse-gram.y" +#line 381 "parse-gram.y" { yyval.symbol = yyvsp[0].symbol; } break; case 67: -#line 371 "parse-gram.y" - { yyval.symbol = symbol_get (yyvsp[0].string, yylsp[0]); } +#line 382 "parse-gram.y" + { yyval.symbol = yyvsp[0].symbol; } break; case 68: -#line 376 "parse-gram.y" - { yyval.string = yyvsp[0].string; } +#line 383 "parse-gram.y" + { yyval.symbol = symbol_get (yyvsp[0].string, yylsp[0]); } break; case 69: -#line 382 "parse-gram.y" +#line 388 "parse-gram.y" + { yyval.string = yyvsp[0].string; } + break; + + case 70: +#line 394 "parse-gram.y" { yyval.symbol = symbol_get (yyvsp[0].string, yylsp[0]); symbol_class_set (yyval.symbol, token_sym, yylsp[0]); } break; - case 70: -#line 391 "parse-gram.y" + case 71: +#line 403 "parse-gram.y" { yyval.string = yyvsp[0].string + 1; yyval.string[strlen (yyval.string) - 1] = '\0'; } break; - case 71: -#line 399 "parse-gram.y" + case 72: +#line 411 "parse-gram.y" { yyval.string = xstrdup (""); } break; - case 72: -#line 403 "parse-gram.y" + case 73: +#line 415 "parse-gram.y" { yyval.string = yyvsp[0].string; } @@ -1520,8 +1666,8 @@ yyreduce: } -/* Line 1040 of /usr/local/share/bison/yacc.c. */ -#line 1525 "parse-gram.c" +/* Line 1081 of /usr/local/share/bison/yacc.c. */ +#line 1671 "parse-gram.c" yyvsp -= yylen; yyssp -= yylen; @@ -1548,7 +1694,7 @@ yyreduce: yyn = yyr1[yyn]; yystate = yypgoto[yyn - YYNTOKENS] + *yyssp; - if (yystate >= 0 && yystate <= YYLAST && yycheck[yystate] == *yyssp) + if (0 <= yystate && yystate <= YYLAST && yycheck[yystate] == *yyssp) yystate = yytable[yystate]; else yystate = yydefgoto[yyn - YYNTOKENS]; @@ -1564,54 +1710,7 @@ yyerrlab: if (!yyerrstatus) { ++yynerrs; - -#if 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 /* YYERROR_VERBOSE */ - yyerror ("parse error"); + yyreport_parse_error (yystate, yychar, yylval, yylloc); } goto yyerrlab1; @@ -1658,7 +1757,7 @@ yyerrlab1: for (;;) { yyn = yypact[yystate]; - if (yyn != YYFLAG) + if (yyn != YYPACT_NINF) { yyn += YYTERROR; if (0 <= yyn && yyn <= YYLAST && yycheck[yyn] == YYTERROR) @@ -1740,59 +1839,7 @@ yyreturn: } -/*-----------------------------------------------. -| Release the memory associated to this symbol. | -`-----------------------------------------------*/ - -static void -yydestruct (int yytype, - YYSTYPE yyvalue, YYLTYPE yylocation) -{ - /* Pacify ``unused variable'' warnings. */ - (void) yyvalue; - (void) yylocation; - - switch (yytype) - { - default: - break; - } -} - - -#if YYDEBUG -/*-----------------------------. -| Print this symbol on YYOUT. | -`-----------------------------*/ - -static void -yysymprint (FILE* yyout, int yytype, - YYSTYPE yyvalue, YYLTYPE yylocation) -{ - /* Pacify ``unused variable'' warnings. */ - (void) yyvalue; - (void) yylocation; - - if (yytype < YYNTOKENS) - { - YYFPRINTF (yyout, "token %s (", yytname[yytype]); -# ifdef YYPRINT - YYPRINT (yyout, yytoknum[yytype], yyvalue); -# endif - } - else - YYFPRINTF (yyout, "nterm %s (", yytname[yytype]); - - switch (yytype) - { - default: - break; - } - YYFPRINTF (yyout, ")"); -} -#endif /* YYDEBUG. */ - -#line 412 "parse-gram.y" +#line 424 "parse-gram.y" /*------------------------------------------------------------------. | When debugging the parser, display tokens' locations and values. | @@ -1834,10 +1881,8 @@ yyprint (FILE *file, } void -gram_error (gram_control_t *control ATTRIBUTE_UNUSED, - location_t *yylloc, const char *msg) +gram_error (location_t *yylloc, const char *msg) { - LOCATION_PRINT (stderr, *yylloc); - fprintf (stderr, ": %s\n", msg); + complain_at (*yylloc, "%s", msg); }