X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/6666f98f4f1997c1325197e6ecdf98d4227c849e..dc2825ae898c526ea3619450112b2ea44f437151:/src/bison.simple diff --git a/src/bison.simple b/src/bison.simple index e71ac990..e2b5d6fb 100644 --- a/src/bison.simple +++ b/src/bison.simple @@ -1,9 +1,7 @@ /* -*-C-*- Note some compilers choke on comments on `#line' lines. */ #line -/* This file comes from bison-@bison_version@. */ - /* Skeleton output parser for bison, - Copyright (C) 1984, 1989, 1990 Free Software Foundation, Inc. + Copyright 1984, 1989, 1990, 2000 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,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 @@ -80,10 +78,6 @@ # define YYSTACK_ALLOC malloc #endif -/* Note: there must be only one dollar sign in this file. - It is replaced by the list of actions, each action - as one case of the switch. */ - #define yyerrok (yyerrstatus = 0) #define yyclearin (yychar = YYEMPTY) #define YYEMPTY -2 @@ -91,87 +85,90 @@ #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() + +/* YYLLOC_DEFAULT -- Compute the default location (before the actions + are run). + + When YYLLOC_DEFAULT is run, CURRENT is set the location of the + first token. By default, to implement support for ranges, extend + its range to the last symbol. */ + +#ifndef YYLLOC_DEFAULT +# define YYLLOC_DEFAULT(Current, Last) \ + Current.last_line = Last.last_line; \ + Current.last_column = Last.last_column; #endif -#ifdef YYPURE -# ifdef YYLSP_NEEDED + +/* YYLEX -- calling `yylex' with the right arguments. */ + +#if YYPURE +# if 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 - -/* If nonreentrant, generate the variables here. */ - -#ifndef YYPURE -/* The lookahead symbol. */ -int yychar; - -/* The semantic value of the lookahead symbol. */ -YYSTYPE yylval; - -# ifdef YYLSP_NEEDED -/* Location data for the lookahead symbol. */ -YYLTYPE yylloc; -# endif - -/* Number of parse errors so far. */ -int yynerrs; -#endif /* not YYPURE */ +# endif /* !YYLSP_NEEDED */ +#else /* !YYPURE */ +# define YYLEX yylex () +#endif /* !YYPURE */ -#if YYDEBUG != 0 -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 */ - +/* Enable debugging if requested. */ +#if YYDEBUG +# 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 +183,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 +233,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__ @@ -254,10 +251,46 @@ int yyparse (void); # endif #endif +/* YY_DECL_VARIABLES -- depending whether we use a pure parser, + variables are global, or local to YYPARSE. */ + +#define _YY_DECL_VARIABLES \ +/* The lookahead symbol. */ \ +int yychar; \ + \ +/* The semantic value of the lookahead symbol. */ \ +YYSTYPE yylval; \ + \ +/* Number of parse errors so far. */ \ +int yynerrs; + +#if YYLSP_NEEDED +# define YY_DECL_VARIABLES \ +_YY_DECL_VARIABLES \ + \ +/* Location data for the lookahead symbol. */ \ +YYLTYPE yylloc; +#else +# define YY_DECL_VARIABLES \ +_YY_DECL_VARIABLES +#endif + + +/* If nonreentrant, generate the variables here. */ + +#if !YYPURE +YY_DECL_VARIABLES +#endif /* !YYPURE */ + int -yyparse(YYPARSE_PARAM_ARG) +yyparse (YYPARSE_PARAM_ARG) YYPARSE_PARAM_DECL { + /* If reentrant, generate the variables here. */ +#if YYPURE + YY_DECL_VARIABLES +#endif /* !YYPURE */ + register int yystate; register int yyn; /* Number of tokens to shift before error messages enabled. */ @@ -283,14 +316,14 @@ yyparse(YYPARSE_PARAM_ARG) YYSTYPE *yyvs = yyvsa; register YYSTYPE *yyvsp; -#ifdef YYLSP_NEEDED +#if YYLSP_NEEDED /* The location stack. */ YYLTYPE yylsa[YYINITDEPTH]; YYLTYPE *yyls = yylsa; YYLTYPE *yylsp; #endif -#ifdef YYLSP_NEEDED +#if YYLSP_NEEDED # define YYPOPSTACK (yyvsp--, yyssp--, yylsp--) #else # define YYPOPSTACK (yyvsp--, yyssp--) @@ -299,20 +332,11 @@ yyparse(YYPARSE_PARAM_ARG) int yystacksize = YYINITDEPTH; int yyfree_stacks = 0; -#ifdef YYPURE - int yychar; - YYSTYPE yylval; - int yynerrs; -# ifdef YYLSP_NEEDED - YYLTYPE yylloc; -# endif -#endif - /* The variables used to return semantic value and location from the action routines. */ YYSTYPE yyval; -# ifdef YYLSP_NEEDED +# if YYLSP_NEEDED YYLTYPE yyloc; # endif @@ -320,8 +344,7 @@ yyparse(YYPARSE_PARAM_ARG) rule. */ int yylen; - if (yydebug) - fprintf (stderr, "Starting parse\n"); + YYDPRINTF ((stderr, "Starting parse\n")); yystate = 0; yyerrstatus = 0; @@ -335,24 +358,28 @@ yyparse(YYPARSE_PARAM_ARG) yyssp = yyss - 1; yyvsp = yyvs; -#ifdef YYLSP_NEEDED +#if YYLSP_NEEDED 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 +#if YYLSP_NEEDED YYLTYPE *yyls1 = yyls; #endif @@ -360,9 +387,9 @@ yynewstate: int size = yyssp - yyss + 1; #ifdef yyoverflow - /* Each stack pointer address is followed by the size of - the data in use in that stack, in bytes. */ -# ifdef YYLSP_NEEDED + /* Each stack pointer address is followed by the size of the + data in use in that stack, in bytes. */ +# if YYLSP_NEEDED /* 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", @@ -378,19 +405,19 @@ yynewstate: # endif yyss = yyss1; yyvs = yyvs1; -# ifdef YYLSP_NEEDED +# if YYLSP_NEEDED yyls = yyls1; # endif #else /* no yyoverflow */ /* Extend the stack our own way. */ if (yystacksize >= YYMAXDEPTH) { - yyerror("parser stack overflow"); + yyerror ("parser stack overflow"); if (yyfree_stacks) { free (yyss); free (yyvs); -# ifdef YYLSP_NEEDED +# if YYLSP_NEEDED free (yyls); # endif } @@ -408,7 +435,7 @@ yynewstate: yyvs = (YYSTYPE *) YYSTACK_ALLOC (yystacksize * sizeof (*yyvsp)); __yy_memcpy ((char *)yyvs, (char *)yyvs1, size * (unsigned int) sizeof (*yyvsp)); -# ifdef YYLSP_NEEDED +# if YYLSP_NEEDED yyls = (YYLTYPE *) YYSTACK_ALLOC (yystacksize * sizeof (*yylsp)); __yy_memcpy ((char *)yyls, (char *)yyls1, size * (unsigned int) sizeof (*yylsp)); @@ -417,22 +444,25 @@ yynewstate: yyssp = yyss + size - 1; yyvsp = yyvs + size - 1; -#ifdef YYLSP_NEEDED +#if YYLSP_NEEDED 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 +481,7 @@ yynewstate: if (yychar == YYEMPTY) { - if (yydebug) - fprintf (stderr, "Reading a token: "); + YYDPRINTF ((stderr, "Reading a token: ")); yychar = YYLEX; } @@ -463,23 +492,26 @@ 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 + which are defined only if `YYDEBUG' is set. */ if (yydebug) { fprintf (stderr, "Next token is %d (%s", yychar, yytname[yychar1]); - /* Give the individual parser a way to print the precise meaning - of a token, for further debugging info. */ + /* Give the individual parser a way to print the precise + meaning of a token, for further debugging info. */ # ifdef YYPRINT YYPRINT (stderr, yychar, yylval); # endif fprintf (stderr, ")\n"); } +#endif } yyn += yychar1; @@ -509,55 +541,58 @@ yynewstate: YYACCEPT; /* Shift the lookahead token. */ - - if (yydebug) - fprintf (stderr, "Shifting token %d (%s), ", yychar, yytname[yychar1]); + YYDPRINTF ((stderr, "Shifting token %d (%s), ", yychar, yytname[yychar1])); /* Discard the token being shifted unless it is eof. */ if (yychar != YYEOF) yychar = YYEMPTY; *++yyvsp = yylval; -#ifdef YYLSP_NEEDED +#if YYLSP_NEEDED *++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]; -#ifdef YYLSP_NEEDED - /* Implement default location. If the rhs is empty, extend YYLOC to - YYLLOC, which corresponds to the current token, otherwise - implement `@{dollar} = Starts at @1, ends at @YYLEN'. */ - if (yylen > 0) - { - yyloc = yylsp[1-yylen]; - yyloc.last_line = yylsp[0].last_line; - yyloc.last_column = yylsp[0].last_column; - } - else - { - yyloc.last_line = yylsp[0].last_line; - yyloc.last_column = yylsp[0].last_column; - yyloc.text = 0; - } + + /* 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 + users should not rely upon it. Assigning to YYVAL + unconditionally makes the parser a bit smaller, and it avoids a + GCC warning that YYVAL may be used uninitialized. */ + yyval = yyvsp[1-yylen]; + +#if YYLSP_NEEDED + /* Similarly for the default location. Let the user run additional + commands if for instance locations are ranges. */ + yyloc = yylsp[1-yylen]; + YYLLOC_DEFAULT (yyloc, yylsp[0]); #endif #if YYDEBUG @@ -576,15 +611,16 @@ yyreduce: fprintf (stderr, " -> %s\n", yytname[yyr1[yyn]]); } #endif -$ /* the action file gets copied in in place of this dollarsign */ +%% actions /* The action file replaces this line. */ #line yyvsp -= yylen; yyssp -= yylen; -#ifdef YYLSP_NEEDED +#if YYLSP_NEEDED yylsp -= yylen; #endif +#if YYDEBUG if (yydebug) { short *ssp1 = yyss - 1; @@ -593,9 +629,10 @@ $ /* the action file gets copied in in place of this dollarsign */ fprintf (stderr, " %d", *++ssp1); fprintf (stderr, "\n"); } +#endif *++yyvsp = yyval; -#ifdef YYLSP_NEEDED +#if YYLSP_NEEDED *++yylsp = yyloc; #endif @@ -613,10 +650,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; @@ -632,81 +672,99 @@ 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 < (int) (sizeof (yytname) / sizeof (char *)); x++) if (yycheck[x + yyn] == x) - size += strlen(yytname[x]) + 15, count++; - msg = (char *) malloc(size + 15); + size += strlen (yytname[x]) + 15, count++; + size += strlen ("parse error, unexpected `") + 1; + size += strlen (yytname[YYTRANSLATE (yychar)]); + msg = (char *) malloc (size); if (msg != 0) { - strcpy(msg, "parse error"); + strcpy (msg, "parse error, unexpected `"); + strcat (msg, yytname[YYTRANSLATE (yychar)]); + strcat (msg, "'"); if (count < 5) { count = 0; for (x = (yyn < 0 ? -yyn : 0); - x < (sizeof(yytname) / sizeof(char *)); x++) + x < (int) (sizeof (yytname) / sizeof (char *)); x++) if (yycheck[x + yyn] == x) { - strcat(msg, count == 0 ? ", expecting `" : " or `"); - strcat(msg, yytname[x]); - strcat(msg, "'"); + strcat (msg, count == 0 ? ", expecting `" : " or `"); + strcat (msg, yytname[x]); + strcat (msg, "'"); count++; } } - yyerror(msg); - free(msg); + yyerror (msg); + free (msg); } else yyerror ("parse error; also virtual memory exceeded"); } else #endif /* YYERROR_VERBOSE */ - yyerror("parse error"); + 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) - fprintf (stderr, "Discarding token %d (%s).\n", - yychar, yytname[yychar1]); - + 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 +#if YYLSP_NEEDED yylsp--; #endif +#if YYDEBUG if (yydebug) { short *ssp1 = yyss - 1; @@ -715,9 +773,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; @@ -740,36 +801,41 @@ yyerrhandle: if (yyn == YYFINAL) YYACCEPT; - if (yydebug) - fprintf (stderr, "Shifting error token, "); + YYDPRINTF ((stderr, "Shifting error token, ")); *++yyvsp = yylval; -#ifdef YYLSP_NEEDED +#if YYLSP_NEEDED *++yylsp = yylloc; #endif yystate = yyn; goto yynewstate; - yyacceptlab: - /* YYACCEPT comes here. */ + +/*-------------------------------------. +| yyacceptlab -- YYACCEPT comes here. | +`-------------------------------------*/ +yyacceptlab: if (yyfree_stacks) { free (yyss); free (yyvs); -#ifdef YYLSP_NEEDED +#if YYLSP_NEEDED free (yyls); #endif } return 0; - yyabortlab: - /* YYABORT comes here. */ + +/*-----------------------------------. +| yyabortlab -- YYABORT comes here. | +`-----------------------------------*/ +yyabortlab: if (yyfree_stacks) { free (yyss); free (yyvs); -#ifdef YYLSP_NEEDED +#if YYLSP_NEEDED free (yyls); #endif }