This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
An implementation of change 29735 for blead (PL_curcop could be NULL)
[perl5.git] / perly.c
1 /*    perly.c
2  *
3  *    Copyright (c) 2004, 2005, 2006, 2007, by Larry Wall and others
4  *
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.
7  * 
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.
12  *
13  *    Here is an important copyright statement from the original, generated
14  *    file:
15  *
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.
20  *
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.
25  */
26
27 #include "EXTERN.h"
28 #define PERL_IN_PERLY_C
29 #include "perl.h"
30
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;
36
37 #ifdef DEBUGGING
38 #  define YYDEBUG 1
39 #else
40 #  define YYDEBUG 0
41 #endif
42
43 /* contains all the parser state tables; auto-generated from perly.y */
44 #include "perly.tab"
45
46 # define YYSIZE_T size_t
47
48 #define YYEOF           0
49 #define YYTERROR        1
50
51 #define YYACCEPT        goto yyacceptlab
52 #define YYABORT         goto yyabortlab
53 #define YYERROR         goto yyerrlab1
54
55 /* Enable debugging if requested.  */
56 #ifdef DEBUGGING
57
58 #  define yydebug (DEBUG_p_TEST)
59
60 #  define YYFPRINTF PerlIO_printf
61
62 #  define YYDPRINTF(Args)                       \
63 do {                                            \
64     if (yydebug)                                \
65         YYFPRINTF Args;                         \
66 } while (0)
67
68 #  define YYDSYMPRINTF(Title, Token, Value)                     \
69 do {                                                            \
70     if (yydebug) {                                              \
71         YYFPRINTF (Perl_debug_log, "%s ", Title);               \
72         yysymprint (aTHX_ Perl_debug_log,  Token, Value);       \
73         YYFPRINTF (Perl_debug_log, "\n");                       \
74     }                                                           \
75 } while (0)
76
77 /*--------------------------------.
78 | Print this symbol on YYOUTPUT.  |
79 `--------------------------------*/
80
81 static void
82 yysymprint(pTHX_ PerlIO * const yyoutput, int yytype, const YYSTYPE * const yyvaluep)
83 {
84     if (yytype < YYNTOKENS) {
85         YYFPRINTF (yyoutput, "token %s (", yytname[yytype]);
86 #   ifdef YYPRINT
87         YYPRINT (yyoutput, yytoknum[yytype], *yyvaluep);
88 #   else
89         YYFPRINTF (yyoutput, "0x%"UVxf, (UV)yyvaluep->ival);
90 #   endif
91     }
92     else
93         YYFPRINTF (yyoutput, "nterm %s (", yytname[yytype]);
94
95     YYFPRINTF (yyoutput, ")");
96 }
97
98
99 /*  yy_stack_print()
100  *  print the top 8 items on the parse stack.
101  */
102
103 static void
104 yy_stack_print (pTHX_ const yy_parser *parser)
105 {
106     const yy_stack_frame *ps, *min;
107
108     min = parser->ps - 8 + 1;
109     if (min <= parser->stack)
110         min = parser->stack + 1;
111
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));
115
116     PerlIO_printf(Perl_debug_log, "\nstate:");
117     for (ps = min; ps <= parser->ps; ps++)
118         PerlIO_printf(Perl_debug_log, " %8d", ps->state);
119
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);
123
124     PerlIO_printf(Perl_debug_log, "\nvalue:");
125     for (ps = min; ps <= parser->ps; ps++) {
126         switch (yy_type_tab[yystos[ps->state]]) {
127         case toketype_opval:
128             PerlIO_printf(Perl_debug_log, " %8.8s",
129                   ps->val.opval
130                     ? PL_op_name[ps->val.opval->op_type]
131                     : "(Nullop)"
132             );
133             break;
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)");
138             break;
139
140         case toketype_i_tkval:
141 #endif
142         case toketype_ival:
143             PerlIO_printf(Perl_debug_log, " %8"IVdf, (IV)ps->val.ival);
144             break;
145         default:
146             PerlIO_printf(Perl_debug_log, " %8"UVxf, (UV)ps->val.ival);
147         }
148     }
149     PerlIO_printf(Perl_debug_log, "\n\n");
150 }
151
152 #  define YY_STACK_PRINT(parser)        \
153 do {                                    \
154     if (yydebug && DEBUG_v_TEST)        \
155         yy_stack_print (aTHX_ parser);  \
156 } while (0)
157
158
159 /*------------------------------------------------.
160 | Report that the YYRULE is going to be reduced.  |
161 `------------------------------------------------*/
162
163 static void
164 yy_reduce_print (pTHX_ int yyrule)
165 {
166     int yyi;
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]]);
174 }
175
176 #  define YY_REDUCE_PRINT(Rule)         \
177 do {                                    \
178     if (yydebug)                        \
179         yy_reduce_print (aTHX_ Rule);           \
180 } while (0)
181
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 */
188
189 /* called during cleanup (via SAVEDESTRUCTOR_X) to free any items on the
190  * parse stack, thus avoiding leaks if we die  */
191
192 static void
193 S_clear_yystack(pTHX_  const yy_parser *parser)
194 {
195     yy_stack_frame *ps     = parser->ps;
196     int i;
197
198     if (!parser->stack || ps == parser->stack)
199         return;
200
201     YYDPRINTF ((Perl_debug_log, "clearing the parse stack\n"));
202
203     /* Freeing ops on the stack, and the op_latefree / op_latefreed /
204      * op_attached flags:
205      *
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
215      * builds.
216      *
217      * However, there is a particular problem if we die in newFOO() called
218      * by a reducing action; e.g.
219      *
220      *    foo : bar baz boz
221      *        { $$ = newFOO($1,$2,$3) }
222      *
223      * where
224      *  OP *newFOO { ....; if (...) croak; .... }
225      *
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:
228      *    * freed them
229      *    * left them as is
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 } )
233      *
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.
246      *
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.
252      *
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:
256      *   * a parent op
257      *   * the parser stack
258      *   * a CV
259      * but this would involve reworking all code (core and external) that
260      * manipulate op trees.
261      */
262
263     /* clear any reducing ops (1st pass) */
264
265     for (i=0; i< parser->yylen; i++) {
266         if (yy_type_tab[yystos[ps[-i].state]] == toketype_opval
267             && ps[-i].val.opval) {
268             if ( ! (ps[-i].val.opval->op_attached
269                     && !ps[-i].val.opval->op_latefreed))
270             {
271                 if (ps[-i].comppad != PL_comppad) {
272                     PAD_RESTORE_LOCAL(ps[-i].comppad);
273                 }
274                 op_free(ps[-i].val.opval);
275             }
276         }
277     }
278
279     /* now free whole the stack, including the just-reduced ops */
280
281     while (ps > parser->stack) {
282         if (yy_type_tab[yystos[ps->state]] == toketype_opval
283             && ps->val.opval)
284         {
285             if (ps->comppad != PL_comppad) {
286                 PAD_RESTORE_LOCAL(ps->comppad);
287             }
288             YYDPRINTF ((Perl_debug_log, "(freeing op)\n"));
289             ps->val.opval->op_latefree  = 0;
290             if (!(ps->val.opval->op_attached && !ps->val.opval->op_latefreed))
291                 op_free(ps->val.opval);
292         }
293         ps--;
294     }
295 }
296
297 /* delete a parser object */
298
299 #ifndef PERL_IN_MADLY_C
300 void
301 Perl_parser_free(pTHX_  const yy_parser *parser)
302 {
303     S_clear_yystack(aTHX_ parser);
304     Safefree(parser->stack);
305     Safefree(parser->lex_brackstack);
306     Safefree(parser->lex_casestack);
307     PL_parser = parser->old_parser;
308     Safefree(parser);
309 }
310 #endif
311
312 /*----------.
313 | yyparse.  |
314 `----------*/
315
316 int
317 #ifdef PERL_IN_MADLY_C
318 Perl_madparse (pTHX)
319 #else
320 Perl_yyparse (pTHX)
321 #endif
322 {
323     dVAR;
324     register int yystate;
325     register int yyn;
326     int yyresult;
327
328     /* Lookahead token as an internal (translated) token number.  */
329     int yytoken = 0;
330
331     register yy_parser *parser;     /* the parser object */
332     register yy_stack_frame  *ps;   /* current parser stack frame */
333
334 #define YYPOPSTACK   parser->ps = --ps
335 #define YYPUSHSTACK  parser->ps = ++ps
336
337     /* The variable used to return semantic value and location from the
338           action routines: ie $$.  */
339     YYSTYPE yyval;
340
341 #ifndef PERL_IN_MADLY_C
342 #  ifdef PERL_MAD
343     if (PL_madskills)
344         return madparse();
345 #  endif
346 #endif
347
348     YYDPRINTF ((Perl_debug_log, "Starting parse\n"));
349
350     parser = PL_parser;
351     ps = parser->ps;
352
353     ENTER;  /* force parser free before we return */
354     SAVEPARSER(parser);
355
356 /*------------------------------------------------------------.
357 | yynewstate -- Push a new state, which is found in yystate.  |
358 `------------------------------------------------------------*/
359   yynewstate:
360
361     yystate = ps->state;
362
363     YYDPRINTF ((Perl_debug_log, "Entering state %d\n", yystate));
364
365     if (yy_type_tab[yystos[yystate]] == toketype_opval && ps->val.opval) {
366         ps->val.opval->op_latefree  = 1;
367         ps->val.opval->op_latefreed = 0;
368     }
369
370     parser->yylen = 0;
371
372     {
373         size_t size = ps - parser->stack + 1;
374
375         /* grow the stack? We always leave 1 spare slot,
376          * in case of a '' -> 'foo' reduction */
377
378         if (size >= (size_t)parser->stack_size - 1) {
379             /* this will croak on insufficient memory */
380             parser->stack_size *= 2;
381             Renew(parser->stack, parser->stack_size, yy_stack_frame);
382             ps = parser->ps = parser->stack + size -1;
383
384             YYDPRINTF((Perl_debug_log,
385                             "parser stack size increased to %lu frames\n",
386                             (unsigned long int)parser->stack_size));
387         }
388     }
389
390 /* Do appropriate processing given the current state.  */
391 /* Read a lookahead token if we need one and don't already have one.  */
392
393     /* First try to decide what to do without reference to lookahead token.  */
394
395     yyn = yypact[yystate];
396     if (yyn == YYPACT_NINF)
397         goto yydefault;
398
399     /* Not known => get a lookahead token if don't already have one.  */
400
401     /* YYCHAR is either YYEMPTY or YYEOF or a valid lookahead symbol.  */
402     if (parser->yychar == YYEMPTY) {
403         YYDPRINTF ((Perl_debug_log, "Reading a token: "));
404 #ifdef PERL_IN_MADLY_C
405         parser->yychar = PL_madskills ? madlex() : yylex();
406 #else
407         parser->yychar = yylex();
408 #endif
409
410 #  ifdef EBCDIC
411         if (parser->yychar >= 0 && parser->yychar < 255) {
412             parser->yychar = NATIVE_TO_ASCII(parser->yychar);
413         }
414 #  endif
415     }
416
417     if (parser->yychar <= YYEOF) {
418         parser->yychar = yytoken = YYEOF;
419         YYDPRINTF ((Perl_debug_log, "Now at end of input.\n"));
420     }
421     else {
422         yytoken = YYTRANSLATE (parser->yychar);
423         YYDSYMPRINTF ("Next token is", yytoken, &parser->yylval);
424     }
425
426     /* If the proper action on seeing token YYTOKEN is to reduce or to
427           detect an error, take that action.  */
428     yyn += yytoken;
429     if (yyn < 0 || YYLAST < yyn || yycheck[yyn] != yytoken)
430         goto yydefault;
431     yyn = yytable[yyn];
432     if (yyn <= 0) {
433         if (yyn == 0 || yyn == YYTABLE_NINF)
434             goto yyerrlab;
435         yyn = -yyn;
436         goto yyreduce;
437     }
438
439     if (yyn == YYFINAL)
440         YYACCEPT;
441
442     /* Shift the lookahead token.  */
443     YYDPRINTF ((Perl_debug_log, "Shifting token %s, ", yytname[yytoken]));
444
445     /* Discard the token being shifted unless it is eof.  */
446     if (parser->yychar != YYEOF)
447         parser->yychar = YYEMPTY;
448
449     YYPUSHSTACK;
450     ps->state   = yyn;
451     ps->val     = parser->yylval;
452     ps->comppad = PL_comppad;
453 #ifdef DEBUGGING
454     ps->name    = (const char *)(yytname[yytoken]);
455 #endif
456
457     /* Count tokens shifted since error; after three, turn off error
458           status.  */
459     if (parser->yyerrstatus)
460         parser->yyerrstatus--;
461
462     goto yynewstate;
463
464
465   /*-----------------------------------------------------------.
466   | yydefault -- do the default action for the current state.  |
467   `-----------------------------------------------------------*/
468   yydefault:
469     yyn = yydefact[yystate];
470     if (yyn == 0)
471         goto yyerrlab;
472     goto yyreduce;
473
474
475   /*-----------------------------.
476   | yyreduce -- Do a reduction.  |
477   `-----------------------------*/
478   yyreduce:
479     /* yyn is the number of a rule to reduce with.  */
480     parser->yylen = yyr2[yyn];
481
482     /* If YYLEN is nonzero, implement the default value of the action:
483       "$$ = $1".
484
485       Otherwise, the following line sets YYVAL to garbage.
486       This behavior is undocumented and Bison
487       users should not rely upon it.  Assigning to YYVAL
488       unconditionally makes the parser a bit smaller, and it avoids a
489       GCC warning that YYVAL may be used uninitialized.  */
490     yyval = ps[1-parser->yylen].val;
491
492     YY_STACK_PRINT(parser);
493     YY_REDUCE_PRINT (yyn);
494
495     switch (yyn) {
496
497
498 #define dep() deprecate("\"do\" to call subroutines")
499
500 #ifdef PERL_IN_MADLY_C
501 #  define IVAL(i) (i)->tk_lval.ival
502 #  define PVAL(p) (p)->tk_lval.pval
503 #  define TOKEN_GETMAD(a,b,c) token_getmad((a),(b),(c))
504 #  define TOKEN_FREE(a) token_free(a)
505 #  define OP_GETMAD(a,b,c) op_getmad((a),(b),(c))
506 #  define IF_MAD(a,b) (a)
507 #  define DO_MAD(a) a
508 #  define MAD
509 #else
510 #  define IVAL(i) (i)
511 #  define PVAL(p) (p)
512 #  define TOKEN_GETMAD(a,b,c)
513 #  define TOKEN_FREE(a)
514 #  define OP_GETMAD(a,b,c)
515 #  define IF_MAD(a,b) (b)
516 #  define DO_MAD(a)
517 #  undef MAD
518 #endif
519
520 /* contains all the rule actions; auto-generated from perly.y */
521 #include "perly.act"
522
523     }
524
525     /* any just-reduced ops with the op_latefreed flag cleared need to be
526      * freed; the rest need the flag resetting */
527     {
528         int i;
529         for (i=0; i< parser->yylen; i++) {
530             if (yy_type_tab[yystos[ps[-i].state]] == toketype_opval
531                 && ps[-i].val.opval)
532             {
533                 ps[-i].val.opval->op_latefree = 0;
534                 if (ps[-i].val.opval->op_latefreed)
535                     op_free(ps[-i].val.opval);
536             }
537         }
538     }
539
540     parser->ps = ps -= (parser->yylen-1);
541
542     /* Now shift the result of the reduction.  Determine what state
543           that goes to, based on the state we popped back to and the rule
544           number reduced by.  */
545
546     ps->val     = yyval;
547     ps->comppad = PL_comppad;
548 #ifdef DEBUGGING
549     ps->name    = (const char *)(yytname [yyr1[yyn]]);
550 #endif
551
552     yyn = yyr1[yyn];
553
554     yystate = yypgoto[yyn - YYNTOKENS] + ps[-1].state;
555     if (0 <= yystate && yystate <= YYLAST && yycheck[yystate] == ps[-1].state)
556         yystate = yytable[yystate];
557     else
558         yystate = yydefgoto[yyn - YYNTOKENS];
559     ps->state = yystate;
560
561     goto yynewstate;
562
563
564   /*------------------------------------.
565   | yyerrlab -- here on detecting error |
566   `------------------------------------*/
567   yyerrlab:
568     /* If not already recovering from an error, report this error.  */
569     if (!parser->yyerrstatus) {
570         yyerror ("syntax error");
571     }
572
573
574     if (parser->yyerrstatus == 3) {
575         /* If just tried and failed to reuse lookahead token after an
576               error, discard it.  */
577
578         /* Return failure if at end of input.  */
579         if (parser->yychar == YYEOF) {
580             /* Pop the error token.  */
581             YYPOPSTACK;
582             /* Pop the rest of the stack.  */
583             while (ps > parser->stack) {
584                 YYDSYMPRINTF ("Error: popping", yystos[ps->state], &ps->val);
585                 if (yy_type_tab[yystos[ps->state]] == toketype_opval
586                         && ps->val.opval)
587                 {
588                     YYDPRINTF ((Perl_debug_log, "(freeing op)\n"));
589                     if (ps->comppad != PL_comppad) {
590                         PAD_RESTORE_LOCAL(ps->comppad);
591                     }
592                     ps->val.opval->op_latefree  = 0;
593                     op_free(ps->val.opval);
594                 }
595                 YYPOPSTACK;
596             }
597             YYABORT;
598         }
599
600         YYDSYMPRINTF ("Error: discarding", yytoken, &parser->yylval);
601         parser->yychar = YYEMPTY;
602
603     }
604
605     /* Else will try to reuse lookahead token after shifting the error
606           token.  */
607     goto yyerrlab1;
608
609
610   /*----------------------------------------------------.
611   | yyerrlab1 -- error raised explicitly by an action.  |
612   `----------------------------------------------------*/
613   yyerrlab1:
614     parser->yyerrstatus = 3;    /* Each real token shifted decrements this.  */
615
616     for (;;) {
617         yyn = yypact[yystate];
618         if (yyn != YYPACT_NINF) {
619             yyn += YYTERROR;
620             if (0 <= yyn && yyn <= YYLAST && yycheck[yyn] == YYTERROR) {
621                 yyn = yytable[yyn];
622                 if (0 < yyn)
623                     break;
624             }
625         }
626
627         /* Pop the current state because it cannot handle the error token.  */
628         if (ps == parser->stack)
629             YYABORT;
630
631         YYDSYMPRINTF ("Error: popping", yystos[ps->state], &ps->val);
632         if (yy_type_tab[yystos[ps->state]] == toketype_opval && ps->val.opval) {
633             YYDPRINTF ((Perl_debug_log, "(freeing op)\n"));
634             if (ps->comppad != PL_comppad) {
635                 PAD_RESTORE_LOCAL(ps->comppad);
636             }
637             ps->val.opval->op_latefree  = 0;
638             op_free(ps->val.opval);
639         }
640         YYPOPSTACK;
641         yystate = ps->state;
642
643         YY_STACK_PRINT(parser);
644     }
645
646     if (yyn == YYFINAL)
647         YYACCEPT;
648
649     YYDPRINTF ((Perl_debug_log, "Shifting error token, "));
650
651     YYPUSHSTACK;
652     ps->state   = yyn;
653     ps->val     = parser->yylval;
654     ps->comppad = PL_comppad;
655 #ifdef DEBUGGING
656     ps->name    ="<err>";
657 #endif
658
659     goto yynewstate;
660
661
662   /*-------------------------------------.
663   | yyacceptlab -- YYACCEPT comes here.  |
664   `-------------------------------------*/
665   yyacceptlab:
666     yyresult = 0;
667     parser->ps = parser->stack; /* disable cleanup */
668     goto yyreturn;
669
670   /*-----------------------------------.
671   | yyabortlab -- YYABORT comes here.  |
672   `-----------------------------------*/
673   yyabortlab:
674     yyresult = 1;
675     goto yyreturn;
676
677   yyreturn:
678     LEAVE;                      /* force parser free before we return */
679     return yyresult;
680 }
681
682 /*
683  * Local variables:
684  * c-indentation-style: bsd
685  * c-basic-offset: 4
686  * indent-tabs-mode: t
687  * End:
688  *
689  * ex: set ts=8 sts=4 sw=4 noet:
690  */