3 * Copyright (c) 2004, 2005, 2006, 2007, 2008 by Larry Wall and others
5 * You may distribute under the terms of either the GNU General Public
6 * License or the Artistic License, as specified in the README file.
8 * Note that this file was originally generated as an output from
9 * GNU bison version 1.875, but now the code is statically maintained
10 * and edited; the bits that are dependent on perly.y are now
11 * #included from the files perly.tab and perly.act.
13 * Here is an important copyright statement from the original, generated
16 * As a special exception, when this file is copied by Bison into a
17 * Bison output file, you may use that output file without
18 * restriction. This special exception was added by the Free
19 * Software Foundation in version 1.24 of Bison.
21 * Note that this file is also #included in madly.c, to allow compilation
22 * of a second parser, Perl_madparse, that is identical to Perl_yyparse,
23 * but which includes extra code for dumping the parse tree.
24 * This is controlled by the PERL_IN_MADLY_C define.
28 #define PERL_IN_PERLY_C
31 typedef unsigned char yytype_uint8;
32 typedef signed char yytype_int8;
33 typedef unsigned short int yytype_uint16;
34 typedef short int yytype_int16;
35 typedef signed char yysigned_char;
43 /* contains all the parser state tables; auto-generated from perly.y */
46 # define YYSIZE_T size_t
51 #define YYACCEPT goto yyacceptlab
52 #define YYABORT goto yyabortlab
53 #define YYERROR goto yyerrlab1
55 /* Enable debugging if requested. */
58 # define yydebug (DEBUG_p_TEST)
60 # define YYFPRINTF PerlIO_printf
62 # define YYDPRINTF(Args) \
68 # define YYDSYMPRINTF(Title, Token, Value) \
71 YYFPRINTF (Perl_debug_log, "%s ", Title); \
72 yysymprint (aTHX_ Perl_debug_log, Token, Value); \
73 YYFPRINTF (Perl_debug_log, "\n"); \
77 /*--------------------------------.
78 | Print this symbol on YYOUTPUT. |
79 `--------------------------------*/
82 yysymprint(pTHX_ PerlIO * const yyoutput, int yytype, const YYSTYPE * const yyvaluep)
84 if (yytype < YYNTOKENS) {
85 YYFPRINTF (yyoutput, "token %s (", yytname[yytype]);
87 YYPRINT (yyoutput, yytoknum[yytype], *yyvaluep);
89 YYFPRINTF (yyoutput, "0x%"UVxf, (UV)yyvaluep->ival);
93 YYFPRINTF (yyoutput, "nterm %s (", yytname[yytype]);
95 YYFPRINTF (yyoutput, ")");
100 * print the top 8 items on the parse stack.
104 yy_stack_print (pTHX_ const yy_parser *parser)
106 const yy_stack_frame *ps, *min;
108 min = parser->ps - 8 + 1;
109 if (min <= parser->stack)
110 min = parser->stack + 1;
112 PerlIO_printf(Perl_debug_log, "\nindex:");
113 for (ps = min; ps <= parser->ps; ps++)
114 PerlIO_printf(Perl_debug_log, " %8d", (int)(ps - parser->stack));
116 PerlIO_printf(Perl_debug_log, "\nstate:");
117 for (ps = min; ps <= parser->ps; ps++)
118 PerlIO_printf(Perl_debug_log, " %8d", ps->state);
120 PerlIO_printf(Perl_debug_log, "\ntoken:");
121 for (ps = min; ps <= parser->ps; ps++)
122 PerlIO_printf(Perl_debug_log, " %8.8s", ps->name);
124 PerlIO_printf(Perl_debug_log, "\nvalue:");
125 for (ps = min; ps <= parser->ps; ps++) {
126 switch (yy_type_tab[yystos[ps->state]]) {
128 PerlIO_printf(Perl_debug_log, " %8.8s",
130 ? PL_op_name[ps->val.opval->op_type]
134 #ifndef PERL_IN_MADLY_C
135 case toketype_p_tkval:
136 PerlIO_printf(Perl_debug_log, " %8.8s",
137 ps->val.pval ? ps->val.pval : "(NULL)");
140 case toketype_i_tkval:
143 PerlIO_printf(Perl_debug_log, " %8"IVdf, (IV)ps->val.ival);
146 PerlIO_printf(Perl_debug_log, " %8"UVxf, (UV)ps->val.ival);
149 PerlIO_printf(Perl_debug_log, "\n\n");
152 # define YY_STACK_PRINT(parser) \
154 if (yydebug && DEBUG_v_TEST) \
155 yy_stack_print (aTHX_ parser); \
159 /*------------------------------------------------.
160 | Report that the YYRULE is going to be reduced. |
161 `------------------------------------------------*/
164 yy_reduce_print (pTHX_ int yyrule)
167 const unsigned int yylineno = yyrline[yyrule];
168 YYFPRINTF (Perl_debug_log, "Reducing stack by rule %d (line %u), ",
169 yyrule - 1, yylineno);
170 /* Print the symbols being reduced, and their result. */
171 for (yyi = yyprhs[yyrule]; 0 <= yyrhs[yyi]; yyi++)
172 YYFPRINTF (Perl_debug_log, "%s ", yytname [yyrhs[yyi]]);
173 YYFPRINTF (Perl_debug_log, "-> %s\n", yytname [yyr1[yyrule]]);
176 # define YY_REDUCE_PRINT(Rule) \
179 yy_reduce_print (aTHX_ Rule); \
182 #else /* !DEBUGGING */
183 # define YYDPRINTF(Args)
184 # define YYDSYMPRINTF(Title, Token, Value)
185 # define YY_STACK_PRINT(parser)
186 # define YY_REDUCE_PRINT(Rule)
187 #endif /* !DEBUGGING */
189 /* called during cleanup (via SAVEDESTRUCTOR_X) to free any items on the
190 * parse stack, thus avoiding leaks if we die */
193 S_clear_yystack(pTHX_ const yy_parser *parser)
195 yy_stack_frame *ps = parser->ps;
198 if (!parser->stack || ps == parser->stack)
201 YYDPRINTF ((Perl_debug_log, "clearing the parse stack\n"));
203 /* Freeing ops on the stack, and the op_latefree / op_latefreed /
206 * When we pop tokens off the stack during error recovery, or when
207 * we pop all the tokens off the stack after a die during a shift or
208 * reduce (i.e. Perl_croak somewhere in yylex() or in one of the
209 * newFOO() functions), then it's possible that some of these tokens are
210 * of type opval, pointing to an OP. All these ops are orphans; each is
211 * its own miniature subtree that has not yet been attached to a
212 * larger tree. In this case, we should clearly free the op (making
213 * sure, for each op we free that we have PL_comppad pointing to the
214 * right place for freeing any SVs attached to the op in threaded
217 * However, there is a particular problem if we die in newFOO() called
218 * by a reducing action; e.g.
221 * { $$ = newFOO($1,$2,$3) }
224 * OP *newFOO { ....; if (...) croak; .... }
226 * In this case, when we come to clean bar baz and boz off the stack,
227 * we don't know whether newFOO() has already:
230 * * attached them to part of a larger tree
231 * * attached them to PL_compcv
232 * * attached them to PL_compcv then freed it (as in BEGIN {die } )
234 * To get round this problem, we set the flag op_latefree on every op
235 * that gets pushed onto the parser stack. If op_free() sees this
236 * flag, it clears the op and frees any children,, but *doesn't* free
237 * the op itself; instead it sets the op_latefreed flag. This means
238 * that we can safely call op_free() multiple times on each stack op.
239 * So, when clearing the stack, we first, for each op that was being
240 * reduced, call op_free with op_latefree=1. This ensures that all ops
241 * hanging off these op are freed, but the reducing ops themselces are
242 * just undefed. Then we set op_latefreed=0 on *all* ops on the stack
243 * and free them. A little thought should convince you that this
244 * two-part approach to the reducing ops should handle the first three
245 * cases above safely.
247 * In the case of attaching to PL_compcv (currently just newATTRSUB
248 * does this), then we set the op_attached flag on the op that has
249 * been so attached, then avoid doing the final op_free during
250 * cleanup, on the assumption that it will happen (or has already
251 * happened) when PL_compcv is freed.
253 * Note this is fairly fragile mechanism. A more robust approach
254 * would be to use two of these flag bits as 2-bit reference count
255 * field for each op, indicating whether it is pointed to from:
259 * but this would involve reworking all code (core and external) that
260 * manipulate op trees.
262 * XXX DAPM 17/1/07 I've decided its too fragile for now, and so have
265 #define DISABLE_STACK_FREE
268 #ifdef DISABLE_STACK_FREE
269 for (i=0; i< parser->yylen; i++) {
270 SvREFCNT_dec(ps[-i].compcv);
274 /* clear any reducing ops (1st pass) */
276 for (i=0; i< parser->yylen; i++) {
277 LEAVE_SCOPE(ps[-i].savestack_ix);
278 if (yy_type_tab[yystos[ps[-i].state]] == toketype_opval
279 && ps[-i].val.opval) {
280 if ( ! (ps[-i].val.opval->op_attached
281 && !ps[-i].val.opval->op_latefreed))
283 if (ps[-i].compcv != PL_compcv) {
284 PL_compcv = ps[-i].compcv;
285 PAD_SET_CUR_NOSAVE(CvPADLIST(PL_compcv), 1);
287 op_free(ps[-i].val.opval);
293 /* now free whole the stack, including the just-reduced ops */
295 while (ps > parser->stack) {
296 LEAVE_SCOPE(ps->savestack_ix);
297 if (yy_type_tab[yystos[ps->state]] == toketype_opval
300 if (ps->compcv != PL_compcv) {
301 PL_compcv = ps->compcv;
302 PAD_SET_CUR_NOSAVE(CvPADLIST(PL_compcv), 1);
304 YYDPRINTF ((Perl_debug_log, "(freeing op)\n"));
305 #ifndef DISABLE_STACK_FREE
306 ps->val.opval->op_latefree = 0;
307 if (!(ps->val.opval->op_attached && !ps->val.opval->op_latefreed))
309 op_free(ps->val.opval);
311 SvREFCNT_dec(ps->compcv);
322 #ifdef PERL_IN_MADLY_C
329 register int yystate;
333 /* Lookahead token as an internal (translated) token number. */
336 register yy_parser *parser; /* the parser object */
337 register yy_stack_frame *ps; /* current parser stack frame */
339 #define YYPOPSTACK parser->ps = --ps
340 #define YYPUSHSTACK parser->ps = ++ps
342 /* The variable used to return semantic value and location from the
343 action routines: ie $$. */
346 #ifndef PERL_IN_MADLY_C
353 YYDPRINTF ((Perl_debug_log, "Starting parse\n"));
358 ENTER; /* force parser stack cleanup before we return */
359 SAVEDESTRUCTOR_X(S_clear_yystack, parser);
361 /*------------------------------------------------------------.
362 | yynewstate -- Push a new state, which is found in yystate. |
363 `------------------------------------------------------------*/
368 YYDPRINTF ((Perl_debug_log, "Entering state %d\n", yystate));
370 #ifndef DISABLE_STACK_FREE
371 if (yy_type_tab[yystos[yystate]] == toketype_opval && ps->val.opval) {
372 ps->val.opval->op_latefree = 1;
373 ps->val.opval->op_latefreed = 0;
380 size_t size = ps - parser->stack + 1;
382 /* grow the stack? We always leave 1 spare slot,
383 * in case of a '' -> 'foo' reduction */
385 if (size >= (size_t)parser->stack_size - 1) {
386 /* this will croak on insufficient memory */
387 parser->stack_size *= 2;
388 Renew(parser->stack, parser->stack_size, yy_stack_frame);
389 ps = parser->ps = parser->stack + size -1;
391 YYDPRINTF((Perl_debug_log,
392 "parser stack size increased to %lu frames\n",
393 (unsigned long int)parser->stack_size));
397 /* Do appropriate processing given the current state. */
398 /* Read a lookahead token if we need one and don't already have one. */
400 /* First try to decide what to do without reference to lookahead token. */
402 yyn = yypact[yystate];
403 if (yyn == YYPACT_NINF)
406 /* Not known => get a lookahead token if don't already have one. */
408 /* YYCHAR is either YYEMPTY or YYEOF or a valid lookahead symbol. */
409 if (parser->yychar == YYEMPTY) {
410 YYDPRINTF ((Perl_debug_log, "Reading a token: "));
411 #ifdef PERL_IN_MADLY_C
412 parser->yychar = PL_madskills ? madlex() : yylex();
414 parser->yychar = yylex();
418 if (parser->yychar >= 0 && parser->yychar < 255) {
419 parser->yychar = NATIVE_TO_ASCII(parser->yychar);
424 if (parser->yychar <= YYEOF) {
425 parser->yychar = yytoken = YYEOF;
426 YYDPRINTF ((Perl_debug_log, "Now at end of input.\n"));
429 yytoken = YYTRANSLATE (parser->yychar);
430 YYDSYMPRINTF ("Next token is", yytoken, &parser->yylval);
433 /* If the proper action on seeing token YYTOKEN is to reduce or to
434 detect an error, take that action. */
436 if (yyn < 0 || YYLAST < yyn || yycheck[yyn] != yytoken)
440 if (yyn == 0 || yyn == YYTABLE_NINF)
449 /* Shift the lookahead token. */
450 YYDPRINTF ((Perl_debug_log, "Shifting token %s, ", yytname[yytoken]));
452 /* Discard the token being shifted unless it is eof. */
453 if (parser->yychar != YYEOF)
454 parser->yychar = YYEMPTY;
458 ps->val = parser->yylval;
459 ps->compcv = (CV*)SvREFCNT_inc(PL_compcv);
460 ps->savestack_ix = PL_savestack_ix;
462 ps->name = (const char *)(yytname[yytoken]);
465 /* Count tokens shifted since error; after three, turn off error
467 if (parser->yyerrstatus)
468 parser->yyerrstatus--;
473 /*-----------------------------------------------------------.
474 | yydefault -- do the default action for the current state. |
475 `-----------------------------------------------------------*/
477 yyn = yydefact[yystate];
483 /*-----------------------------.
484 | yyreduce -- Do a reduction. |
485 `-----------------------------*/
487 /* yyn is the number of a rule to reduce with. */
488 parser->yylen = yyr2[yyn];
490 /* If YYLEN is nonzero, implement the default value of the action:
493 Otherwise, the following line sets YYVAL to garbage.
494 This behavior is undocumented and Bison
495 users should not rely upon it. Assigning to YYVAL
496 unconditionally makes the parser a bit smaller, and it avoids a
497 GCC warning that YYVAL may be used uninitialized. */
498 yyval = ps[1-parser->yylen].val;
500 YY_STACK_PRINT(parser);
501 YY_REDUCE_PRINT (yyn);
506 #define dep() deprecate("\"do\" to call subroutines")
508 #ifdef PERL_IN_MADLY_C
509 # define IVAL(i) (i)->tk_lval.ival
510 # define PVAL(p) (p)->tk_lval.pval
511 # define TOKEN_GETMAD(a,b,c) token_getmad((a),(b),(c))
512 # define TOKEN_FREE(a) token_free(a)
513 # define OP_GETMAD(a,b,c) op_getmad((a),(b),(c))
514 # define IF_MAD(a,b) (a)
520 # define TOKEN_GETMAD(a,b,c)
521 # define TOKEN_FREE(a)
522 # define OP_GETMAD(a,b,c)
523 # define IF_MAD(a,b) (b)
528 /* contains all the rule actions; auto-generated from perly.y */
533 /* any just-reduced ops with the op_latefreed flag cleared need to be
534 * freed; the rest need the flag resetting */
537 for (i=0; i< parser->yylen; i++) {
538 #ifndef DISABLE_STACK_FREE
539 if (yy_type_tab[yystos[ps[-i].state]] == toketype_opval
542 ps[-i].val.opval->op_latefree = 0;
543 if (ps[-i].val.opval->op_latefreed)
544 op_free(ps[-i].val.opval);
547 SvREFCNT_dec(ps[-i].compcv);
551 parser->ps = ps -= (parser->yylen-1);
553 /* Now shift the result of the reduction. Determine what state
554 that goes to, based on the state we popped back to and the rule
555 number reduced by. */
558 ps->compcv = (CV*)SvREFCNT_inc(PL_compcv);
559 ps->savestack_ix = PL_savestack_ix;
561 ps->name = (const char *)(yytname [yyr1[yyn]]);
566 yystate = yypgoto[yyn - YYNTOKENS] + ps[-1].state;
567 if (0 <= yystate && yystate <= YYLAST && yycheck[yystate] == ps[-1].state)
568 yystate = yytable[yystate];
570 yystate = yydefgoto[yyn - YYNTOKENS];
576 /*------------------------------------.
577 | yyerrlab -- here on detecting error |
578 `------------------------------------*/
580 /* If not already recovering from an error, report this error. */
581 if (!parser->yyerrstatus) {
582 yyerror ("syntax error");
586 if (parser->yyerrstatus == 3) {
587 /* If just tried and failed to reuse lookahead token after an
588 error, discard it. */
590 /* Return failure if at end of input. */
591 if (parser->yychar == YYEOF) {
592 /* Pop the error token. */
593 SvREFCNT_dec(ps->compcv);
595 /* Pop the rest of the stack. */
596 while (ps > parser->stack) {
597 YYDSYMPRINTF ("Error: popping", yystos[ps->state], &ps->val);
598 LEAVE_SCOPE(ps->savestack_ix);
599 if (yy_type_tab[yystos[ps->state]] == toketype_opval
602 YYDPRINTF ((Perl_debug_log, "(freeing op)\n"));
603 if (ps->compcv != PL_compcv) {
604 PL_compcv = ps->compcv;
605 PAD_SET_CUR_NOSAVE(CvPADLIST(PL_compcv), 1);
607 ps->val.opval->op_latefree = 0;
608 op_free(ps->val.opval);
610 SvREFCNT_dec(ps->compcv);
616 YYDSYMPRINTF ("Error: discarding", yytoken, &parser->yylval);
617 if (yy_type_tab[yytoken] == toketype_opval)
618 op_free(parser->yylval.opval);
619 parser->yychar = YYEMPTY;
623 /* Else will try to reuse lookahead token after shifting the error
628 /*----------------------------------------------------.
629 | yyerrlab1 -- error raised explicitly by an action. |
630 `----------------------------------------------------*/
632 parser->yyerrstatus = 3; /* Each real token shifted decrements this. */
635 yyn = yypact[yystate];
636 if (yyn != YYPACT_NINF) {
638 if (0 <= yyn && yyn <= YYLAST && yycheck[yyn] == YYTERROR) {
645 /* Pop the current state because it cannot handle the error token. */
646 if (ps == parser->stack)
649 YYDSYMPRINTF ("Error: popping", yystos[ps->state], &ps->val);
650 LEAVE_SCOPE(ps->savestack_ix);
651 if (yy_type_tab[yystos[ps->state]] == toketype_opval && ps->val.opval) {
652 YYDPRINTF ((Perl_debug_log, "(freeing op)\n"));
653 if (ps->compcv != PL_compcv) {
654 PL_compcv = ps->compcv;
655 PAD_SET_CUR_NOSAVE(CvPADLIST(PL_compcv), 1);
657 ps->val.opval->op_latefree = 0;
658 op_free(ps->val.opval);
660 SvREFCNT_dec(ps->compcv);
664 YY_STACK_PRINT(parser);
670 YYDPRINTF ((Perl_debug_log, "Shifting error token, "));
674 ps->val = parser->yylval;
675 ps->compcv = (CV*)SvREFCNT_inc(PL_compcv);
676 ps->savestack_ix = PL_savestack_ix;
684 /*-------------------------------------.
685 | yyacceptlab -- YYACCEPT comes here. |
686 `-------------------------------------*/
689 for (ps=parser->ps; ps > parser->stack; ps--) {
690 SvREFCNT_dec(ps->compcv);
692 parser->ps = parser->stack; /* disable cleanup */
695 /*-----------------------------------.
696 | yyabortlab -- YYABORT comes here. |
697 `-----------------------------------*/
703 LEAVE; /* force parser stack cleanup before we return */
709 * c-indentation-style: bsd
711 * indent-tabs-mode: t
714 * ex: set ts=8 sts=4 sw=4 noet: