X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/fb75fa822d8c8cc89759fe633a36ea5c79bee134..4dc58e7c764829fac17f2affe3c8b8ec8decaa87:/src/bison.s1 diff --git a/src/bison.s1 b/src/bison.s1 index 49c8b857..e71ac990 100644 --- a/src/bison.s1 +++ b/src/bison.s1 @@ -1,12 +1,13 @@ /* -*-C-*- Note some compilers choke on comments on `#line' lines. */ -#line 3 "bison.simple" +#line +/* This file comes from bison-@bison_version@. */ /* Skeleton output parser for bison, - Copyright (C) 1984, 1989, 1990 Bob Corbett and Richard Stallman + Copyright (C) 1984, 1989, 1990 Free Software Foundation, Inc. This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by - the Free Software Foundation; either version 1, or (at your option) + the Free Software Foundation; either version 2, or (at your option) any later version. This program is distributed in the hope that it will be useful, @@ -16,43 +17,69 @@ 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., 675 Mass Ave, Cambridge, MA 02139, USA. */ + Foundation, Inc., 59 Temple Place - Suite 330, + Boston, MA 02111-1307, USA. */ - -#ifndef alloca -#ifdef __GNUC__ -#define alloca __builtin_alloca -#else /* not GNU C. */ -#if (!defined (__STDC__) && defined (sparc)) || defined (__sparc__) || defined (__sparc) || defined (__sgi) -#include -#else /* not sparc */ -#if defined (MSDOS) && !defined (__TURBOC__) -#include -#else /* not MSDOS, or __TURBOC__ */ -#if defined(_AIX) -#include - #pragma alloca -#else /* not MSDOS, __TURBOC__, or _AIX */ -#ifdef __hpux -#ifdef __cplusplus -extern "C" { -void *alloca (unsigned int); -}; -#else /* not __cplusplus */ -void *alloca (); -#endif /* not __cplusplus */ -#endif /* __hpux */ -#endif /* not _AIX */ -#endif /* not MSDOS, or __TURBOC__ */ -#endif /* not sparc. */ -#endif /* not GNU C. */ -#endif /* alloca not defined. */ +/* As a special exception, when this file is copied by Bison into a + Bison output file, you may use that output file without restriction. + This special exception was added by the Free Software Foundation + in version 1.24 of Bison. */ /* 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 +# define YYSTACK_USE_ALLOCA +# else /* alloca not defined */ +# ifdef __GNUC__ +# define YYSTACK_USE_ALLOCA +# define alloca __builtin_alloca +# else /* not GNU C. */ +# if (!defined (__STDC__) && defined (sparc)) || defined (__sparc__) || defined (__sparc) || defined (__sgi) || (defined (__sun) && defined (__i386)) +# define YYSTACK_USE_ALLOCA +# include +# else /* not sparc */ + /* We think this test detects Watcom and Microsoft C. */ + /* This used to test MSDOS, but that is a bad idea since that + symbol is in the user namespace. */ +# if (defined (_MSDOS) || defined (_MSDOS_)) && !defined (__TURBOC__) +# if 0 + /* No need for malloc.h, which pollutes the namespace; instead, + just don't use alloca. */ +# include +# endif +# else /* not MSDOS, or __TURBOC__ */ +# if defined(_AIX) + /* I don't know what this was needed for, but it pollutes the + namespace. So I turned it off. rms, 2 May 1997. */ + /* #include */ + #pragma alloca +# define YYSTACK_USE_ALLOCA +# else /* not MSDOS, or __TURBOC__, or _AIX */ +# if 0 + /* haible@ilog.fr says this works for HPUX 9.05 and up, and on + HPUX 10. Eventually we can turn this on. */ +# ifdef __hpux +# define YYSTACK_USE_ALLOCA +# define alloca __builtin_alloca +# endif /* __hpux */ +# endif +# endif /* not _AIX */ +# endif /* not MSDOS, or __TURBOC__ */ +# endif /* not sparc */ +# endif /* not GNU C */ +# endif /* alloca not defined */ +#endif /* YYSTACK_USE_ALLOCA not defined */ + +#ifdef YYSTACK_USE_ALLOCA +# define YYSTACK_ALLOC alloca +#else +# 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. */ @@ -61,8 +88,8 @@ void *alloca (); #define yyclearin (yychar = YYEMPTY) #define YYEMPTY -2 #define YYEOF 0 -#define YYACCEPT return(0) -#define YYABORT return(1) +#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 @@ -86,73 +113,90 @@ while (0) #define YYERRCODE 256 #ifndef YYPURE -#define YYLEX yylex() +# define YYLEX yylex() #endif #ifdef YYPURE -#ifdef YYLSP_NEEDED -#define YYLEX yylex(&yylval, &yylloc) -#else -#define YYLEX yylex(&yylval) -#endif -#endif - -/* If nonreentrant, generate the variables here */ +# ifdef YYLSP_NEEDED +# ifdef YYLEX_PARAM +# define YYLEX yylex(&yylval, &yylloc, YYLEX_PARAM) +# else +# define YYLEX yylex(&yylval, &yylloc) +# endif +# else /* not YYLSP_NEEDED */ +# ifdef YYLEX_PARAM +# define YYLEX yylex(&yylval, YYLEX_PARAM) +# else +# define YYLEX yylex(&yylval) +# endif +# endif /* not YYLSP_NEEDED */ +#endif + +/* If nonreentrant, generate the variables here. */ #ifndef YYPURE +/* The lookahead symbol. */ +int yychar; -int yychar; /* the lookahead symbol */ -YYSTYPE yylval; /* the semantic value of the */ - /* lookahead symbol */ +/* The semantic value of the lookahead symbol. */ +YYSTYPE yylval; -#ifdef YYLSP_NEEDED -YYLTYPE yylloc; /* location data for the lookahead */ - /* symbol */ -#endif +# ifdef YYLSP_NEEDED +/* Location data for the lookahead symbol. */ +YYLTYPE yylloc; +# endif -int yynerrs; /* number of parse errors so far */ +/* Number of parse errors so far. */ +int yynerrs; #endif /* not YYPURE */ + #if YYDEBUG != 0 int yydebug; /* nonzero means print parse trace */ -/* Since this is uninitialized, it does not stop multiple parsers - from coexisting. */ + + /* [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 */ #ifndef YYINITDEPTH -#define YYINITDEPTH 200 +# 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). */ #if YYMAXDEPTH == 0 -#undef YYMAXDEPTH +# undef YYMAXDEPTH #endif #ifndef YYMAXDEPTH -#define YYMAXDEPTH 10000 -#endif - -/* Prevent warning if -Wstrict-prototypes. */ -#ifdef __GNUC__ -int yyparse (void); +# define YYMAXDEPTH 10000 #endif +/* Define __yy_memcpy. Note that the size argument + should be passed with type unsigned int, because that is what the non-GCC + definitions require. With GCC, __builtin_memcpy takes an arg + of type size_t, but it can handle unsigned int. */ + #if __GNUC__ > 1 /* GNU C and GNU C++ define this. */ -#define __yy_bcopy(FROM,TO,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 +# ifndef __cplusplus /* This is the most reliable way to avoid incompatibilities in available built-in functions on various systems. */ static void -__yy_bcopy (from, to, count) - char *from; +__yy_memcpy (to, from, count) char *to; - int count; + char *from; + unsigned int count; { register char *f = from; register char *t = to; @@ -162,72 +206,122 @@ __yy_bcopy (from, to, count) *t++ = *f++; } -#else /* __cplusplus */ +# else /* __cplusplus */ /* This is the most reliable way to avoid incompatibilities in available built-in functions on various systems. */ static void -__yy_bcopy (char *from, char *to, int count) +__yy_memcpy (char *to, char *from, unsigned int count) { - register char *f = from; register char *t = to; + register char *f = from; register int i = count; while (i-- > 0) *t++ = *f++; } -#endif +# endif #endif -#line 184 "bison.simple" +#line + +/* The user can define YYPARSE_PARAM as the name of an argument to be passed + into yyparse. The argument should have type void *. + It should actually point to an object. + Grammar actions can access the variable by casting it + to the proper pointer type. */ + +#ifdef YYPARSE_PARAM +# ifdef __cplusplus +# define YYPARSE_PARAM_ARG void *YYPARSE_PARAM +# define YYPARSE_PARAM_DECL +# else /* not __cplusplus */ +# define YYPARSE_PARAM_ARG YYPARSE_PARAM +# define YYPARSE_PARAM_DECL void *YYPARSE_PARAM; +# endif /* not __cplusplus */ +#else /* not YYPARSE_PARAM */ +# define YYPARSE_PARAM_ARG +# define YYPARSE_PARAM_DECL +#endif /* not YYPARSE_PARAM */ + +/* Prevent warning if -Wstrict-prototypes. */ +#ifdef __GNUC__ +# ifdef YYPARSE_PARAM +int yyparse (void *); +# else +int yyparse (void); +# endif +#endif + int -yyparse() +yyparse(YYPARSE_PARAM_ARG) + YYPARSE_PARAM_DECL { register int yystate; register int yyn; + /* Number of tokens to shift before error messages enabled. */ + int yyerrstatus; + /* Lookahead token as an internal (translated) token number. */ + int yychar1 = 0; + + /* Three stacks and their tools: + `yyss': related to states, + `yysv': related to semantic values, + `yyls': related to locations. + + Refer to the stacks thru separate pointers, to allow yyoverflow + to reallocate them elsewhere. */ + + /* The state stack. */ + short yyssa[YYINITDEPTH]; + short *yyss = yyssa; register short *yyssp; - register YYSTYPE *yyvsp; - int yyerrstatus; /* number of tokens to shift before error messages enabled */ - int yychar1; /* lookahead token as an internal (translated) token number */ - short yyssa[YYINITDEPTH]; /* the state stack */ - YYSTYPE yyvsa[YYINITDEPTH]; /* the semantic value stack */ - - short *yyss = yyssa; /* refer to the stacks thru separate pointers */ - YYSTYPE *yyvs = yyvsa; /* to allow yyoverflow to reallocate them elsewhere */ + /* The semantic value stack. */ + YYSTYPE yyvsa[YYINITDEPTH]; + YYSTYPE *yyvs = yyvsa; + register YYSTYPE *yyvsp; #ifdef YYLSP_NEEDED - YYLTYPE yylsa[YYINITDEPTH]; /* the location stack */ + /* The location stack. */ + YYLTYPE yylsa[YYINITDEPTH]; YYLTYPE *yyls = yylsa; YYLTYPE *yylsp; +#endif -#define YYPOPSTACK (yyvsp--, yyssp--, yylsp--) +#ifdef YYLSP_NEEDED +# define YYPOPSTACK (yyvsp--, yyssp--, yylsp--) #else -#define YYPOPSTACK (yyvsp--, yyssp--) +# define YYPOPSTACK (yyvsp--, yyssp--) #endif int yystacksize = YYINITDEPTH; + int yyfree_stacks = 0; #ifdef YYPURE int yychar; YYSTYPE yylval; int yynerrs; -#ifdef YYLSP_NEEDED +# ifdef YYLSP_NEEDED YYLTYPE yylloc; -#endif +# endif #endif - YYSTYPE yyval; /* the variable used to return */ - /* semantic values from the action */ - /* routines */ + /* The variables used to return semantic value and location from the + action routines. */ + YYSTYPE yyval; +# ifdef YYLSP_NEEDED + YYLTYPE yyloc; +# endif + + /* When reducing, the number of symbols on the RHS of the reduced + rule. */ int yylen; -#if YYDEBUG != 0 if (yydebug) - fprintf(stderr, "Starting parse\n"); -#endif + fprintf (stderr, "Starting parse\n"); yystate = 0; yyerrstatus = 0; @@ -268,43 +362,57 @@ yynewstate: #ifdef yyoverflow /* Each stack pointer address is followed by the size of the data in use in that stack, in bytes. */ -#ifdef YYLSP_NEEDED +# ifdef 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", - &yyss1, size * sizeof (*yyssp), - &yyvs1, size * sizeof (*yyvsp), - &yyls1, size * sizeof (*yylsp), - &yystacksize); -#else - yyoverflow("parser stack overflow", - &yyss1, size * sizeof (*yyssp), - &yyvs1, size * sizeof (*yyvsp), - &yystacksize); -#endif + yyoverflow ("parser stack overflow", + &yyss1, size * sizeof (*yyssp), + &yyvs1, size * sizeof (*yyvsp), + &yyls1, size * sizeof (*yylsp), + &yystacksize); +# else + yyoverflow ("parser stack overflow", + &yyss1, size * sizeof (*yyssp), + &yyvs1, size * sizeof (*yyvsp), + &yystacksize); +# endif yyss = yyss1; yyvs = yyvs1; -#ifdef YYLSP_NEEDED +# ifdef YYLSP_NEEDED yyls = yyls1; -#endif +# endif #else /* no yyoverflow */ /* Extend the stack our own way. */ if (yystacksize >= YYMAXDEPTH) { yyerror("parser stack overflow"); + if (yyfree_stacks) + { + free (yyss); + free (yyvs); +# ifdef YYLSP_NEEDED + free (yyls); +# endif + } return 2; } yystacksize *= 2; if (yystacksize > YYMAXDEPTH) yystacksize = YYMAXDEPTH; - yyss = (short *) alloca (yystacksize * sizeof (*yyssp)); - __yy_bcopy ((char *)yyss1, (char *)yyss, size * sizeof (*yyssp)); - yyvs = (YYSTYPE *) alloca (yystacksize * sizeof (*yyvsp)); - __yy_bcopy ((char *)yyvs1, (char *)yyvs, size * sizeof (*yyvsp)); -#ifdef YYLSP_NEEDED - yyls = (YYLTYPE *) alloca (yystacksize * sizeof (*yylsp)); - __yy_bcopy ((char *)yyls1, (char *)yyls, size * sizeof (*yylsp)); -#endif +# ifndef YYSTACK_USE_ALLOCA + yyfree_stacks = 1; +# endif + yyss = (short *) YYSTACK_ALLOC (yystacksize * sizeof (*yyssp)); + __yy_memcpy ((char *)yyss, (char *)yyss1, + size * (unsigned int) sizeof (*yyssp)); + yyvs = (YYSTYPE *) YYSTACK_ALLOC (yystacksize * sizeof (*yyvsp)); + __yy_memcpy ((char *)yyvs, (char *)yyvs1, + size * (unsigned int) sizeof (*yyvsp)); +# ifdef YYLSP_NEEDED + yyls = (YYLTYPE *) YYSTACK_ALLOC (yystacksize * sizeof (*yylsp)); + __yy_memcpy ((char *)yyls, (char *)yyls1, + size * (unsigned int) sizeof (*yylsp)); +# endif #endif /* no yyoverflow */ yyssp = yyss + size - 1; @@ -313,19 +421,15 @@ yynewstate: yylsp = yyls + size - 1; #endif -#if YYDEBUG != 0 if (yydebug) - fprintf(stderr, "Stack size increased to %d\n", yystacksize); -#endif + fprintf (stderr, "Stack size increased to %d\n", yystacksize); if (yyssp >= yyss + yystacksize - 1) YYABORT; } -#if YYDEBUG != 0 if (yydebug) - fprintf(stderr, "Entering state %d\n", yystate); -#endif + fprintf (stderr, "Entering state %d\n", yystate); goto yybackup; yybackup: @@ -347,10 +451,8 @@ yynewstate: if (yychar == YYEMPTY) { -#if YYDEBUG != 0 if (yydebug) - fprintf(stderr, "Reading a token: "); -#endif + fprintf (stderr, "Reading a token: "); yychar = YYLEX; } @@ -361,27 +463,23 @@ yynewstate: yychar1 = 0; yychar = YYEOF; /* Don't call YYLEX any more */ -#if YYDEBUG != 0 if (yydebug) - fprintf(stderr, "Now at end of input.\n"); -#endif + fprintf (stderr, "Now at end of input.\n"); } else { yychar1 = YYTRANSLATE(yychar); -#if YYDEBUG != 0 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. */ -#ifdef YYPRINT +# ifdef YYPRINT YYPRINT (stderr, yychar, yylval); -#endif +# endif fprintf (stderr, ")\n"); } -#endif } yyn += yychar1; @@ -412,10 +510,8 @@ yynewstate: /* Shift the lookahead token. */ -#if YYDEBUG != 0 if (yydebug) - fprintf(stderr, "Shifting token %d (%s), ", yychar, yytname[yychar1]); -#endif + fprintf (stderr, "Shifting token %d (%s), ", yychar, yytname[yychar1]); /* Discard the token being shifted unless it is eof. */ if (yychar != YYEOF) @@ -442,10 +538,31 @@ yydefault: /* Do a reduction. yyn is the number of a rule to reduce with. */ yyreduce: yylen = yyr2[yyn]; + /* Implement default value of the action: + `{dollar}{dollar} = {dollar}1'. */ if (yylen > 0) - yyval = yyvsp[1-yylen]; /* implement default value of the action */ + 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; + } +#endif -#if YYDEBUG != 0 +#if YYDEBUG + /* We have to keep this `#if YYDEBUG', since we use variables which + are defined only if `YYDEBUG' is set. */ if (yydebug) { int i; @@ -459,9 +576,8 @@ yyreduce: fprintf (stderr, " -> %s\n", yytname[yyr1[yyn]]); } #endif - $ /* the action file gets copied in in place of this dollarsign */ -#line 465 "bison.simple" +#line yyvsp -= yylen; yyssp -= yylen; @@ -469,7 +585,6 @@ $ /* the action file gets copied in in place of this dollarsign */ yylsp -= yylen; #endif -#if YYDEBUG != 0 if (yydebug) { short *ssp1 = yyss - 1; @@ -478,31 +593,15 @@ $ /* the action file gets copied in in place of this dollarsign */ fprintf (stderr, " %d", *++ssp1); fprintf (stderr, "\n"); } -#endif *++yyvsp = yyval; - #ifdef YYLSP_NEEDED - yylsp++; - if (yylen == 0) - { - yylsp->first_line = yylloc.first_line; - yylsp->first_column = yylloc.first_column; - yylsp->last_line = (yylsp-1)->last_line; - yylsp->last_column = (yylsp-1)->last_column; - yylsp->text = 0; - } - else - { - yylsp->last_line = (yylsp+yylen-1)->last_line; - yylsp->last_column = (yylsp+yylen-1)->last_column; - } + *++yylsp = yyloc; #endif - /* Now "shift" the result of the reduction. - Determine what state that goes to, - based on the state we popped back to - and the rule number reduced by. */ + /* Now `shift' the result of the reduction. Determine what state + that goes to, based on the state we popped back to and the rule + number reduced by. */ yyn = yyr1[yyn]; @@ -576,10 +675,9 @@ yyerrlab1: /* here on error raised explicitly by an action */ if (yychar == YYEOF) YYABORT; -#if YYDEBUG != 0 if (yydebug) - fprintf(stderr, "Discarding token %d (%s).\n", yychar, yytname[yychar1]); -#endif + fprintf (stderr, "Discarding token %d (%s).\n", + yychar, yytname[yychar1]); yychar = YYEMPTY; } @@ -609,7 +707,6 @@ yyerrpop: /* pop the current state because it cannot handle the error token */ yylsp--; #endif -#if YYDEBUG != 0 if (yydebug) { short *ssp1 = yyss - 1; @@ -618,7 +715,6 @@ yyerrpop: /* pop the current state because it cannot handle the error token */ fprintf (stderr, " %d", *++ssp1); fprintf (stderr, "\n"); } -#endif yyerrhandle: @@ -644,10 +740,8 @@ yyerrhandle: if (yyn == YYFINAL) YYACCEPT; -#if YYDEBUG != 0 if (yydebug) - fprintf(stderr, "Shifting error token, "); -#endif + fprintf (stderr, "Shifting error token, "); *++yyvsp = yylval; #ifdef YYLSP_NEEDED @@ -656,4 +750,28 @@ yyerrhandle: yystate = yyn; goto yynewstate; + + yyacceptlab: + /* YYACCEPT comes here. */ + if (yyfree_stacks) + { + free (yyss); + free (yyvs); +#ifdef YYLSP_NEEDED + free (yyls); +#endif + } + return 0; + + yyabortlab: + /* YYABORT comes here. */ + if (yyfree_stacks) + { + free (yyss); + free (yyvs); +#ifdef YYLSP_NEEDED + free (yyls); +#endif + } + return 1; }