X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/0d533154e4618606f7a0907b68fedafb35982924..090c5ebfa813d77aa5f57e6e249ac1cfbc1d36ad:/src/bison.s1 diff --git a/src/bison.s1 b/src/bison.s1 index 62859b27..aee33e27 100644 --- a/src/bison.s1 +++ b/src/bison.s1 @@ -25,10 +25,10 @@ This special exception was added by the Free Software Foundation in version 1.24 of Bison. */ -/* This is the parser code that is written into each bison parser - when the %semantic_parser declaration is not specified in the grammar. - It was written by Richard Stallman by simplifying the hairy parser - used when %semantic_parser is specified. */ +/* This is the parser code that is written into each bison parser when + the %semantic_parser declaration is not specified in the grammar. + It was written by Richard Stallman by simplifying the hairy parser + used when %semantic_parser is specified. */ #ifndef YYSTACK_USE_ALLOCA # ifdef alloca @@ -91,55 +91,59 @@ #define YYACCEPT goto yyacceptlab #define YYABORT goto yyabortlab #define YYERROR goto yyerrlab1 -/* Like YYERROR except do call yyerror. - This remains here temporarily to ease the - transition to the new meaning of YYERROR, for GCC. +/* Like YYERROR except do call yyerror. This remains here temporarily + to ease the transition to the new meaning of YYERROR, for GCC. Once GCC version 2 has supplanted version 1, this can go. */ #define YYFAIL goto yyerrlab #define YYRECOVERING() (!!yyerrstatus) -#define YYBACKUP(token, value) \ +#define YYBACKUP(Token, Value) \ do \ if (yychar == YYEMPTY && yylen == 1) \ - { yychar = (token), yylval = (value); \ + { \ + yychar = (Token); \ + yylval = (Value); \ yychar1 = YYTRANSLATE (yychar); \ YYPOPSTACK; \ goto yybackup; \ } \ else \ - { yyerror ("syntax error: cannot back up"); YYERROR; } \ + { \ + yyerror ("syntax error: cannot back up"); \ + YYERROR; \ + } \ while (0) #define YYTERROR 1 #define YYERRCODE 256 #ifndef YYPURE -# define YYLEX yylex() +# define YYLEX yylex () #endif #ifdef YYPURE # ifdef YYLSP_NEEDED # ifdef YYLEX_PARAM -# define YYLEX yylex(&yylval, &yylloc, YYLEX_PARAM) +# define YYLEX yylex (&yylval, &yylloc, YYLEX_PARAM) # else -# define YYLEX yylex(&yylval, &yylloc) +# define YYLEX yylex (&yylval, &yylloc) # endif -# else /* not YYLSP_NEEDED */ +# else /* !YYLSP_NEEDED */ # ifdef YYLEX_PARAM -# define YYLEX yylex(&yylval, YYLEX_PARAM) +# define YYLEX yylex (&yylval, YYLEX_PARAM) # else -# define YYLEX yylex(&yylval) +# define YYLEX yylex (&yylval) # endif -# endif /* not YYLSP_NEEDED */ +# endif /* !YYLSP_NEEDED */ #endif /* If nonreentrant, generate the variables here. */ #ifndef YYPURE /* The lookahead symbol. */ -int yychar; +int yychar; /* The semantic value of the lookahead symbol. */ -YYSTYPE yylval; +YYSTYPE yylval; # ifdef YYLSP_NEEDED /* Location data for the lookahead symbol. */ @@ -148,30 +152,31 @@ YYLTYPE yylloc; /* Number of parse errors so far. */ int yynerrs; -#endif /* not YYPURE */ - +#endif /* !YYPURE */ +/* Enable debugging if requested. */ #if YYDEBUG -int yydebug; /* nonzero means print parse trace */ - - /* [The following comment makes no sense to me. Could someone - clarify it? --akim] Since this is uninitialized, it does not - stop multiple parsers from coexisting. */ -#else - /* To avoid crippling this file with `#if YYDEBUG', define `yydebug' - as `0', so that the `if (yydebug)' be removed as dead code. */ -# define yydebug 0 -#endif - -/* YYINITDEPTH indicates the initial size of the parser's stacks */ - +# define YYDPRINTF(Args) \ +do { \ + if (yydebug) \ + fprintf Args; \ +} while (0) +/* Nonzero means print parse trace. [The following comment makes no + sense to me. Could someone clarify it? --akim] Since this is + uninitialized, it does not stop multiple parsers from coexisting. + */ +int yydebug; +#else /* !YYDEBUG */ +# define YYDPRINTF(Args) +#endif /* !YYDEBUG */ + +/* YYINITDEPTH -- initial size of the parser's stacks. */ #ifndef YYINITDEPTH # define YYINITDEPTH 200 #endif -/* YYMAXDEPTH is the maximum size the stacks can grow to - (effective only if the built-in stack extension method is used). */ - +/* YYMAXDEPTH -- maximum size the stacks can grow to (effective only + if the built-in stack extension method is used). */ #if YYMAXDEPTH == 0 # undef YYMAXDEPTH #endif @@ -186,7 +191,7 @@ int yydebug; /* nonzero means print parse trace */ of type size_t, but it can handle unsigned int. */ #if __GNUC__ > 1 /* GNU C and GNU C++ define this. */ -# define __yy_memcpy(TO,FROM,COUNT) __builtin_memcpy(TO,FROM,COUNT) +# define __yy_memcpy(To, From, Count) __builtin_memcpy (To, From, Count) #else /* not GNU C or C++ */ # ifndef __cplusplus @@ -236,14 +241,14 @@ __yy_memcpy (char *to, char *from, unsigned int count) # ifdef __cplusplus # define YYPARSE_PARAM_ARG void *YYPARSE_PARAM # define YYPARSE_PARAM_DECL -# else /* not __cplusplus */ +# else /* !__cplusplus */ # define YYPARSE_PARAM_ARG YYPARSE_PARAM # define YYPARSE_PARAM_DECL void *YYPARSE_PARAM; -# endif /* not __cplusplus */ -#else /* not YYPARSE_PARAM */ +# endif /* !__cplusplus */ +#else /* !YYPARSE_PARAM */ # define YYPARSE_PARAM_ARG # define YYPARSE_PARAM_DECL -#endif /* not YYPARSE_PARAM */ +#endif /* !YYPARSE_PARAM */ /* Prevent warning if -Wstrict-prototypes. */ #ifdef __GNUC__ @@ -255,7 +260,7 @@ int yyparse (void); #endif int -yyparse(YYPARSE_PARAM_ARG) +yyparse (YYPARSE_PARAM_ARG) YYPARSE_PARAM_DECL { register int yystate; @@ -320,8 +325,7 @@ yyparse(YYPARSE_PARAM_ARG) rule. */ int yylen; - if (yydebug) - fprintf (stderr, "Starting parse\n"); + YYDPRINTF ((stderr, "Starting parse\n")); yystate = 0; yyerrstatus = 0; @@ -339,17 +343,21 @@ yyparse(YYPARSE_PARAM_ARG) yylsp = yyls; #endif -/* Push a new state, which is found in yystate . */ -/* In all cases, when you get here, the value and location stacks - have just been pushed. so pushing a state here evens the stacks. */ -yynewstate: +/*------------------------------------------------------------. +| yynewstate -- Push a new state, which is found in yystate. | +`------------------------------------------------------------*/ +yynewstate: + /* In all cases, when you get here, the value and location stacks + have just been pushed. so pushing a state here evens the stacks. + */ *++yyssp = yystate; if (yyssp >= yyss + yystacksize - 1) { - /* Give user a chance to reallocate the stack */ - /* Use copies of these so that the &'s don't force the real ones into memory. */ + /* Give user a chance to reallocate the stack. Use copies of + these so that the &'s don't force the real ones into memory. + */ YYSTYPE *yyvs1 = yyvs; short *yyss1 = yyss; #ifdef YYLSP_NEEDED @@ -385,7 +393,7 @@ yynewstate: /* Extend the stack our own way. */ if (yystacksize >= YYMAXDEPTH) { - yyerror("parser stack overflow"); + yyerror ("parser stack overflow"); if (yyfree_stacks) { free (yyss); @@ -421,18 +429,21 @@ yynewstate: yylsp = yyls + size - 1; #endif - if (yydebug) - fprintf (stderr, "Stack size increased to %d\n", yystacksize); + YYDPRINTF ((stderr, "Stack size increased to %d\n", yystacksize)); if (yyssp >= yyss + yystacksize - 1) YYABORT; } - if (yydebug) - fprintf (stderr, "Entering state %d\n", yystate); + YYDPRINTF ((stderr, "Entering state %d\n", yystate)); goto yybackup; - yybackup: + + +/*-----------. +| yybackup. | +`-----------*/ +yybackup: /* Do appropriate processing given the current state. */ /* Read a lookahead token if we need one and don't already have one. */ @@ -451,8 +462,7 @@ yynewstate: if (yychar == YYEMPTY) { - if (yydebug) - fprintf (stderr, "Reading a token: "); + YYDPRINTF ((stderr, "Reading a token: ")); yychar = YYLEX; } @@ -463,12 +473,11 @@ yynewstate: yychar1 = 0; yychar = YYEOF; /* Don't call YYLEX any more */ - if (yydebug) - fprintf (stderr, "Now at end of input.\n"); + YYDPRINTF ((stderr, "Now at end of input.\n")); } else { - yychar1 = YYTRANSLATE(yychar); + yychar1 = YYTRANSLATE (yychar); #if YYDEBUG /* We have to keep this `#if YYDEBUG', since we use variables @@ -513,10 +522,7 @@ yynewstate: YYACCEPT; /* Shift the lookahead token. */ -#if YYDEBUG - if (yydebug) - fprintf (stderr, "Shifting token %d (%s), ", yychar, yytname[yychar1]); -#endif + YYDPRINTF ((stderr, "Shifting token %d (%s), ", yychar, yytname[yychar1])); /* Discard the token being shifted unless it is eof. */ if (yychar != YYEOF) @@ -527,26 +533,41 @@ yynewstate: *++yylsp = yylloc; #endif - /* count tokens shifted since error; after three, turn off error status. */ - if (yyerrstatus) yyerrstatus--; + /* Count tokens shifted since error; after three, turn off error + status. */ + if (yyerrstatus) + yyerrstatus--; yystate = yyn; goto yynewstate; -/* Do the default action for the current state. */ -yydefault: +/*-----------------------------------------------------------. +| yydefault -- do the default action for the current state. | +`-----------------------------------------------------------*/ +yydefault: yyn = yydefact[yystate]; if (yyn == 0) goto yyerrlab; + goto yyreduce; + -/* Do a reduction. yyn is the number of a rule to reduce with. */ +/*-----------------------------. +| yyreduce -- Do a reduction. | +`-----------------------------*/ yyreduce: + /* yyn is the number of a rule to reduce with. */ yylen = yyr2[yyn]; - /* Implement default value of the action: - `{dollar}{dollar} = {dollar}1'. */ - if (yylen > 0) - yyval = yyvsp[1-yylen]; + + /* If YYLEN is nonzero, implement the default value of the action: + `{dollar}{dollar} = {dollar}1'. + + Otherwise, the following line sets YYVAL to the semantic value of + the lookahead token. This behavior is undocumented and Bison + users should not rely upon it. Assigning to YYVAL + unconditionally makes the parser a bit smaller, and it avoids a + GCC warning that YYVAL may be used uninitialized. */ + yyval = yyvsp[1-yylen]; #ifdef YYLSP_NEEDED /* Implement default location. If the rhs is empty, extend YYLOC to YYLLOC, which corresponds to the current token, otherwise @@ -581,7 +602,7 @@ yyreduce: fprintf (stderr, " -> %s\n", yytname[yyr1[yyn]]); } #endif -$ /* the action file gets copied in in place of this dollarsign */ +$ /* The action file replaces this line marked with this dollarsign. */ #line yyvsp -= yylen; @@ -590,6 +611,7 @@ $ /* the action file gets copied in in place of this dollarsign */ yylsp -= yylen; #endif +#if YYDEBUG if (yydebug) { short *ssp1 = yyss - 1; @@ -598,6 +620,7 @@ $ /* the action file gets copied in in place of this dollarsign */ fprintf (stderr, " %d", *++ssp1); fprintf (stderr, "\n"); } +#endif *++yyvsp = yyval; #ifdef YYLSP_NEEDED @@ -618,10 +641,13 @@ $ /* the action file gets copied in in place of this dollarsign */ goto yynewstate; -yyerrlab: /* here on detecting error */ - if (! yyerrstatus) - /* If not already recovering from an error, report this error. */ +/*------------------------------------. +| yyerrlab -- here on detecting error | +`------------------------------------*/ +yyerrlab: + /* If not already recovering from an error, report this error. */ + if (!yyerrstatus) { ++yynerrs; @@ -637,9 +663,9 @@ yyerrlab: /* here on detecting error */ count = 0; /* Start X at -yyn if nec to avoid negative indexes in yycheck. */ for (x = (yyn < 0 ? -yyn : 0); - x < (sizeof(yytname) / sizeof(char *)); x++) + x < (sizeof (yytname) / sizeof (char *)); x++) if (yycheck[x + yyn] == x) - size += strlen(yytname[x]) + 15, count++; + size += strlen (yytname[x]) + 15, count++; size += strlen ("parse error, unexpected `") + 1; size += strlen (yytname[YYTRANSLATE (yychar)]); msg = (char *) malloc (size); @@ -653,7 +679,7 @@ yyerrlab: /* here on detecting error */ { count = 0; for (x = (yyn < 0 ? -yyn : 0); - x < (sizeof(yytname) / sizeof(char *)); x++) + x < (sizeof (yytname) / sizeof (char *)); x++) if (yycheck[x + yyn] == x) { strcat (msg, count == 0 ? ", expecting `" : " or `"); @@ -672,50 +698,64 @@ yyerrlab: /* here on detecting error */ #endif /* YYERROR_VERBOSE */ yyerror ("parse error"); } - goto yyerrlab1; -yyerrlab1: /* here on error raised explicitly by an action */ + +/*--------------------------------------------------. +| yyerrlab1 -- error raised explicitly by an action | +`--------------------------------------------------*/ +yyerrlab1: if (yyerrstatus == 3) { - /* if just tried and failed to reuse lookahead token after an error, discard it. */ + /* If just tried and failed to reuse lookahead token after an + error, discard it. */ /* return failure if at end of input */ if (yychar == YYEOF) YYABORT; -#if YYDEBUG - if (yydebug) - fprintf (stderr, "Discarding token %d (%s).\n", - yychar, yytname[yychar1]); -#endif + YYDPRINTF ((stderr, "Discarding token %d (%s).\n", + yychar, yytname[yychar1])); yychar = YYEMPTY; } - /* Else will try to reuse lookahead token - after shifting the error token. */ + /* Else will try to reuse lookahead token after shifting the error + token. */ yyerrstatus = 3; /* Each real token shifted decrements this */ goto yyerrhandle; -yyerrdefault: /* current state does not do anything special for the error token. */ +/*-------------------------------------------------------------------. +| yyerrdefault -- current state does not do anything special for the | +| error token. | +`-------------------------------------------------------------------*/ +yyerrdefault: #if 0 /* This is wrong; only states that explicitly want error tokens should shift them. */ - yyn = yydefact[yystate]; /* If its default is to accept any token, ok. Otherwise pop it.*/ - if (yyn) goto yydefault; + + /* If its default is to accept any token, ok. Otherwise pop it. */ + yyn = yydefact[yystate]; + if (yyn) + goto yydefault; #endif -yyerrpop: /* pop the current state because it cannot handle the error token */ - if (yyssp == yyss) YYABORT; +/*---------------------------------------------------------------. +| yyerrpop -- pop the current state because it cannot handle the | +| error token | +`---------------------------------------------------------------*/ +yyerrpop: + if (yyssp == yyss) + YYABORT; yyvsp--; yystate = *--yyssp; #ifdef YYLSP_NEEDED yylsp--; #endif +#if YYDEBUG if (yydebug) { short *ssp1 = yyss - 1; @@ -724,9 +764,12 @@ yyerrpop: /* pop the current state because it cannot handle the error token */ fprintf (stderr, " %d", *++ssp1); fprintf (stderr, "\n"); } +#endif +/*--------------. +| yyerrhandle. | +`--------------*/ yyerrhandle: - yyn = yypact[yystate]; if (yyn == YYFLAG) goto yyerrdefault; @@ -749,8 +792,7 @@ yyerrhandle: if (yyn == YYFINAL) YYACCEPT; - if (yydebug) - fprintf (stderr, "Shifting error token, "); + YYDPRINTF ((stderr, "Shifting error token, ")); *++yyvsp = yylval; #ifdef YYLSP_NEEDED @@ -760,8 +802,11 @@ yyerrhandle: yystate = yyn; goto yynewstate; - yyacceptlab: - /* YYACCEPT comes here. */ + +/*-------------------------------------. +| yyacceptlab -- YYACCEPT comes here. | +`-------------------------------------*/ +yyacceptlab: if (yyfree_stacks) { free (yyss); @@ -772,8 +817,11 @@ yyerrhandle: } return 0; - yyabortlab: - /* YYABORT comes here. */ + +/*-----------------------------------. +| yyabortlab -- YYABORT comes here. | +`-----------------------------------*/ +yyabortlab: if (yyfree_stacks) { free (yyss);