This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
silence warnings under NO_TAINT_SUPPORT
[perl5.git] / pp_ctl.c
1 /*    pp_ctl.c
2  *
3  *    Copyright (C) 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000,
4  *    2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 by Larry Wall and others
5  *
6  *    You may distribute under the terms of either the GNU General Public
7  *    License or the Artistic License, as specified in the README file.
8  *
9  */
10
11 /*
12  *      Now far ahead the Road has gone,
13  *          And I must follow, if I can,
14  *      Pursuing it with eager feet,
15  *          Until it joins some larger way
16  *      Where many paths and errands meet.
17  *          And whither then?  I cannot say.
18  *
19  *     [Bilbo on p.35 of _The Lord of the Rings_, I/i: "A Long-Expected Party"]
20  */
21
22 /* This file contains control-oriented pp ("push/pop") functions that
23  * execute the opcodes that make up a perl program. A typical pp function
24  * expects to find its arguments on the stack, and usually pushes its
25  * results onto the stack, hence the 'pp' terminology. Each OP structure
26  * contains a pointer to the relevant pp_foo() function.
27  *
28  * Control-oriented means things like pp_enteriter() and pp_next(), which
29  * alter the flow of control of the program.
30  */
31
32
33 #include "EXTERN.h"
34 #define PERL_IN_PP_CTL_C
35 #include "perl.h"
36
37 #define DOCATCH(o) ((CATCH_GET == TRUE) ? docatch(o) : (o))
38
39 #define dopoptosub(plop)        dopoptosub_at(cxstack, (plop))
40
41 PP(pp_wantarray)
42 {
43     dVAR;
44     dSP;
45     I32 cxix;
46     const PERL_CONTEXT *cx;
47     EXTEND(SP, 1);
48
49     if (PL_op->op_private & OPpOFFBYONE) {
50         if (!(cx = caller_cx(1,NULL))) RETPUSHUNDEF;
51     }
52     else {
53       cxix = dopoptosub(cxstack_ix);
54       if (cxix < 0)
55         RETPUSHUNDEF;
56       cx = &cxstack[cxix];
57     }
58
59     switch (cx->blk_gimme) {
60     case G_ARRAY:
61         RETPUSHYES;
62     case G_SCALAR:
63         RETPUSHNO;
64     default:
65         RETPUSHUNDEF;
66     }
67 }
68
69 PP(pp_regcreset)
70 {
71     dVAR;
72     TAINT_NOT;
73     return NORMAL;
74 }
75
76 PP(pp_regcomp)
77 {
78     dVAR;
79     dSP;
80     PMOP *pm = (PMOP*)cLOGOP->op_other;
81     SV **args;
82     int nargs;
83     REGEXP *re = NULL;
84     REGEXP *new_re;
85     const regexp_engine *eng;
86     bool is_bare_re= FALSE;
87
88     if (PL_op->op_flags & OPf_STACKED) {
89         dMARK;
90         nargs = SP - MARK;
91         args  = ++MARK;
92     }
93     else {
94         nargs = 1;
95         args  = SP;
96     }
97
98     /* prevent recompiling under /o and ithreads. */
99 #if defined(USE_ITHREADS)
100     if (pm->op_pmflags & PMf_KEEP && PM_GETRE(pm)) {
101         SP = args-1;
102         RETURN;
103     }
104 #endif
105
106     re = PM_GETRE(pm);
107     assert (re != (REGEXP*) &PL_sv_undef);
108     eng = re ? RX_ENGINE(re) : current_re_engine();
109
110     /*
111      In the below logic: these are basically the same - check if this regcomp is part of a split.
112
113     (PL_op->op_pmflags & PMf_split )
114     (PL_op->op_next->op_type == OP_PUSHRE)
115
116     We could add a new mask for this and copy the PMf_split, if we did
117     some bit definition fiddling first.
118
119     For now we leave this
120     */
121
122     new_re = (eng->op_comp
123                     ? eng->op_comp
124                     : &Perl_re_op_compile
125             )(aTHX_ args, nargs, pm->op_code_list, eng, re,
126                 &is_bare_re,
127                 (pm->op_pmflags & RXf_PMf_FLAGCOPYMASK),
128                 pm->op_pmflags |
129                     (PL_op->op_flags & OPf_SPECIAL ? PMf_USE_RE_EVAL : 0));
130
131     if (pm->op_pmflags & PMf_HAS_CV)
132         ReANY(new_re)->qr_anoncv
133                         = (CV*) SvREFCNT_inc(PAD_SV(PL_op->op_targ));
134
135     if (is_bare_re) {
136         REGEXP *tmp;
137         /* The match's LHS's get-magic might need to access this op's regexp
138            (e.g. $' =~ /$re/ while foo; see bug 70764).  So we must call
139            get-magic now before we replace the regexp. Hopefully this hack can
140            be replaced with the approach described at
141            http://www.nntp.perl.org/group/perl.perl5.porters/2007/03/msg122415.html
142            some day. */
143         if (pm->op_type == OP_MATCH) {
144             SV *lhs;
145             const bool was_tainted = TAINT_get;
146             if (pm->op_flags & OPf_STACKED)
147                 lhs = args[-1];
148             else if (pm->op_private & OPpTARGET_MY)
149                 lhs = PAD_SV(pm->op_targ);
150             else lhs = DEFSV;
151             SvGETMAGIC(lhs);
152             /* Restore the previous value of PL_tainted (which may have been
153                modified by get-magic), to avoid incorrectly setting the
154                RXf_TAINTED flag with RX_TAINT_on further down. */
155             TAINT_set(was_tainted);
156 #if NO_TAINT_SUPPORT
157             PERL_UNUSED_VAR(was_tainted);
158 #endif
159         }
160         tmp = reg_temp_copy(NULL, new_re);
161         ReREFCNT_dec(new_re);
162         new_re = tmp;
163     }
164
165     if (re != new_re) {
166         ReREFCNT_dec(re);
167         PM_SETRE(pm, new_re);
168     }
169
170
171 #ifndef INCOMPLETE_TAINTS
172     if (TAINTING_get && TAINT_get) {
173         SvTAINTED_on((SV*)new_re);
174         RX_TAINT_on(new_re);
175     }
176 #endif
177
178 #if !defined(USE_ITHREADS)
179     /* can't change the optree at runtime either */
180     /* PMf_KEEP is handled differently under threads to avoid these problems */
181     if (!RX_PRELEN(PM_GETRE(pm)) && PL_curpm)
182         pm = PL_curpm;
183     if (pm->op_pmflags & PMf_KEEP) {
184         pm->op_private &= ~OPpRUNTIME;  /* no point compiling again */
185         cLOGOP->op_first->op_next = PL_op->op_next;
186     }
187 #endif
188
189     SP = args-1;
190     RETURN;
191 }
192
193
194 PP(pp_substcont)
195 {
196     dVAR;
197     dSP;
198     PERL_CONTEXT *cx = &cxstack[cxstack_ix];
199     PMOP * const pm = (PMOP*) cLOGOP->op_other;
200     SV * const dstr = cx->sb_dstr;
201     char *s = cx->sb_s;
202     char *m = cx->sb_m;
203     char *orig = cx->sb_orig;
204     REGEXP * const rx = cx->sb_rx;
205     SV *nsv = NULL;
206     REGEXP *old = PM_GETRE(pm);
207
208     PERL_ASYNC_CHECK();
209
210     if(old != rx) {
211         if(old)
212             ReREFCNT_dec(old);
213         PM_SETRE(pm,ReREFCNT_inc(rx));
214     }
215
216     rxres_restore(&cx->sb_rxres, rx);
217     RX_MATCH_UTF8_set(rx, DO_UTF8(cx->sb_targ));
218
219     if (cx->sb_iters++) {
220         const I32 saviters = cx->sb_iters;
221         if (cx->sb_iters > cx->sb_maxiters)
222             DIE(aTHX_ "Substitution loop");
223
224         SvGETMAGIC(TOPs); /* possibly clear taint on $1 etc: #67962 */
225
226         /* See "how taint works" above pp_subst() */
227         if (SvTAINTED(TOPs))
228             cx->sb_rxtainted |= SUBST_TAINT_REPL;
229         sv_catsv_nomg(dstr, POPs);
230         /* XXX: adjust for positive offsets of \G for instance s/(.)\G//g with positive pos() */
231         s -= RX_GOFS(rx);
232
233         /* Are we done */
234         if (CxONCE(cx) || s < orig ||
235                 !CALLREGEXEC(rx, s, cx->sb_strend, orig,
236                              (s == m) + RX_GOFS(rx), cx->sb_targ, NULL,
237                                 (REXEC_IGNOREPOS|REXEC_NOT_FIRST)))
238         {
239             SV *targ = cx->sb_targ;
240
241             assert(cx->sb_strend >= s);
242             if(cx->sb_strend > s) {
243                  if (DO_UTF8(dstr) && !SvUTF8(targ))
244                       sv_catpvn_nomg_utf8_upgrade(dstr, s, cx->sb_strend - s, nsv);
245                  else
246                       sv_catpvn_nomg(dstr, s, cx->sb_strend - s);
247             }
248             if (RX_MATCH_TAINTED(rx)) /* run time pattern taint, eg locale */
249                 cx->sb_rxtainted |= SUBST_TAINT_PAT;
250
251             if (pm->op_pmflags & PMf_NONDESTRUCT) {
252                 PUSHs(dstr);
253                 /* From here on down we're using the copy, and leaving the
254                    original untouched.  */
255                 targ = dstr;
256             }
257             else {
258                 if (SvIsCOW(targ)) {
259                     sv_force_normal_flags(targ, SV_COW_DROP_PV);
260                 } else
261                 {
262                     SvPV_free(targ);
263                 }
264                 SvPV_set(targ, SvPVX(dstr));
265                 SvCUR_set(targ, SvCUR(dstr));
266                 SvLEN_set(targ, SvLEN(dstr));
267                 if (DO_UTF8(dstr))
268                     SvUTF8_on(targ);
269                 SvPV_set(dstr, NULL);
270
271                 PL_tainted = 0;
272                 mPUSHi(saviters - 1);
273
274                 (void)SvPOK_only_UTF8(targ);
275             }
276
277             /* update the taint state of various various variables in
278              * preparation for final exit.
279              * See "how taint works" above pp_subst() */
280             if (TAINTING_get) {
281                 if ((cx->sb_rxtainted & SUBST_TAINT_PAT) ||
282                     ((cx->sb_rxtainted & (SUBST_TAINT_STR|SUBST_TAINT_RETAINT))
283                                     == (SUBST_TAINT_STR|SUBST_TAINT_RETAINT))
284                 )
285                     (RX_MATCH_TAINTED_on(rx)); /* taint $1 et al */
286
287                 if (!(cx->sb_rxtainted & SUBST_TAINT_BOOLRET)
288                     && (cx->sb_rxtainted & (SUBST_TAINT_STR|SUBST_TAINT_PAT))
289                 )
290                     SvTAINTED_on(TOPs);  /* taint return value */
291                 /* needed for mg_set below */
292                 TAINT_set(
293                     cBOOL(cx->sb_rxtainted &
294                           (SUBST_TAINT_STR|SUBST_TAINT_PAT|SUBST_TAINT_REPL))
295                 );
296                 SvTAINT(TARG);
297             }
298             /* PL_tainted must be correctly set for this mg_set */
299             SvSETMAGIC(TARG);
300             TAINT_NOT;
301             LEAVE_SCOPE(cx->sb_oldsave);
302             POPSUBST(cx);
303             RETURNOP(pm->op_next);
304             assert(0); /* NOTREACHED */
305         }
306         cx->sb_iters = saviters;
307     }
308     if (RX_MATCH_COPIED(rx) && RX_SUBBEG(rx) != orig) {
309         m = s;
310         s = orig;
311         assert(!RX_SUBOFFSET(rx));
312         cx->sb_orig = orig = RX_SUBBEG(rx);
313         s = orig + (m - s);
314         cx->sb_strend = s + (cx->sb_strend - m);
315     }
316     cx->sb_m = m = RX_OFFS(rx)[0].start + orig;
317     if (m > s) {
318         if (DO_UTF8(dstr) && !SvUTF8(cx->sb_targ))
319             sv_catpvn_nomg_utf8_upgrade(dstr, s, m - s, nsv);
320         else
321             sv_catpvn_nomg(dstr, s, m-s);
322     }
323     cx->sb_s = RX_OFFS(rx)[0].end + orig;
324     { /* Update the pos() information. */
325         SV * const sv
326             = (pm->op_pmflags & PMf_NONDESTRUCT) ? cx->sb_dstr : cx->sb_targ;
327         MAGIC *mg;
328         SvUPGRADE(sv, SVt_PVMG);
329         if (!(mg = mg_find(sv, PERL_MAGIC_regex_global))) {
330 #ifdef PERL_OLD_COPY_ON_WRITE
331             if (SvIsCOW(sv))
332                 sv_force_normal_flags(sv, 0);
333 #endif
334             mg = sv_magicext(sv, NULL, PERL_MAGIC_regex_global, &PL_vtbl_mglob,
335                              NULL, 0);
336         }
337         mg->mg_len = m - orig;
338     }
339     if (old != rx)
340         (void)ReREFCNT_inc(rx);
341     /* update the taint state of various various variables in preparation
342      * for calling the code block.
343      * See "how taint works" above pp_subst() */
344     if (TAINTING_get) {
345         if (RX_MATCH_TAINTED(rx)) /* run time pattern taint, eg locale */
346             cx->sb_rxtainted |= SUBST_TAINT_PAT;
347
348         if ((cx->sb_rxtainted & SUBST_TAINT_PAT) ||
349             ((cx->sb_rxtainted & (SUBST_TAINT_STR|SUBST_TAINT_RETAINT))
350                             == (SUBST_TAINT_STR|SUBST_TAINT_RETAINT))
351         )
352             (RX_MATCH_TAINTED_on(rx)); /* taint $1 et al */
353
354         if (cx->sb_iters > 1 && (cx->sb_rxtainted & 
355                         (SUBST_TAINT_STR|SUBST_TAINT_PAT|SUBST_TAINT_REPL)))
356             SvTAINTED_on((pm->op_pmflags & PMf_NONDESTRUCT)
357                          ? cx->sb_dstr : cx->sb_targ);
358         TAINT_NOT;
359     }
360     rxres_save(&cx->sb_rxres, rx);
361     PL_curpm = pm;
362     RETURNOP(pm->op_pmstashstartu.op_pmreplstart);
363 }
364
365 void
366 Perl_rxres_save(pTHX_ void **rsp, REGEXP *rx)
367 {
368     UV *p = (UV*)*rsp;
369     U32 i;
370
371     PERL_ARGS_ASSERT_RXRES_SAVE;
372     PERL_UNUSED_CONTEXT;
373
374     if (!p || p[1] < RX_NPARENS(rx)) {
375 #ifdef PERL_ANY_COW
376         i = 7 + (RX_NPARENS(rx)+1) * 2;
377 #else
378         i = 6 + (RX_NPARENS(rx)+1) * 2;
379 #endif
380         if (!p)
381             Newx(p, i, UV);
382         else
383             Renew(p, i, UV);
384         *rsp = (void*)p;
385     }
386
387     /* what (if anything) to free on croak */
388     *p++ = PTR2UV(RX_MATCH_COPIED(rx) ? RX_SUBBEG(rx) : NULL);
389     RX_MATCH_COPIED_off(rx);
390     *p++ = RX_NPARENS(rx);
391
392 #ifdef PERL_ANY_COW
393     *p++ = PTR2UV(RX_SAVED_COPY(rx));
394     RX_SAVED_COPY(rx) = NULL;
395 #endif
396
397     *p++ = PTR2UV(RX_SUBBEG(rx));
398     *p++ = (UV)RX_SUBLEN(rx);
399     *p++ = (UV)RX_SUBOFFSET(rx);
400     *p++ = (UV)RX_SUBCOFFSET(rx);
401     for (i = 0; i <= RX_NPARENS(rx); ++i) {
402         *p++ = (UV)RX_OFFS(rx)[i].start;
403         *p++ = (UV)RX_OFFS(rx)[i].end;
404     }
405 }
406
407 static void
408 S_rxres_restore(pTHX_ void **rsp, REGEXP *rx)
409 {
410     UV *p = (UV*)*rsp;
411     U32 i;
412
413     PERL_ARGS_ASSERT_RXRES_RESTORE;
414     PERL_UNUSED_CONTEXT;
415
416     RX_MATCH_COPY_FREE(rx);
417     RX_MATCH_COPIED_set(rx, *p);
418     *p++ = 0;
419     RX_NPARENS(rx) = *p++;
420
421 #ifdef PERL_ANY_COW
422     if (RX_SAVED_COPY(rx))
423         SvREFCNT_dec (RX_SAVED_COPY(rx));
424     RX_SAVED_COPY(rx) = INT2PTR(SV*,*p);
425     *p++ = 0;
426 #endif
427
428     RX_SUBBEG(rx) = INT2PTR(char*,*p++);
429     RX_SUBLEN(rx) = (I32)(*p++);
430     RX_SUBOFFSET(rx) = (I32)*p++;
431     RX_SUBCOFFSET(rx) = (I32)*p++;
432     for (i = 0; i <= RX_NPARENS(rx); ++i) {
433         RX_OFFS(rx)[i].start = (I32)(*p++);
434         RX_OFFS(rx)[i].end = (I32)(*p++);
435     }
436 }
437
438 static void
439 S_rxres_free(pTHX_ void **rsp)
440 {
441     UV * const p = (UV*)*rsp;
442
443     PERL_ARGS_ASSERT_RXRES_FREE;
444     PERL_UNUSED_CONTEXT;
445
446     if (p) {
447         void *tmp = INT2PTR(char*,*p);
448 #ifdef PERL_POISON
449 #ifdef PERL_ANY_COW
450         U32 i = 9 + p[1] * 2;
451 #else
452         U32 i = 8 + p[1] * 2;
453 #endif
454 #endif
455
456 #ifdef PERL_ANY_COW
457         SvREFCNT_dec (INT2PTR(SV*,p[2]));
458 #endif
459 #ifdef PERL_POISON
460         PoisonFree(p, i, sizeof(UV));
461 #endif
462
463         Safefree(tmp);
464         Safefree(p);
465         *rsp = NULL;
466     }
467 }
468
469 #define FORM_NUM_BLANK (1<<30)
470 #define FORM_NUM_POINT (1<<29)
471
472 PP(pp_formline)
473 {
474     dVAR; dSP; dMARK; dORIGMARK;
475     SV * const tmpForm = *++MARK;
476     SV *formsv;             /* contains text of original format */
477     U32 *fpc;       /* format ops program counter */
478     char *t;        /* current append position in target string */
479     const char *f;          /* current position in format string */
480     I32 arg;
481     SV *sv = NULL; /* current item */
482     const char *item = NULL;/* string value of current item */
483     I32 itemsize  = 0;      /* length of current item, possibly truncated */
484     I32 fieldsize = 0;      /* width of current field */
485     I32 lines = 0;          /* number of lines that have been output */
486     bool chopspace = (strchr(PL_chopset, ' ') != NULL); /* does $: have space */
487     const char *chophere = NULL; /* where to chop current item */
488     STRLEN linemark = 0;    /* pos of start of line in output */
489     NV value;
490     bool gotsome = FALSE;   /* seen at least one non-blank item on this line */
491     STRLEN len;
492     STRLEN linemax;         /* estimate of output size in bytes */
493     bool item_is_utf8 = FALSE;
494     bool targ_is_utf8 = FALSE;
495     const char *fmt;
496     MAGIC *mg = NULL;
497     U8 *source;             /* source of bytes to append */
498     STRLEN to_copy;         /* how may bytes to append */
499     char trans;             /* what chars to translate */
500
501     mg = doparseform(tmpForm);
502
503     fpc = (U32*)mg->mg_ptr;
504     /* the actual string the format was compiled from.
505      * with overload etc, this may not match tmpForm */
506     formsv = mg->mg_obj;
507
508
509     SvPV_force(PL_formtarget, len);
510     if (SvTAINTED(tmpForm) || SvTAINTED(formsv))
511         SvTAINTED_on(PL_formtarget);
512     if (DO_UTF8(PL_formtarget))
513         targ_is_utf8 = TRUE;
514     linemax = (SvCUR(formsv) * (IN_BYTES ? 1 : 3) + 1);
515     t = SvGROW(PL_formtarget, len + linemax + 1);
516     /* XXX from now onwards, SvCUR(PL_formtarget) is invalid */
517     t += len;
518     f = SvPV_const(formsv, len);
519
520     for (;;) {
521         DEBUG_f( {
522             const char *name = "???";
523             arg = -1;
524             switch (*fpc) {
525             case FF_LITERAL:    arg = fpc[1]; name = "LITERAL"; break;
526             case FF_BLANK:      arg = fpc[1]; name = "BLANK";   break;
527             case FF_SKIP:       arg = fpc[1]; name = "SKIP";    break;
528             case FF_FETCH:      arg = fpc[1]; name = "FETCH";   break;
529             case FF_DECIMAL:    arg = fpc[1]; name = "DECIMAL"; break;
530
531             case FF_CHECKNL:    name = "CHECKNL";       break;
532             case FF_CHECKCHOP:  name = "CHECKCHOP";     break;
533             case FF_SPACE:      name = "SPACE";         break;
534             case FF_HALFSPACE:  name = "HALFSPACE";     break;
535             case FF_ITEM:       name = "ITEM";          break;
536             case FF_CHOP:       name = "CHOP";          break;
537             case FF_LINEGLOB:   name = "LINEGLOB";      break;
538             case FF_NEWLINE:    name = "NEWLINE";       break;
539             case FF_MORE:       name = "MORE";          break;
540             case FF_LINEMARK:   name = "LINEMARK";      break;
541             case FF_END:        name = "END";           break;
542             case FF_0DECIMAL:   name = "0DECIMAL";      break;
543             case FF_LINESNGL:   name = "LINESNGL";      break;
544             }
545             if (arg >= 0)
546                 PerlIO_printf(Perl_debug_log, "%-16s%ld\n", name, (long) arg);
547             else
548                 PerlIO_printf(Perl_debug_log, "%-16s\n", name);
549         } );
550         switch (*fpc++) {
551         case FF_LINEMARK:
552             linemark = t - SvPVX(PL_formtarget);
553             lines++;
554             gotsome = FALSE;
555             break;
556
557         case FF_LITERAL:
558             to_copy = *fpc++;
559             source = (U8 *)f;
560             f += to_copy;
561             trans = '~';
562             item_is_utf8 = targ_is_utf8 ? !!DO_UTF8(formsv) : !!SvUTF8(formsv);
563             goto append;
564
565         case FF_SKIP:
566             f += *fpc++;
567             break;
568
569         case FF_FETCH:
570             arg = *fpc++;
571             f += arg;
572             fieldsize = arg;
573
574             if (MARK < SP)
575                 sv = *++MARK;
576             else {
577                 sv = &PL_sv_no;
578                 Perl_ck_warner(aTHX_ packWARN(WARN_SYNTAX), "Not enough format arguments");
579             }
580             if (SvTAINTED(sv))
581                 SvTAINTED_on(PL_formtarget);
582             break;
583
584         case FF_CHECKNL:
585             {
586                 const char *send;
587                 const char *s = item = SvPV_const(sv, len);
588                 itemsize = len;
589                 if (DO_UTF8(sv)) {
590                     itemsize = sv_len_utf8(sv);
591                     if (itemsize != (I32)len) {
592                         I32 itembytes;
593                         if (itemsize > fieldsize) {
594                             itemsize = fieldsize;
595                             itembytes = itemsize;
596                             sv_pos_u2b(sv, &itembytes, 0);
597                         }
598                         else
599                             itembytes = len;
600                         send = chophere = s + itembytes;
601                         while (s < send) {
602                             if (*s & ~31)
603                                 gotsome = TRUE;
604                             else if (*s == '\n')
605                                 break;
606                             s++;
607                         }
608                         item_is_utf8 = TRUE;
609                         itemsize = s - item;
610                         sv_pos_b2u(sv, &itemsize);
611                         break;
612                     }
613                 }
614                 item_is_utf8 = FALSE;
615                 if (itemsize > fieldsize)
616                     itemsize = fieldsize;
617                 send = chophere = s + itemsize;
618                 while (s < send) {
619                     if (*s & ~31)
620                         gotsome = TRUE;
621                     else if (*s == '\n')
622                         break;
623                     s++;
624                 }
625                 itemsize = s - item;
626                 break;
627             }
628
629         case FF_CHECKCHOP:
630             {
631                 const char *s = item = SvPV_const(sv, len);
632                 itemsize = len;
633                 if (DO_UTF8(sv)) {
634                     itemsize = sv_len_utf8(sv);
635                     if (itemsize != (I32)len) {
636                         I32 itembytes;
637                         if (itemsize <= fieldsize) {
638                             const char *send = chophere = s + itemsize;
639                             while (s < send) {
640                                 if (*s == '\r') {
641                                     itemsize = s - item;
642                                     chophere = s;
643                                     break;
644                                 }
645                                 if (*s++ & ~31)
646                                     gotsome = TRUE;
647                             }
648                         }
649                         else {
650                             const char *send;
651                             itemsize = fieldsize;
652                             itembytes = itemsize;
653                             sv_pos_u2b(sv, &itembytes, 0);
654                             send = chophere = s + itembytes;
655                             while (s < send || (s == send && isSPACE(*s))) {
656                                 if (isSPACE(*s)) {
657                                     if (chopspace)
658                                         chophere = s;
659                                     if (*s == '\r')
660                                         break;
661                                 }
662                                 else {
663                                     if (*s & ~31)
664                                         gotsome = TRUE;
665                                     if (strchr(PL_chopset, *s))
666                                         chophere = s + 1;
667                                 }
668                                 s++;
669                             }
670                             itemsize = chophere - item;
671                             sv_pos_b2u(sv, &itemsize);
672                         }
673                         item_is_utf8 = TRUE;
674                         break;
675                     }
676                 }
677                 item_is_utf8 = FALSE;
678                 if (itemsize <= fieldsize) {
679                     const char *const send = chophere = s + itemsize;
680                     while (s < send) {
681                         if (*s == '\r') {
682                             itemsize = s - item;
683                             chophere = s;
684                             break;
685                         }
686                         if (*s++ & ~31)
687                             gotsome = TRUE;
688                     }
689                 }
690                 else {
691                     const char *send;
692                     itemsize = fieldsize;
693                     send = chophere = s + itemsize;
694                     while (s < send || (s == send && isSPACE(*s))) {
695                         if (isSPACE(*s)) {
696                             if (chopspace)
697                                 chophere = s;
698                             if (*s == '\r')
699                                 break;
700                         }
701                         else {
702                             if (*s & ~31)
703                                 gotsome = TRUE;
704                             if (strchr(PL_chopset, *s))
705                                 chophere = s + 1;
706                         }
707                         s++;
708                     }
709                     itemsize = chophere - item;
710                 }
711                 break;
712             }
713
714         case FF_SPACE:
715             arg = fieldsize - itemsize;
716             if (arg) {
717                 fieldsize -= arg;
718                 while (arg-- > 0)
719                     *t++ = ' ';
720             }
721             break;
722
723         case FF_HALFSPACE:
724             arg = fieldsize - itemsize;
725             if (arg) {
726                 arg /= 2;
727                 fieldsize -= arg;
728                 while (arg-- > 0)
729                     *t++ = ' ';
730             }
731             break;
732
733         case FF_ITEM:
734             to_copy = itemsize;
735             source = (U8 *)item;
736             trans = 1;
737             if (item_is_utf8) {
738                 /* convert to_copy from chars to bytes */
739                 U8 *s = source;
740                 while (to_copy--)
741                    s += UTF8SKIP(s);
742                 to_copy = s - source;
743             }
744             goto append;
745
746         case FF_CHOP:
747             {
748                 const char *s = chophere;
749                 if (chopspace) {
750                     while (isSPACE(*s))
751                         s++;
752                 }
753                 sv_chop(sv,s);
754                 SvSETMAGIC(sv);
755                 break;
756             }
757
758         case FF_LINESNGL:
759             chopspace = 0;
760         case FF_LINEGLOB:
761             {
762                 const bool oneline = fpc[-1] == FF_LINESNGL;
763                 const char *s = item = SvPV_const(sv, len);
764                 const char *const send = s + len;
765
766                 item_is_utf8 = DO_UTF8(sv);
767                 if (!len)
768                     break;
769                 trans = 0;
770                 gotsome = TRUE;
771                 chophere = s + len;
772                 source = (U8 *) s;
773                 to_copy = len;
774                 while (s < send) {
775                     if (*s++ == '\n') {
776                         if (oneline) {
777                             to_copy = s - SvPVX_const(sv) - 1;
778                             chophere = s;
779                             break;
780                         } else {
781                             if (s == send) {
782                                 to_copy--;
783                             } else
784                                 lines++;
785                         }
786                     }
787                 }
788             }
789
790         append:
791             /* append to_copy bytes from source to PL_formstring.
792              * item_is_utf8 implies source is utf8.
793              * if trans, translate certain characters during the copy */
794             {
795                 U8 *tmp = NULL;
796                 STRLEN grow = 0;
797
798                 SvCUR_set(PL_formtarget,
799                           t - SvPVX_const(PL_formtarget));
800
801                 if (targ_is_utf8 && !item_is_utf8) {
802                     source = tmp = bytes_to_utf8(source, &to_copy);
803                 } else {
804                     if (item_is_utf8 && !targ_is_utf8) {
805                         U8 *s;
806                         /* Upgrade targ to UTF8, and then we reduce it to
807                            a problem we have a simple solution for.
808                            Don't need get magic.  */
809                         sv_utf8_upgrade_nomg(PL_formtarget);
810                         targ_is_utf8 = TRUE;
811                         /* re-calculate linemark */
812                         s = (U8*)SvPVX(PL_formtarget);
813                         /* the bytes we initially allocated to append the
814                          * whole line may have been gobbled up during the
815                          * upgrade, so allocate a whole new line's worth
816                          * for safety */
817                         grow = linemax;
818                         while (linemark--)
819                             s += UTF8SKIP(s);
820                         linemark = s - (U8*)SvPVX(PL_formtarget);
821                     }
822                     /* Easy. They agree.  */
823                     assert (item_is_utf8 == targ_is_utf8);
824                 }
825                 if (!trans)
826                     /* @* and ^* are the only things that can exceed
827                      * the linemax, so grow by the output size, plus
828                      * a whole new form's worth in case of any further
829                      * output */
830                     grow = linemax + to_copy;
831                 if (grow)
832                     SvGROW(PL_formtarget, SvCUR(PL_formtarget) + grow + 1);
833                 t = SvPVX(PL_formtarget) + SvCUR(PL_formtarget);
834
835                 Copy(source, t, to_copy, char);
836                 if (trans) {
837                     /* blank out ~ or control chars, depending on trans.
838                      * works on bytes not chars, so relies on not
839                      * matching utf8 continuation bytes */
840                     U8 *s = (U8*)t;
841                     U8 *send = s + to_copy;
842                     while (s < send) {
843                         const int ch = *s;
844                         if (trans == '~' ? (ch == '~') :
845 #ifdef EBCDIC
846                                iscntrl(ch)
847 #else
848                                (!(ch & ~31))
849 #endif
850                         )
851                             *s = ' ';
852                         s++;
853                     }
854                 }
855
856                 t += to_copy;
857                 SvCUR_set(PL_formtarget, SvCUR(PL_formtarget) + to_copy);
858                 if (tmp)
859                     Safefree(tmp);
860                 break;
861             }
862
863         case FF_0DECIMAL:
864             arg = *fpc++;
865 #if defined(USE_LONG_DOUBLE)
866             fmt = (const char *)
867                 ((arg & FORM_NUM_POINT) ?
868                  "%#0*.*" PERL_PRIfldbl : "%0*.*" PERL_PRIfldbl);
869 #else
870             fmt = (const char *)
871                 ((arg & FORM_NUM_POINT) ?
872                  "%#0*.*f"              : "%0*.*f");
873 #endif
874             goto ff_dec;
875         case FF_DECIMAL:
876             arg = *fpc++;
877 #if defined(USE_LONG_DOUBLE)
878             fmt = (const char *)
879                 ((arg & FORM_NUM_POINT) ? "%#*.*" PERL_PRIfldbl : "%*.*" PERL_PRIfldbl);
880 #else
881             fmt = (const char *)
882                 ((arg & FORM_NUM_POINT) ? "%#*.*f"              : "%*.*f");
883 #endif
884         ff_dec:
885             /* If the field is marked with ^ and the value is undefined,
886                blank it out. */
887             if ((arg & FORM_NUM_BLANK) && !SvOK(sv)) {
888                 arg = fieldsize;
889                 while (arg--)
890                     *t++ = ' ';
891                 break;
892             }
893             gotsome = TRUE;
894             value = SvNV(sv);
895             /* overflow evidence */
896             if (num_overflow(value, fieldsize, arg)) {
897                 arg = fieldsize;
898                 while (arg--)
899                     *t++ = '#';
900                 break;
901             }
902             /* Formats aren't yet marked for locales, so assume "yes". */
903             {
904                 STORE_NUMERIC_STANDARD_SET_LOCAL();
905                 arg &= ~(FORM_NUM_POINT|FORM_NUM_BLANK);
906                 my_snprintf(t, SvLEN(PL_formtarget) - (t - SvPVX(PL_formtarget)), fmt, (int) fieldsize, (int) arg, value);
907                 RESTORE_NUMERIC_STANDARD();
908             }
909             t += fieldsize;
910             break;
911
912         case FF_NEWLINE:
913             f++;
914             while (t-- > (SvPVX(PL_formtarget) + linemark) && *t == ' ') ;
915             t++;
916             *t++ = '\n';
917             break;
918
919         case FF_BLANK:
920             arg = *fpc++;
921             if (gotsome) {
922                 if (arg) {              /* repeat until fields exhausted? */
923                     fpc--;
924                     goto end;
925                 }
926             }
927             else {
928                 t = SvPVX(PL_formtarget) + linemark;
929                 lines--;
930             }
931             break;
932
933         case FF_MORE:
934             {
935                 const char *s = chophere;
936                 const char *send = item + len;
937                 if (chopspace) {
938                     while (isSPACE(*s) && (s < send))
939                         s++;
940                 }
941                 if (s < send) {
942                     char *s1;
943                     arg = fieldsize - itemsize;
944                     if (arg) {
945                         fieldsize -= arg;
946                         while (arg-- > 0)
947                             *t++ = ' ';
948                     }
949                     s1 = t - 3;
950                     if (strnEQ(s1,"   ",3)) {
951                         while (s1 > SvPVX_const(PL_formtarget) && isSPACE(s1[-1]))
952                             s1--;
953                     }
954                     *s1++ = '.';
955                     *s1++ = '.';
956                     *s1++ = '.';
957                 }
958                 break;
959             }
960         case FF_END:
961         end:
962             assert(t < SvPVX_const(PL_formtarget) + SvLEN(PL_formtarget));
963             *t = '\0';
964             SvCUR_set(PL_formtarget, t - SvPVX_const(PL_formtarget));
965             if (targ_is_utf8)
966                 SvUTF8_on(PL_formtarget);
967             FmLINES(PL_formtarget) += lines;
968             SP = ORIGMARK;
969             if (fpc[-1] == FF_BLANK)
970                 RETURNOP(cLISTOP->op_first);
971             else
972                 RETPUSHYES;
973         }
974     }
975 }
976
977 PP(pp_grepstart)
978 {
979     dVAR; dSP;
980     SV *src;
981
982     if (PL_stack_base + *PL_markstack_ptr == SP) {
983         (void)POPMARK;
984         if (GIMME_V == G_SCALAR)
985             mXPUSHi(0);
986         RETURNOP(PL_op->op_next->op_next);
987     }
988     PL_stack_sp = PL_stack_base + *PL_markstack_ptr + 1;
989     Perl_pp_pushmark(aTHX);                             /* push dst */
990     Perl_pp_pushmark(aTHX);                             /* push src */
991     ENTER_with_name("grep");                                    /* enter outer scope */
992
993     SAVETMPS;
994     if (PL_op->op_private & OPpGREP_LEX)
995         SAVESPTR(PAD_SVl(PL_op->op_targ));
996     else
997         SAVE_DEFSV;
998     ENTER_with_name("grep_item");                                       /* enter inner scope */
999     SAVEVPTR(PL_curpm);
1000
1001     src = PL_stack_base[*PL_markstack_ptr];
1002     SvTEMP_off(src);
1003     if (PL_op->op_private & OPpGREP_LEX)
1004         PAD_SVl(PL_op->op_targ) = src;
1005     else
1006         DEFSV_set(src);
1007
1008     PUTBACK;
1009     if (PL_op->op_type == OP_MAPSTART)
1010         Perl_pp_pushmark(aTHX);                 /* push top */
1011     return ((LOGOP*)PL_op->op_next)->op_other;
1012 }
1013
1014 PP(pp_mapwhile)
1015 {
1016     dVAR; dSP;
1017     const I32 gimme = GIMME_V;
1018     I32 items = (SP - PL_stack_base) - *PL_markstack_ptr; /* how many new items */
1019     I32 count;
1020     I32 shift;
1021     SV** src;
1022     SV** dst;
1023
1024     /* first, move source pointer to the next item in the source list */
1025     ++PL_markstack_ptr[-1];
1026
1027     /* if there are new items, push them into the destination list */
1028     if (items && gimme != G_VOID) {
1029         /* might need to make room back there first */
1030         if (items > PL_markstack_ptr[-1] - PL_markstack_ptr[-2]) {
1031             /* XXX this implementation is very pessimal because the stack
1032              * is repeatedly extended for every set of items.  Is possible
1033              * to do this without any stack extension or copying at all
1034              * by maintaining a separate list over which the map iterates
1035              * (like foreach does). --gsar */
1036
1037             /* everything in the stack after the destination list moves
1038              * towards the end the stack by the amount of room needed */
1039             shift = items - (PL_markstack_ptr[-1] - PL_markstack_ptr[-2]);
1040
1041             /* items to shift up (accounting for the moved source pointer) */
1042             count = (SP - PL_stack_base) - (PL_markstack_ptr[-1] - 1);
1043
1044             /* This optimization is by Ben Tilly and it does
1045              * things differently from what Sarathy (gsar)
1046              * is describing.  The downside of this optimization is
1047              * that leaves "holes" (uninitialized and hopefully unused areas)
1048              * to the Perl stack, but on the other hand this
1049              * shouldn't be a problem.  If Sarathy's idea gets
1050              * implemented, this optimization should become
1051              * irrelevant.  --jhi */
1052             if (shift < count)
1053                 shift = count; /* Avoid shifting too often --Ben Tilly */
1054
1055             EXTEND(SP,shift);
1056             src = SP;
1057             dst = (SP += shift);
1058             PL_markstack_ptr[-1] += shift;
1059             *PL_markstack_ptr += shift;
1060             while (count--)
1061                 *dst-- = *src--;
1062         }
1063         /* copy the new items down to the destination list */
1064         dst = PL_stack_base + (PL_markstack_ptr[-2] += items) - 1;
1065         if (gimme == G_ARRAY) {
1066             /* add returned items to the collection (making mortal copies
1067              * if necessary), then clear the current temps stack frame
1068              * *except* for those items. We do this splicing the items
1069              * into the start of the tmps frame (so some items may be on
1070              * the tmps stack twice), then moving PL_tmps_floor above
1071              * them, then freeing the frame. That way, the only tmps that
1072              * accumulate over iterations are the return values for map.
1073              * We have to do to this way so that everything gets correctly
1074              * freed if we die during the map.
1075              */
1076             I32 tmpsbase;
1077             I32 i = items;
1078             /* make space for the slice */
1079             EXTEND_MORTAL(items);
1080             tmpsbase = PL_tmps_floor + 1;
1081             Move(PL_tmps_stack + tmpsbase,
1082                  PL_tmps_stack + tmpsbase + items,
1083                  PL_tmps_ix - PL_tmps_floor,
1084                  SV*);
1085             PL_tmps_ix += items;
1086
1087             while (i-- > 0) {
1088                 SV *sv = POPs;
1089                 if (!SvTEMP(sv))
1090                     sv = sv_mortalcopy(sv);
1091                 *dst-- = sv;
1092                 PL_tmps_stack[tmpsbase++] = SvREFCNT_inc_simple(sv);
1093             }
1094             /* clear the stack frame except for the items */
1095             PL_tmps_floor += items;
1096             FREETMPS;
1097             /* FREETMPS may have cleared the TEMP flag on some of the items */
1098             i = items;
1099             while (i-- > 0)
1100                 SvTEMP_on(PL_tmps_stack[--tmpsbase]);
1101         }
1102         else {
1103             /* scalar context: we don't care about which values map returns
1104              * (we use undef here). And so we certainly don't want to do mortal
1105              * copies of meaningless values. */
1106             while (items-- > 0) {
1107                 (void)POPs;
1108                 *dst-- = &PL_sv_undef;
1109             }
1110             FREETMPS;
1111         }
1112     }
1113     else {
1114         FREETMPS;
1115     }
1116     LEAVE_with_name("grep_item");                                       /* exit inner scope */
1117
1118     /* All done yet? */
1119     if (PL_markstack_ptr[-1] > *PL_markstack_ptr) {
1120
1121         (void)POPMARK;                          /* pop top */
1122         LEAVE_with_name("grep");                                        /* exit outer scope */
1123         (void)POPMARK;                          /* pop src */
1124         items = --*PL_markstack_ptr - PL_markstack_ptr[-1];
1125         (void)POPMARK;                          /* pop dst */
1126         SP = PL_stack_base + POPMARK;           /* pop original mark */
1127         if (gimme == G_SCALAR) {
1128             if (PL_op->op_private & OPpGREP_LEX) {
1129                 SV* sv = sv_newmortal();
1130                 sv_setiv(sv, items);
1131                 PUSHs(sv);
1132             }
1133             else {
1134                 dTARGET;
1135                 XPUSHi(items);
1136             }
1137         }
1138         else if (gimme == G_ARRAY)
1139             SP += items;
1140         RETURN;
1141     }
1142     else {
1143         SV *src;
1144
1145         ENTER_with_name("grep_item");                                   /* enter inner scope */
1146         SAVEVPTR(PL_curpm);
1147
1148         /* set $_ to the new source item */
1149         src = PL_stack_base[PL_markstack_ptr[-1]];
1150         SvTEMP_off(src);
1151         if (PL_op->op_private & OPpGREP_LEX)
1152             PAD_SVl(PL_op->op_targ) = src;
1153         else
1154             DEFSV_set(src);
1155
1156         RETURNOP(cLOGOP->op_other);
1157     }
1158 }
1159
1160 /* Range stuff. */
1161
1162 PP(pp_range)
1163 {
1164     dVAR;
1165     if (GIMME == G_ARRAY)
1166         return NORMAL;
1167     if (SvTRUEx(PAD_SV(PL_op->op_targ)))
1168         return cLOGOP->op_other;
1169     else
1170         return NORMAL;
1171 }
1172
1173 PP(pp_flip)
1174 {
1175     dVAR;
1176     dSP;
1177
1178     if (GIMME == G_ARRAY) {
1179         RETURNOP(((LOGOP*)cUNOP->op_first)->op_other);
1180     }
1181     else {
1182         dTOPss;
1183         SV * const targ = PAD_SV(PL_op->op_targ);
1184         int flip = 0;
1185
1186         if (PL_op->op_private & OPpFLIP_LINENUM) {
1187             if (GvIO(PL_last_in_gv)) {
1188                 flip = SvIV(sv) == (IV)IoLINES(GvIOp(PL_last_in_gv));
1189             }
1190             else {
1191                 GV * const gv = gv_fetchpvs(".", GV_ADD|GV_NOTQUAL, SVt_PV);
1192                 if (gv && GvSV(gv))
1193                     flip = SvIV(sv) == SvIV(GvSV(gv));
1194             }
1195         } else {
1196             flip = SvTRUE(sv);
1197         }
1198         if (flip) {
1199             sv_setiv(PAD_SV(cUNOP->op_first->op_targ), 1);
1200             if (PL_op->op_flags & OPf_SPECIAL) {
1201                 sv_setiv(targ, 1);
1202                 SETs(targ);
1203                 RETURN;
1204             }
1205             else {
1206                 sv_setiv(targ, 0);
1207                 SP--;
1208                 RETURNOP(((LOGOP*)cUNOP->op_first)->op_other);
1209             }
1210         }
1211         sv_setpvs(TARG, "");
1212         SETs(targ);
1213         RETURN;
1214     }
1215 }
1216
1217 /* This code tries to decide if "$left .. $right" should use the
1218    magical string increment, or if the range is numeric (we make
1219    an exception for .."0" [#18165]). AMS 20021031. */
1220
1221 #define RANGE_IS_NUMERIC(left,right) ( \
1222         SvNIOKp(left)  || (SvOK(left)  && !SvPOKp(left))  || \
1223         SvNIOKp(right) || (SvOK(right) && !SvPOKp(right)) || \
1224         (((!SvOK(left) && SvOK(right)) || ((!SvOK(left) || \
1225           looks_like_number(left)) && SvPOKp(left) && *SvPVX_const(left) != '0')) \
1226          && (!SvOK(right) || looks_like_number(right))))
1227
1228 PP(pp_flop)
1229 {
1230     dVAR; dSP;
1231
1232     if (GIMME == G_ARRAY) {
1233         dPOPPOPssrl;
1234
1235         SvGETMAGIC(left);
1236         SvGETMAGIC(right);
1237
1238         if (RANGE_IS_NUMERIC(left,right)) {
1239             IV i, j;
1240             IV max;
1241             if ((SvOK(left) && SvNV_nomg(left) < IV_MIN) ||
1242                 (SvOK(right) && SvNV_nomg(right) > IV_MAX))
1243                 DIE(aTHX_ "Range iterator outside integer range");
1244             i = SvIV_nomg(left);
1245             max = SvIV_nomg(right);
1246             if (max >= i) {
1247                 j = max - i + 1;
1248                 EXTEND_MORTAL(j);
1249                 EXTEND(SP, j);
1250             }
1251             else
1252                 j = 0;
1253             while (j--) {
1254                 SV * const sv = sv_2mortal(newSViv(i++));
1255                 PUSHs(sv);
1256             }
1257         }
1258         else {
1259             STRLEN len, llen;
1260             const char * const lpv = SvPV_nomg_const(left, llen);
1261             const char * const tmps = SvPV_nomg_const(right, len);
1262
1263             SV *sv = newSVpvn_flags(lpv, llen, SvUTF8(left)|SVs_TEMP);
1264             while (!SvNIOKp(sv) && SvCUR(sv) <= len) {
1265                 XPUSHs(sv);
1266                 if (strEQ(SvPVX_const(sv),tmps))
1267                     break;
1268                 sv = sv_2mortal(newSVsv(sv));
1269                 sv_inc(sv);
1270             }
1271         }
1272     }
1273     else {
1274         dTOPss;
1275         SV * const targ = PAD_SV(cUNOP->op_first->op_targ);
1276         int flop = 0;
1277         sv_inc(targ);
1278
1279         if (PL_op->op_private & OPpFLIP_LINENUM) {
1280             if (GvIO(PL_last_in_gv)) {
1281                 flop = SvIV(sv) == (IV)IoLINES(GvIOp(PL_last_in_gv));
1282             }
1283             else {
1284                 GV * const gv = gv_fetchpvs(".", GV_ADD|GV_NOTQUAL, SVt_PV);
1285                 if (gv && GvSV(gv)) flop = SvIV(sv) == SvIV(GvSV(gv));
1286             }
1287         }
1288         else {
1289             flop = SvTRUE(sv);
1290         }
1291
1292         if (flop) {
1293             sv_setiv(PAD_SV(((UNOP*)cUNOP->op_first)->op_first->op_targ), 0);
1294             sv_catpvs(targ, "E0");
1295         }
1296         SETs(targ);
1297     }
1298
1299     RETURN;
1300 }
1301
1302 /* Control. */
1303
1304 static const char * const context_name[] = {
1305     "pseudo-block",
1306     NULL, /* CXt_WHEN never actually needs "block" */
1307     NULL, /* CXt_BLOCK never actually needs "block" */
1308     NULL, /* CXt_GIVEN never actually needs "block" */
1309     NULL, /* CXt_LOOP_FOR never actually needs "loop" */
1310     NULL, /* CXt_LOOP_PLAIN never actually needs "loop" */
1311     NULL, /* CXt_LOOP_LAZYSV never actually needs "loop" */
1312     NULL, /* CXt_LOOP_LAZYIV never actually needs "loop" */
1313     "subroutine",
1314     "format",
1315     "eval",
1316     "substitution",
1317 };
1318
1319 STATIC I32
1320 S_dopoptolabel(pTHX_ const char *label, STRLEN len, U32 flags)
1321 {
1322     dVAR;
1323     I32 i;
1324
1325     PERL_ARGS_ASSERT_DOPOPTOLABEL;
1326
1327     for (i = cxstack_ix; i >= 0; i--) {
1328         const PERL_CONTEXT * const cx = &cxstack[i];
1329         switch (CxTYPE(cx)) {
1330         case CXt_SUBST:
1331         case CXt_SUB:
1332         case CXt_FORMAT:
1333         case CXt_EVAL:
1334         case CXt_NULL:
1335             /* diag_listed_as: Exiting subroutine via %s */
1336             Perl_ck_warner(aTHX_ packWARN(WARN_EXITING), "Exiting %s via %s",
1337                            context_name[CxTYPE(cx)], OP_NAME(PL_op));
1338             if (CxTYPE(cx) == CXt_NULL)
1339                 return -1;
1340             break;
1341         case CXt_LOOP_LAZYIV:
1342         case CXt_LOOP_LAZYSV:
1343         case CXt_LOOP_FOR:
1344         case CXt_LOOP_PLAIN:
1345           {
1346             STRLEN cx_label_len = 0;
1347             U32 cx_label_flags = 0;
1348             const char *cx_label = CxLABEL_len_flags(cx, &cx_label_len, &cx_label_flags);
1349             if (!cx_label || !(
1350                     ( (cx_label_flags & SVf_UTF8) != (flags & SVf_UTF8) ) ?
1351                         (flags & SVf_UTF8)
1352                             ? (bytes_cmp_utf8(
1353                                         (const U8*)cx_label, cx_label_len,
1354                                         (const U8*)label, len) == 0)
1355                             : (bytes_cmp_utf8(
1356                                         (const U8*)label, len,
1357                                         (const U8*)cx_label, cx_label_len) == 0)
1358                     : (len == cx_label_len && ((cx_label == label)
1359                                     || memEQ(cx_label, label, len))) )) {
1360                 DEBUG_l(Perl_deb(aTHX_ "(poptolabel(): skipping label at cx=%ld %s)\n",
1361                         (long)i, cx_label));
1362                 continue;
1363             }
1364             DEBUG_l( Perl_deb(aTHX_ "(poptolabel(): found label at cx=%ld %s)\n", (long)i, label));
1365             return i;
1366           }
1367         }
1368     }
1369     return i;
1370 }
1371
1372
1373
1374 I32
1375 Perl_dowantarray(pTHX)
1376 {
1377     dVAR;
1378     const I32 gimme = block_gimme();
1379     return (gimme == G_VOID) ? G_SCALAR : gimme;
1380 }
1381
1382 I32
1383 Perl_block_gimme(pTHX)
1384 {
1385     dVAR;
1386     const I32 cxix = dopoptosub(cxstack_ix);
1387     if (cxix < 0)
1388         return G_VOID;
1389
1390     switch (cxstack[cxix].blk_gimme) {
1391     case G_VOID:
1392         return G_VOID;
1393     case G_SCALAR:
1394         return G_SCALAR;
1395     case G_ARRAY:
1396         return G_ARRAY;
1397     default:
1398         Perl_croak(aTHX_ "panic: bad gimme: %d\n", cxstack[cxix].blk_gimme);
1399         assert(0); /* NOTREACHED */
1400         return 0;
1401     }
1402 }
1403
1404 I32
1405 Perl_is_lvalue_sub(pTHX)
1406 {
1407     dVAR;
1408     const I32 cxix = dopoptosub(cxstack_ix);
1409     assert(cxix >= 0);  /* We should only be called from inside subs */
1410
1411     if (CxLVAL(cxstack + cxix) && CvLVALUE(cxstack[cxix].blk_sub.cv))
1412         return CxLVAL(cxstack + cxix);
1413     else
1414         return 0;
1415 }
1416
1417 /* only used by PUSHSUB */
1418 I32
1419 Perl_was_lvalue_sub(pTHX)
1420 {
1421     dVAR;
1422     const I32 cxix = dopoptosub(cxstack_ix-1);
1423     assert(cxix >= 0);  /* We should only be called from inside subs */
1424
1425     if (CxLVAL(cxstack + cxix) && CvLVALUE(cxstack[cxix].blk_sub.cv))
1426         return CxLVAL(cxstack + cxix);
1427     else
1428         return 0;
1429 }
1430
1431 STATIC I32
1432 S_dopoptosub_at(pTHX_ const PERL_CONTEXT *cxstk, I32 startingblock)
1433 {
1434     dVAR;
1435     I32 i;
1436
1437     PERL_ARGS_ASSERT_DOPOPTOSUB_AT;
1438
1439     for (i = startingblock; i >= 0; i--) {
1440         const PERL_CONTEXT * const cx = &cxstk[i];
1441         switch (CxTYPE(cx)) {
1442         default:
1443             continue;
1444         case CXt_SUB:
1445             /* in sub foo { /(?{...})/ }, foo ends up on the CX stack
1446              * twice; the first for the normal foo() call, and the second
1447              * for a faked up re-entry into the sub to execute the
1448              * code block. Hide this faked entry from the world. */
1449             if (cx->cx_type & CXp_SUB_RE_FAKE)
1450                 continue;
1451         case CXt_EVAL:
1452         case CXt_FORMAT:
1453             DEBUG_l( Perl_deb(aTHX_ "(dopoptosub_at(): found sub at cx=%ld)\n", (long)i));
1454             return i;
1455         }
1456     }
1457     return i;
1458 }
1459
1460 STATIC I32
1461 S_dopoptoeval(pTHX_ I32 startingblock)
1462 {
1463     dVAR;
1464     I32 i;
1465     for (i = startingblock; i >= 0; i--) {
1466         const PERL_CONTEXT *cx = &cxstack[i];
1467         switch (CxTYPE(cx)) {
1468         default:
1469             continue;
1470         case CXt_EVAL:
1471             DEBUG_l( Perl_deb(aTHX_ "(dopoptoeval(): found eval at cx=%ld)\n", (long)i));
1472             return i;
1473         }
1474     }
1475     return i;
1476 }
1477
1478 STATIC I32
1479 S_dopoptoloop(pTHX_ I32 startingblock)
1480 {
1481     dVAR;
1482     I32 i;
1483     for (i = startingblock; i >= 0; i--) {
1484         const PERL_CONTEXT * const cx = &cxstack[i];
1485         switch (CxTYPE(cx)) {
1486         case CXt_SUBST:
1487         case CXt_SUB:
1488         case CXt_FORMAT:
1489         case CXt_EVAL:
1490         case CXt_NULL:
1491             /* diag_listed_as: Exiting subroutine via %s */
1492             Perl_ck_warner(aTHX_ packWARN(WARN_EXITING), "Exiting %s via %s",
1493                            context_name[CxTYPE(cx)], OP_NAME(PL_op));
1494             if ((CxTYPE(cx)) == CXt_NULL)
1495                 return -1;
1496             break;
1497         case CXt_LOOP_LAZYIV:
1498         case CXt_LOOP_LAZYSV:
1499         case CXt_LOOP_FOR:
1500         case CXt_LOOP_PLAIN:
1501             DEBUG_l( Perl_deb(aTHX_ "(dopoptoloop(): found loop at cx=%ld)\n", (long)i));
1502             return i;
1503         }
1504     }
1505     return i;
1506 }
1507
1508 STATIC I32
1509 S_dopoptogiven(pTHX_ I32 startingblock)
1510 {
1511     dVAR;
1512     I32 i;
1513     for (i = startingblock; i >= 0; i--) {
1514         const PERL_CONTEXT *cx = &cxstack[i];
1515         switch (CxTYPE(cx)) {
1516         default:
1517             continue;
1518         case CXt_GIVEN:
1519             DEBUG_l( Perl_deb(aTHX_ "(dopoptogiven(): found given at cx=%ld)\n", (long)i));
1520             return i;
1521         case CXt_LOOP_PLAIN:
1522             assert(!CxFOREACHDEF(cx));
1523             break;
1524         case CXt_LOOP_LAZYIV:
1525         case CXt_LOOP_LAZYSV:
1526         case CXt_LOOP_FOR:
1527             if (CxFOREACHDEF(cx)) {
1528                 DEBUG_l( Perl_deb(aTHX_ "(dopoptogiven(): found foreach at cx=%ld)\n", (long)i));
1529                 return i;
1530             }
1531         }
1532     }
1533     return i;
1534 }
1535
1536 STATIC I32
1537 S_dopoptowhen(pTHX_ I32 startingblock)
1538 {
1539     dVAR;
1540     I32 i;
1541     for (i = startingblock; i >= 0; i--) {
1542         const PERL_CONTEXT *cx = &cxstack[i];
1543         switch (CxTYPE(cx)) {
1544         default:
1545             continue;
1546         case CXt_WHEN:
1547             DEBUG_l( Perl_deb(aTHX_ "(dopoptowhen(): found when at cx=%ld)\n", (long)i));
1548             return i;
1549         }
1550     }
1551     return i;
1552 }
1553
1554 void
1555 Perl_dounwind(pTHX_ I32 cxix)
1556 {
1557     dVAR;
1558     I32 optype;
1559
1560     if (!PL_curstackinfo) /* can happen if die during thread cloning */
1561         return;
1562
1563     while (cxstack_ix > cxix) {
1564         SV *sv;
1565         PERL_CONTEXT *cx = &cxstack[cxstack_ix];
1566         DEBUG_CX("UNWIND");                                             \
1567         /* Note: we don't need to restore the base context info till the end. */
1568         switch (CxTYPE(cx)) {
1569         case CXt_SUBST:
1570             POPSUBST(cx);
1571             continue;  /* not break */
1572         case CXt_SUB:
1573             POPSUB(cx,sv);
1574             LEAVESUB(sv);
1575             break;
1576         case CXt_EVAL:
1577             POPEVAL(cx);
1578             break;
1579         case CXt_LOOP_LAZYIV:
1580         case CXt_LOOP_LAZYSV:
1581         case CXt_LOOP_FOR:
1582         case CXt_LOOP_PLAIN:
1583             POPLOOP(cx);
1584             break;
1585         case CXt_NULL:
1586             break;
1587         case CXt_FORMAT:
1588             POPFORMAT(cx);
1589             break;
1590         }
1591         cxstack_ix--;
1592     }
1593     PERL_UNUSED_VAR(optype);
1594 }
1595
1596 void
1597 Perl_qerror(pTHX_ SV *err)
1598 {
1599     dVAR;
1600
1601     PERL_ARGS_ASSERT_QERROR;
1602
1603     if (PL_in_eval) {
1604         if (PL_in_eval & EVAL_KEEPERR) {
1605                 Perl_ck_warner(aTHX_ packWARN(WARN_MISC), "\t(in cleanup) %"SVf,
1606                                                     SVfARG(err));
1607         }
1608         else
1609             sv_catsv(ERRSV, err);
1610     }
1611     else if (PL_errors)
1612         sv_catsv(PL_errors, err);
1613     else
1614         Perl_warn(aTHX_ "%"SVf, SVfARG(err));
1615     if (PL_parser)
1616         ++PL_parser->error_count;
1617 }
1618
1619 void
1620 Perl_die_unwind(pTHX_ SV *msv)
1621 {
1622     dVAR;
1623     SV *exceptsv = sv_mortalcopy(msv);
1624     U8 in_eval = PL_in_eval;
1625     PERL_ARGS_ASSERT_DIE_UNWIND;
1626
1627     if (in_eval) {
1628         I32 cxix;
1629         I32 gimme;
1630
1631         /*
1632          * Historically, perl used to set ERRSV ($@) early in the die
1633          * process and rely on it not getting clobbered during unwinding.
1634          * That sucked, because it was liable to get clobbered, so the
1635          * setting of ERRSV used to emit the exception from eval{} has
1636          * been moved to much later, after unwinding (see just before
1637          * JMPENV_JUMP below).  However, some modules were relying on the
1638          * early setting, by examining $@ during unwinding to use it as
1639          * a flag indicating whether the current unwinding was caused by
1640          * an exception.  It was never a reliable flag for that purpose,
1641          * being totally open to false positives even without actual
1642          * clobberage, but was useful enough for production code to
1643          * semantically rely on it.
1644          *
1645          * We'd like to have a proper introspective interface that
1646          * explicitly describes the reason for whatever unwinding
1647          * operations are currently in progress, so that those modules
1648          * work reliably and $@ isn't further overloaded.  But we don't
1649          * have one yet.  In its absence, as a stopgap measure, ERRSV is
1650          * now *additionally* set here, before unwinding, to serve as the
1651          * (unreliable) flag that it used to.
1652          *
1653          * This behaviour is temporary, and should be removed when a
1654          * proper way to detect exceptional unwinding has been developed.
1655          * As of 2010-12, the authors of modules relying on the hack
1656          * are aware of the issue, because the modules failed on
1657          * perls 5.13.{1..7} which had late setting of $@ without this
1658          * early-setting hack.
1659          */
1660         if (!(in_eval & EVAL_KEEPERR)) {
1661             SvTEMP_off(exceptsv);
1662             sv_setsv(ERRSV, exceptsv);
1663         }
1664
1665         if (in_eval & EVAL_KEEPERR) {
1666             Perl_ck_warner(aTHX_ packWARN(WARN_MISC), "\t(in cleanup) %"SVf,
1667                            SVfARG(exceptsv));
1668         }
1669
1670         while ((cxix = dopoptoeval(cxstack_ix)) < 0
1671                && PL_curstackinfo->si_prev)
1672         {
1673             dounwind(-1);
1674             POPSTACK;
1675         }
1676
1677         if (cxix >= 0) {
1678             I32 optype;
1679             SV *namesv;
1680             PERL_CONTEXT *cx;
1681             SV **newsp;
1682             COP *oldcop;
1683             JMPENV *restartjmpenv;
1684             OP *restartop;
1685
1686             if (cxix < cxstack_ix)
1687                 dounwind(cxix);
1688
1689             POPBLOCK(cx,PL_curpm);
1690             if (CxTYPE(cx) != CXt_EVAL) {
1691                 STRLEN msglen;
1692                 const char* message = SvPVx_const(exceptsv, msglen);
1693                 PerlIO_write(Perl_error_log, (const char *)"panic: die ", 11);
1694                 PerlIO_write(Perl_error_log, message, msglen);
1695                 my_exit(1);
1696             }
1697             POPEVAL(cx);
1698             namesv = cx->blk_eval.old_namesv;
1699             oldcop = cx->blk_oldcop;
1700             restartjmpenv = cx->blk_eval.cur_top_env;
1701             restartop = cx->blk_eval.retop;
1702
1703             if (gimme == G_SCALAR)
1704                 *++newsp = &PL_sv_undef;
1705             PL_stack_sp = newsp;
1706
1707             LEAVE;
1708
1709             /* LEAVE could clobber PL_curcop (see save_re_context())
1710              * XXX it might be better to find a way to avoid messing with
1711              * PL_curcop in save_re_context() instead, but this is a more
1712              * minimal fix --GSAR */
1713             PL_curcop = oldcop;
1714
1715             if (optype == OP_REQUIRE) {
1716                 (void)hv_store(GvHVn(PL_incgv),
1717                                SvPVX_const(namesv),
1718                                SvUTF8(namesv) ? -(I32)SvCUR(namesv) : (I32)SvCUR(namesv),
1719                                &PL_sv_undef, 0);
1720                 /* note that unlike pp_entereval, pp_require isn't
1721                  * supposed to trap errors. So now that we've popped the
1722                  * EVAL that pp_require pushed, and processed the error
1723                  * message, rethrow the error */
1724                 Perl_croak(aTHX_ "%"SVf"Compilation failed in require",
1725                            SVfARG(exceptsv ? exceptsv : newSVpvs_flags("Unknown error\n",
1726                                                                     SVs_TEMP)));
1727             }
1728             if (!(in_eval & EVAL_KEEPERR))
1729                 sv_setsv(ERRSV, exceptsv);
1730             PL_restartjmpenv = restartjmpenv;
1731             PL_restartop = restartop;
1732             JMPENV_JUMP(3);
1733             assert(0); /* NOTREACHED */
1734         }
1735     }
1736
1737     write_to_stderr(exceptsv);
1738     my_failure_exit();
1739     assert(0); /* NOTREACHED */
1740 }
1741
1742 PP(pp_xor)
1743 {
1744     dVAR; dSP; dPOPTOPssrl;
1745     if (SvTRUE(left) != SvTRUE(right))
1746         RETSETYES;
1747     else
1748         RETSETNO;
1749 }
1750
1751 /*
1752 =for apidoc caller_cx
1753
1754 The XSUB-writer's equivalent of L<caller()|perlfunc/caller>. The
1755 returned C<PERL_CONTEXT> structure can be interrogated to find all the
1756 information returned to Perl by C<caller>. Note that XSUBs don't get a
1757 stack frame, so C<caller_cx(0, NULL)> will return information for the
1758 immediately-surrounding Perl code.
1759
1760 This function skips over the automatic calls to C<&DB::sub> made on the
1761 behalf of the debugger. If the stack frame requested was a sub called by
1762 C<DB::sub>, the return value will be the frame for the call to
1763 C<DB::sub>, since that has the correct line number/etc. for the call
1764 site. If I<dbcxp> is non-C<NULL>, it will be set to a pointer to the
1765 frame for the sub call itself.
1766
1767 =cut
1768 */
1769
1770 const PERL_CONTEXT *
1771 Perl_caller_cx(pTHX_ I32 count, const PERL_CONTEXT **dbcxp)
1772 {
1773     I32 cxix = dopoptosub(cxstack_ix);
1774     const PERL_CONTEXT *cx;
1775     const PERL_CONTEXT *ccstack = cxstack;
1776     const PERL_SI *top_si = PL_curstackinfo;
1777
1778     for (;;) {
1779         /* we may be in a higher stacklevel, so dig down deeper */
1780         while (cxix < 0 && top_si->si_type != PERLSI_MAIN) {
1781             top_si = top_si->si_prev;
1782             ccstack = top_si->si_cxstack;
1783             cxix = dopoptosub_at(ccstack, top_si->si_cxix);
1784         }
1785         if (cxix < 0)
1786             return NULL;
1787         /* caller() should not report the automatic calls to &DB::sub */
1788         if (PL_DBsub && GvCV(PL_DBsub) && cxix >= 0 &&
1789                 ccstack[cxix].blk_sub.cv == GvCV(PL_DBsub))
1790             count++;
1791         if (!count--)
1792             break;
1793         cxix = dopoptosub_at(ccstack, cxix - 1);
1794     }
1795
1796     cx = &ccstack[cxix];
1797     if (dbcxp) *dbcxp = cx;
1798
1799     if (CxTYPE(cx) == CXt_SUB || CxTYPE(cx) == CXt_FORMAT) {
1800         const I32 dbcxix = dopoptosub_at(ccstack, cxix - 1);
1801         /* We expect that ccstack[dbcxix] is CXt_SUB, anyway, the
1802            field below is defined for any cx. */
1803         /* caller() should not report the automatic calls to &DB::sub */
1804         if (PL_DBsub && GvCV(PL_DBsub) && dbcxix >= 0 && ccstack[dbcxix].blk_sub.cv == GvCV(PL_DBsub))
1805             cx = &ccstack[dbcxix];
1806     }
1807
1808     return cx;
1809 }
1810
1811 PP(pp_caller)
1812 {
1813     dVAR;
1814     dSP;
1815     const PERL_CONTEXT *cx;
1816     const PERL_CONTEXT *dbcx;
1817     I32 gimme;
1818     const HEK *stash_hek;
1819     I32 count = 0;
1820     bool has_arg = MAXARG && TOPs;
1821
1822     if (MAXARG) {
1823       if (has_arg)
1824         count = POPi;
1825       else (void)POPs;
1826     }
1827
1828     cx = caller_cx(count + !!(PL_op->op_private & OPpOFFBYONE), &dbcx);
1829     if (!cx) {
1830         if (GIMME != G_ARRAY) {
1831             EXTEND(SP, 1);
1832             RETPUSHUNDEF;
1833         }
1834         RETURN;
1835     }
1836
1837     DEBUG_CX("CALLER");
1838     assert(CopSTASH(cx->blk_oldcop));
1839     stash_hek = SvTYPE(CopSTASH(cx->blk_oldcop)) == SVt_PVHV
1840       ? HvNAME_HEK((HV*)CopSTASH(cx->blk_oldcop))
1841       : NULL;
1842     if (GIMME != G_ARRAY) {
1843         EXTEND(SP, 1);
1844         if (!stash_hek)
1845             PUSHs(&PL_sv_undef);
1846         else {
1847             dTARGET;
1848             sv_sethek(TARG, stash_hek);
1849             PUSHs(TARG);
1850         }
1851         RETURN;
1852     }
1853
1854     EXTEND(SP, 11);
1855
1856     if (!stash_hek)
1857         PUSHs(&PL_sv_undef);
1858     else {
1859         dTARGET;
1860         sv_sethek(TARG, stash_hek);
1861         PUSHTARG;
1862     }
1863     mPUSHs(newSVpv(OutCopFILE(cx->blk_oldcop), 0));
1864     mPUSHi((I32)CopLINE(cx->blk_oldcop));
1865     if (!has_arg)
1866         RETURN;
1867     if (CxTYPE(cx) == CXt_SUB || CxTYPE(cx) == CXt_FORMAT) {
1868         GV * const cvgv = CvGV(dbcx->blk_sub.cv);
1869         /* So is ccstack[dbcxix]. */
1870         if (cvgv && isGV(cvgv)) {
1871             SV * const sv = newSV(0);
1872             gv_efullname3(sv, cvgv, NULL);
1873             mPUSHs(sv);
1874             PUSHs(boolSV(CxHASARGS(cx)));
1875         }
1876         else {
1877             PUSHs(newSVpvs_flags("(unknown)", SVs_TEMP));
1878             PUSHs(boolSV(CxHASARGS(cx)));
1879         }
1880     }
1881     else {
1882         PUSHs(newSVpvs_flags("(eval)", SVs_TEMP));
1883         mPUSHi(0);
1884     }
1885     gimme = (I32)cx->blk_gimme;
1886     if (gimme == G_VOID)
1887         PUSHs(&PL_sv_undef);
1888     else
1889         PUSHs(boolSV((gimme & G_WANT) == G_ARRAY));
1890     if (CxTYPE(cx) == CXt_EVAL) {
1891         /* eval STRING */
1892         if (CxOLD_OP_TYPE(cx) == OP_ENTEREVAL) {
1893             PUSHs(newSVpvn_flags(SvPVX(cx->blk_eval.cur_text),
1894                                  SvCUR(cx->blk_eval.cur_text)-2,
1895                                  SvUTF8(cx->blk_eval.cur_text)|SVs_TEMP));
1896             PUSHs(&PL_sv_no);
1897         }
1898         /* require */
1899         else if (cx->blk_eval.old_namesv) {
1900             mPUSHs(newSVsv(cx->blk_eval.old_namesv));
1901             PUSHs(&PL_sv_yes);
1902         }
1903         /* eval BLOCK (try blocks have old_namesv == 0) */
1904         else {
1905             PUSHs(&PL_sv_undef);
1906             PUSHs(&PL_sv_undef);
1907         }
1908     }
1909     else {
1910         PUSHs(&PL_sv_undef);
1911         PUSHs(&PL_sv_undef);
1912     }
1913     if (CxTYPE(cx) == CXt_SUB && CxHASARGS(cx)
1914         && CopSTASH_eq(PL_curcop, PL_debstash))
1915     {
1916         AV * const ary = cx->blk_sub.argarray;
1917         const int off = AvARRAY(ary) - AvALLOC(ary);
1918
1919         Perl_init_dbargs(aTHX);
1920
1921         if (AvMAX(PL_dbargs) < AvFILLp(ary) + off)
1922             av_extend(PL_dbargs, AvFILLp(ary) + off);
1923         Copy(AvALLOC(ary), AvARRAY(PL_dbargs), AvFILLp(ary) + 1 + off, SV*);
1924         AvFILLp(PL_dbargs) = AvFILLp(ary) + off;
1925     }
1926     mPUSHi(CopHINTS_get(cx->blk_oldcop));
1927     {
1928         SV * mask ;
1929         STRLEN * const old_warnings = cx->blk_oldcop->cop_warnings ;
1930
1931         if  (old_warnings == pWARN_NONE)
1932             mask = newSVpvn(WARN_NONEstring, WARNsize) ;
1933         else if (old_warnings == pWARN_STD && (PL_dowarn & G_WARN_ON) == 0)
1934             mask = &PL_sv_undef ;
1935         else if (old_warnings == pWARN_ALL ||
1936                   (old_warnings == pWARN_STD && PL_dowarn & G_WARN_ON)) {
1937             /* Get the bit mask for $warnings::Bits{all}, because
1938              * it could have been extended by warnings::register */
1939             SV **bits_all;
1940             HV * const bits = get_hv("warnings::Bits", 0);
1941             if (bits && (bits_all=hv_fetchs(bits, "all", FALSE))) {
1942                 mask = newSVsv(*bits_all);
1943             }
1944             else {
1945                 mask = newSVpvn(WARN_ALLstring, WARNsize) ;
1946             }
1947         }
1948         else
1949             mask = newSVpvn((char *) (old_warnings + 1), old_warnings[0]);
1950         mPUSHs(mask);
1951     }
1952
1953     PUSHs(cx->blk_oldcop->cop_hints_hash ?
1954           sv_2mortal(newRV_noinc(MUTABLE_SV(cop_hints_2hv(cx->blk_oldcop, 0))))
1955           : &PL_sv_undef);
1956     RETURN;
1957 }
1958
1959 PP(pp_reset)
1960 {
1961     dVAR;
1962     dSP;
1963     const char * tmps;
1964     STRLEN len = 0;
1965     if (MAXARG < 1 || (!TOPs && !POPs))
1966         tmps = NULL, len = 0;
1967     else
1968         tmps = SvPVx_const(POPs, len);
1969     sv_resetpvn(tmps, len, CopSTASH(PL_curcop));
1970     PUSHs(&PL_sv_yes);
1971     RETURN;
1972 }
1973
1974 /* like pp_nextstate, but used instead when the debugger is active */
1975
1976 PP(pp_dbstate)
1977 {
1978     dVAR;
1979     PL_curcop = (COP*)PL_op;
1980     TAINT_NOT;          /* Each statement is presumed innocent */
1981     PL_stack_sp = PL_stack_base + cxstack[cxstack_ix].blk_oldsp;
1982     FREETMPS;
1983
1984     PERL_ASYNC_CHECK();
1985
1986     if (PL_op->op_flags & OPf_SPECIAL /* breakpoint */
1987             || SvIV(PL_DBsingle) || SvIV(PL_DBsignal) || SvIV(PL_DBtrace))
1988     {
1989         dSP;
1990         PERL_CONTEXT *cx;
1991         const I32 gimme = G_ARRAY;
1992         U8 hasargs;
1993         GV * const gv = PL_DBgv;
1994         CV * cv = NULL;
1995
1996         if (gv && isGV_with_GP(gv))
1997             cv = GvCV(gv);
1998
1999         if (!cv || (!CvROOT(cv) && !CvXSUB(cv)))
2000             DIE(aTHX_ "No DB::DB routine defined");
2001
2002         if (CvDEPTH(cv) >= 1 && !(PL_debug & DEBUG_DB_RECURSE_FLAG))
2003             /* don't do recursive DB::DB call */
2004             return NORMAL;
2005
2006         ENTER;
2007         SAVETMPS;
2008
2009         SAVEI32(PL_debug);
2010         SAVESTACK_POS();
2011         PL_debug = 0;
2012         hasargs = 0;
2013         SPAGAIN;
2014
2015         if (CvISXSUB(cv)) {
2016             PUSHMARK(SP);
2017             (void)(*CvXSUB(cv))(aTHX_ cv);
2018             FREETMPS;
2019             LEAVE;
2020             return NORMAL;
2021         }
2022         else {
2023             PUSHBLOCK(cx, CXt_SUB, SP);
2024             PUSHSUB_DB(cx);
2025             cx->blk_sub.retop = PL_op->op_next;
2026             CvDEPTH(cv)++;
2027             if (CvDEPTH(cv) >= 2) {
2028                 PERL_STACK_OVERFLOW_CHECK();
2029                 pad_push(CvPADLIST(cv), CvDEPTH(cv));
2030             }
2031             SAVECOMPPAD();
2032             PAD_SET_CUR_NOSAVE(CvPADLIST(cv), CvDEPTH(cv));
2033             RETURNOP(CvSTART(cv));
2034         }
2035     }
2036     else
2037         return NORMAL;
2038 }
2039
2040 STATIC SV **
2041 S_adjust_stack_on_leave(pTHX_ SV **newsp, SV **sp, SV **mark, I32 gimme, U32 flags)
2042 {
2043     bool padtmp = 0;
2044     PERL_ARGS_ASSERT_ADJUST_STACK_ON_LEAVE;
2045
2046     if (flags & SVs_PADTMP) {
2047         flags &= ~SVs_PADTMP;
2048         padtmp = 1;
2049     }
2050     if (gimme == G_SCALAR) {
2051         if (MARK < SP)
2052             *++newsp = ((SvFLAGS(*SP) & flags) || (padtmp && SvPADTMP(*SP)))
2053                             ? *SP : sv_mortalcopy(*SP);
2054         else {
2055             /* MEXTEND() only updates MARK, so reuse it instead of newsp. */
2056             MARK = newsp;
2057             MEXTEND(MARK, 1);
2058             *++MARK = &PL_sv_undef;
2059             return MARK;
2060         }
2061     }
2062     else if (gimme == G_ARRAY) {
2063         /* in case LEAVE wipes old return values */
2064         while (++MARK <= SP) {
2065             if ((SvFLAGS(*MARK) & flags) || (padtmp && SvPADTMP(*MARK)))
2066                 *++newsp = *MARK;
2067             else {
2068                 *++newsp = sv_mortalcopy(*MARK);
2069                 TAINT_NOT;      /* Each item is independent */
2070             }
2071         }
2072         /* When this function was called with MARK == newsp, we reach this
2073          * point with SP == newsp. */
2074     }
2075
2076     return newsp;
2077 }
2078
2079 PP(pp_enter)
2080 {
2081     dVAR; dSP;
2082     PERL_CONTEXT *cx;
2083     I32 gimme = GIMME_V;
2084
2085     ENTER_with_name("block");
2086
2087     SAVETMPS;
2088     PUSHBLOCK(cx, CXt_BLOCK, SP);
2089
2090     RETURN;
2091 }
2092
2093 PP(pp_leave)
2094 {
2095     dVAR; dSP;
2096     PERL_CONTEXT *cx;
2097     SV **newsp;
2098     PMOP *newpm;
2099     I32 gimme;
2100
2101     if (PL_op->op_flags & OPf_SPECIAL) {
2102         cx = &cxstack[cxstack_ix];
2103         cx->blk_oldpm = PL_curpm;       /* fake block should preserve $1 et al */
2104     }
2105
2106     POPBLOCK(cx,newpm);
2107
2108     gimme = OP_GIMME(PL_op, (cxstack_ix >= 0) ? gimme : G_SCALAR);
2109
2110     TAINT_NOT;
2111     SP = adjust_stack_on_leave(newsp, SP, newsp, gimme, SVs_PADTMP|SVs_TEMP);
2112     PL_curpm = newpm;   /* Don't pop $1 et al till now */
2113
2114     LEAVE_with_name("block");
2115
2116     RETURN;
2117 }
2118
2119 PP(pp_enteriter)
2120 {
2121     dVAR; dSP; dMARK;
2122     PERL_CONTEXT *cx;
2123     const I32 gimme = GIMME_V;
2124     void *itervar; /* location of the iteration variable */
2125     U8 cxtype = CXt_LOOP_FOR;
2126
2127     ENTER_with_name("loop1");
2128     SAVETMPS;
2129
2130     if (PL_op->op_targ) {                        /* "my" variable */
2131         if (PL_op->op_private & OPpLVAL_INTRO) {        /* for my $x (...) */
2132             SvPADSTALE_off(PAD_SVl(PL_op->op_targ));
2133             SAVESETSVFLAGS(PAD_SVl(PL_op->op_targ),
2134                     SVs_PADSTALE, SVs_PADSTALE);
2135         }
2136         SAVEPADSVANDMORTALIZE(PL_op->op_targ);
2137 #ifdef USE_ITHREADS
2138         itervar = PL_comppad;
2139 #else
2140         itervar = &PAD_SVl(PL_op->op_targ);
2141 #endif
2142     }
2143     else {                                      /* symbol table variable */
2144         GV * const gv = MUTABLE_GV(POPs);
2145         SV** svp = &GvSV(gv);
2146         save_pushptrptr(gv, SvREFCNT_inc(*svp), SAVEt_GVSV);
2147         *svp = newSV(0);
2148         itervar = (void *)gv;
2149     }
2150
2151     if (PL_op->op_private & OPpITER_DEF)
2152         cxtype |= CXp_FOR_DEF;
2153
2154     ENTER_with_name("loop2");
2155
2156     PUSHBLOCK(cx, cxtype, SP);
2157     PUSHLOOP_FOR(cx, itervar, MARK);
2158     if (PL_op->op_flags & OPf_STACKED) {
2159         SV *maybe_ary = POPs;
2160         if (SvTYPE(maybe_ary) != SVt_PVAV) {
2161             dPOPss;
2162             SV * const right = maybe_ary;
2163             SvGETMAGIC(sv);
2164             SvGETMAGIC(right);
2165             if (RANGE_IS_NUMERIC(sv,right)) {
2166                 cx->cx_type &= ~CXTYPEMASK;
2167                 cx->cx_type |= CXt_LOOP_LAZYIV;
2168                 /* Make sure that no-one re-orders cop.h and breaks our
2169                    assumptions */
2170                 assert(CxTYPE(cx) == CXt_LOOP_LAZYIV);
2171 #ifdef NV_PRESERVES_UV
2172                 if ((SvOK(sv) && ((SvNV_nomg(sv) < (NV)IV_MIN) ||
2173                                   (SvNV_nomg(sv) > (NV)IV_MAX)))
2174                         ||
2175                     (SvOK(right) && ((SvNV_nomg(right) > (NV)IV_MAX) ||
2176                                      (SvNV_nomg(right) < (NV)IV_MIN))))
2177 #else
2178                 if ((SvOK(sv) && ((SvNV_nomg(sv) <= (NV)IV_MIN)
2179                                   ||
2180                                   ((SvNV_nomg(sv) > 0) &&
2181                                         ((SvUV_nomg(sv) > (UV)IV_MAX) ||
2182                                          (SvNV_nomg(sv) > (NV)UV_MAX)))))
2183                         ||
2184                     (SvOK(right) && ((SvNV_nomg(right) <= (NV)IV_MIN)
2185                                      ||
2186                                      ((SvNV_nomg(right) > 0) &&
2187                                         ((SvUV_nomg(right) > (UV)IV_MAX) ||
2188                                          (SvNV_nomg(right) > (NV)UV_MAX))
2189                                      ))))
2190 #endif
2191                     DIE(aTHX_ "Range iterator outside integer range");
2192                 cx->blk_loop.state_u.lazyiv.cur = SvIV_nomg(sv);
2193                 cx->blk_loop.state_u.lazyiv.end = SvIV_nomg(right);
2194 #ifdef DEBUGGING
2195                 /* for correct -Dstv display */
2196                 cx->blk_oldsp = sp - PL_stack_base;
2197 #endif
2198             }
2199             else {
2200                 cx->cx_type &= ~CXTYPEMASK;
2201                 cx->cx_type |= CXt_LOOP_LAZYSV;
2202                 /* Make sure that no-one re-orders cop.h and breaks our
2203                    assumptions */
2204                 assert(CxTYPE(cx) == CXt_LOOP_LAZYSV);
2205                 cx->blk_loop.state_u.lazysv.cur = newSVsv(sv);
2206                 cx->blk_loop.state_u.lazysv.end = right;
2207                 SvREFCNT_inc(right);
2208                 (void) SvPV_force_nolen(cx->blk_loop.state_u.lazysv.cur);
2209                 /* This will do the upgrade to SVt_PV, and warn if the value
2210                    is uninitialised.  */
2211                 (void) SvPV_nolen_const(right);
2212                 /* Doing this avoids a check every time in pp_iter in pp_hot.c
2213                    to replace !SvOK() with a pointer to "".  */
2214                 if (!SvOK(right)) {
2215                     SvREFCNT_dec(right);
2216                     cx->blk_loop.state_u.lazysv.end = &PL_sv_no;
2217                 }
2218             }
2219         }
2220         else /* SvTYPE(maybe_ary) == SVt_PVAV */ {
2221             cx->blk_loop.state_u.ary.ary = MUTABLE_AV(maybe_ary);
2222             SvREFCNT_inc(maybe_ary);
2223             cx->blk_loop.state_u.ary.ix =
2224                 (PL_op->op_private & OPpITER_REVERSED) ?
2225                 AvFILL(cx->blk_loop.state_u.ary.ary) + 1 :
2226                 -1;
2227         }
2228     }
2229     else { /* iterating over items on the stack */
2230         cx->blk_loop.state_u.ary.ary = NULL; /* means to use the stack */
2231         if (PL_op->op_private & OPpITER_REVERSED) {
2232             cx->blk_loop.state_u.ary.ix = cx->blk_oldsp + 1;
2233         }
2234         else {
2235             cx->blk_loop.state_u.ary.ix = MARK - PL_stack_base;
2236         }
2237     }
2238
2239     RETURN;
2240 }
2241
2242 PP(pp_enterloop)
2243 {
2244     dVAR; dSP;
2245     PERL_CONTEXT *cx;
2246     const I32 gimme = GIMME_V;
2247
2248     ENTER_with_name("loop1");
2249     SAVETMPS;
2250     ENTER_with_name("loop2");
2251
2252     PUSHBLOCK(cx, CXt_LOOP_PLAIN, SP);
2253     PUSHLOOP_PLAIN(cx, SP);
2254
2255     RETURN;
2256 }
2257
2258 PP(pp_leaveloop)
2259 {
2260     dVAR; dSP;
2261     PERL_CONTEXT *cx;
2262     I32 gimme;
2263     SV **newsp;
2264     PMOP *newpm;
2265     SV **mark;
2266
2267     POPBLOCK(cx,newpm);
2268     assert(CxTYPE_is_LOOP(cx));
2269     mark = newsp;
2270     newsp = PL_stack_base + cx->blk_loop.resetsp;
2271
2272     TAINT_NOT;
2273     SP = adjust_stack_on_leave(newsp, SP, MARK, gimme, 0);
2274     PUTBACK;
2275
2276     POPLOOP(cx);        /* Stack values are safe: release loop vars ... */
2277     PL_curpm = newpm;   /* ... and pop $1 et al */
2278
2279     LEAVE_with_name("loop2");
2280     LEAVE_with_name("loop1");
2281
2282     return NORMAL;
2283 }
2284
2285 STATIC void
2286 S_return_lvalues(pTHX_ SV **mark, SV **sp, SV **newsp, I32 gimme,
2287                        PERL_CONTEXT *cx, PMOP *newpm)
2288 {
2289     const bool ref = !!(CxLVAL(cx) & OPpENTERSUB_INARGS);
2290     if (gimme == G_SCALAR) {
2291         if (CxLVAL(cx) && !ref) {     /* Leave it as it is if we can. */
2292             SV *sv;
2293             const char *what = NULL;
2294             if (MARK < SP) {
2295                 assert(MARK+1 == SP);
2296                 if ((SvPADTMP(TOPs) ||
2297                      (SvFLAGS(TOPs) & (SVf_READONLY | SVf_FAKE))
2298                        == SVf_READONLY
2299                     ) &&
2300                     !SvSMAGICAL(TOPs)) {
2301                     what =
2302                         SvREADONLY(TOPs) ? (TOPs == &PL_sv_undef) ? "undef"
2303                         : "a readonly value" : "a temporary";
2304                 }
2305                 else goto copy_sv;
2306             }
2307             else {
2308                 /* sub:lvalue{} will take us here. */
2309                 what = "undef";
2310             }
2311             LEAVE;
2312             cxstack_ix--;
2313             POPSUB(cx,sv);
2314             PL_curpm = newpm;
2315             LEAVESUB(sv);
2316             Perl_croak(aTHX_
2317                       "Can't return %s from lvalue subroutine", what
2318             );
2319         }
2320         if (MARK < SP) {
2321               copy_sv:
2322                 if (cx->blk_sub.cv && CvDEPTH(cx->blk_sub.cv) > 1) {
2323                     if (!SvPADTMP(*SP)) {
2324                         *++newsp = SvREFCNT_inc(*SP);
2325                         FREETMPS;
2326                         sv_2mortal(*newsp);
2327                     }
2328                     else {
2329                         /* FREETMPS could clobber it */
2330                         SV *sv = SvREFCNT_inc(*SP);
2331                         FREETMPS;
2332                         *++newsp = sv_mortalcopy(sv);
2333                         SvREFCNT_dec(sv);
2334                     }
2335                 }
2336                 else
2337                     *++newsp =
2338                       SvPADTMP(*SP)
2339                        ? sv_mortalcopy(*SP)
2340                        : !SvTEMP(*SP)
2341                           ? sv_2mortal(SvREFCNT_inc_simple_NN(*SP))
2342                           : *SP;
2343         }
2344         else {
2345             EXTEND(newsp,1);
2346             *++newsp = &PL_sv_undef;
2347         }
2348         if (CxLVAL(cx) & OPpDEREF) {
2349             SvGETMAGIC(TOPs);
2350             if (!SvOK(TOPs)) {
2351                 TOPs = vivify_ref(TOPs, CxLVAL(cx) & OPpDEREF);
2352             }
2353         }
2354     }
2355     else if (gimme == G_ARRAY) {
2356         assert (!(CxLVAL(cx) & OPpDEREF));
2357         if (ref || !CxLVAL(cx))
2358             while (++MARK <= SP)
2359                 *++newsp =
2360                        SvFLAGS(*MARK) & SVs_PADTMP
2361                            ? sv_mortalcopy(*MARK)
2362                      : SvTEMP(*MARK)
2363                            ? *MARK
2364                            : sv_2mortal(SvREFCNT_inc_simple_NN(*MARK));
2365         else while (++MARK <= SP) {
2366             if (*MARK != &PL_sv_undef
2367                     && (SvPADTMP(*MARK)
2368                        || (SvFLAGS(*MARK) & (SVf_READONLY|SVf_FAKE))
2369                              == SVf_READONLY
2370                        )
2371             ) {
2372                     SV *sv;
2373                     /* Might be flattened array after $#array =  */
2374                     PUTBACK;
2375                     LEAVE;
2376                     cxstack_ix--;
2377                     POPSUB(cx,sv);
2378                     PL_curpm = newpm;
2379                     LEAVESUB(sv);
2380                /* diag_listed_as: Can't return %s from lvalue subroutine */
2381                     Perl_croak(aTHX_
2382                         "Can't return a %s from lvalue subroutine",
2383                         SvREADONLY(TOPs) ? "readonly value" : "temporary");
2384             }
2385             else
2386                 *++newsp =
2387                     SvTEMP(*MARK)
2388                        ? *MARK
2389                        : sv_2mortal(SvREFCNT_inc_simple_NN(*MARK));
2390         }
2391     }
2392     PL_stack_sp = newsp;
2393 }
2394
2395 PP(pp_return)
2396 {
2397     dVAR; dSP; dMARK;
2398     PERL_CONTEXT *cx;
2399     bool popsub2 = FALSE;
2400     bool clear_errsv = FALSE;
2401     bool lval = FALSE;
2402     I32 gimme;
2403     SV **newsp;
2404     PMOP *newpm;
2405     I32 optype = 0;
2406     SV *namesv;
2407     SV *sv;
2408     OP *retop = NULL;
2409
2410     const I32 cxix = dopoptosub(cxstack_ix);
2411
2412     if (cxix < 0) {
2413         if (CxMULTICALL(cxstack)) { /* In this case we must be in a
2414                                      * sort block, which is a CXt_NULL
2415                                      * not a CXt_SUB */
2416             dounwind(0);
2417             PL_stack_base[1] = *PL_stack_sp;
2418             PL_stack_sp = PL_stack_base + 1;
2419             return 0;
2420         }
2421         else
2422             DIE(aTHX_ "Can't return outside a subroutine");
2423     }
2424     if (cxix < cxstack_ix)
2425         dounwind(cxix);
2426
2427     if (CxMULTICALL(&cxstack[cxix])) {
2428         gimme = cxstack[cxix].blk_gimme;
2429         if (gimme == G_VOID)
2430             PL_stack_sp = PL_stack_base;
2431         else if (gimme == G_SCALAR) {
2432             PL_stack_base[1] = *PL_stack_sp;
2433             PL_stack_sp = PL_stack_base + 1;
2434         }
2435         return 0;
2436     }
2437
2438     POPBLOCK(cx,newpm);
2439     switch (CxTYPE(cx)) {
2440     case CXt_SUB:
2441         popsub2 = TRUE;
2442         lval = !!CvLVALUE(cx->blk_sub.cv);
2443         retop = cx->blk_sub.retop;
2444         cxstack_ix++; /* preserve cx entry on stack for use by POPSUB */
2445         break;
2446     case CXt_EVAL:
2447         if (!(PL_in_eval & EVAL_KEEPERR))
2448             clear_errsv = TRUE;
2449         POPEVAL(cx);
2450         namesv = cx->blk_eval.old_namesv;
2451         retop = cx->blk_eval.retop;
2452         if (CxTRYBLOCK(cx))
2453             break;
2454         if (optype == OP_REQUIRE &&
2455             (MARK == SP || (gimme == G_SCALAR && !SvTRUE(*SP))) )
2456         {
2457             /* Unassume the success we assumed earlier. */
2458             (void)hv_delete(GvHVn(PL_incgv),
2459                             SvPVX_const(namesv),
2460                             SvUTF8(namesv) ? -(I32)SvCUR(namesv) : (I32)SvCUR(namesv),
2461                             G_DISCARD);
2462             DIE(aTHX_ "%"SVf" did not return a true value", SVfARG(namesv));
2463         }
2464         break;
2465     case CXt_FORMAT:
2466         POPFORMAT(cx);
2467         retop = cx->blk_sub.retop;
2468         break;
2469     default:
2470         DIE(aTHX_ "panic: return, type=%u", (unsigned) CxTYPE(cx));
2471     }
2472
2473     TAINT_NOT;
2474     if (lval) S_return_lvalues(aTHX_ MARK, SP, newsp, gimme, cx, newpm);
2475     else {
2476       if (gimme == G_SCALAR) {
2477         if (MARK < SP) {
2478             if (popsub2) {
2479                 if (cx->blk_sub.cv && CvDEPTH(cx->blk_sub.cv) > 1) {
2480                     if (SvTEMP(TOPs) && SvREFCNT(TOPs) == 1
2481                          && !SvMAGICAL(TOPs)) {
2482                         *++newsp = SvREFCNT_inc(*SP);
2483                         FREETMPS;
2484                         sv_2mortal(*newsp);
2485                     }
2486                     else {
2487                         sv = SvREFCNT_inc(*SP); /* FREETMPS could clobber it */
2488                         FREETMPS;
2489                         *++newsp = sv_mortalcopy(sv);
2490                         SvREFCNT_dec(sv);
2491                     }
2492                 }
2493                 else if (SvTEMP(*SP) && SvREFCNT(*SP) == 1
2494                           && !SvMAGICAL(*SP)) {
2495                     *++newsp = *SP;
2496                 }
2497                 else
2498                     *++newsp = sv_mortalcopy(*SP);
2499             }
2500             else
2501                 *++newsp = sv_mortalcopy(*SP);
2502         }
2503         else
2504             *++newsp = &PL_sv_undef;
2505       }
2506       else if (gimme == G_ARRAY) {
2507         while (++MARK <= SP) {
2508             *++newsp = popsub2 && SvTEMP(*MARK) && SvREFCNT(*MARK) == 1
2509                                && !SvGMAGICAL(*MARK)
2510                         ? *MARK : sv_mortalcopy(*MARK);
2511             TAINT_NOT;          /* Each item is independent */
2512         }
2513       }
2514       PL_stack_sp = newsp;
2515     }
2516
2517     LEAVE;
2518     /* Stack values are safe: */
2519     if (popsub2) {
2520         cxstack_ix--;
2521         POPSUB(cx,sv);  /* release CV and @_ ... */
2522     }
2523     else
2524         sv = NULL;
2525     PL_curpm = newpm;   /* ... and pop $1 et al */
2526
2527     LEAVESUB(sv);
2528     if (clear_errsv) {
2529         CLEAR_ERRSV();
2530     }
2531     return retop;
2532 }
2533
2534 /* This duplicates parts of pp_leavesub, so that it can share code with
2535  * pp_return */
2536 PP(pp_leavesublv)
2537 {
2538     dVAR; dSP;
2539     SV **newsp;
2540     PMOP *newpm;
2541     I32 gimme;
2542     PERL_CONTEXT *cx;
2543     SV *sv;
2544
2545     if (CxMULTICALL(&cxstack[cxstack_ix]))
2546         return 0;
2547
2548     POPBLOCK(cx,newpm);
2549     cxstack_ix++; /* temporarily protect top context */
2550
2551     TAINT_NOT;
2552
2553     S_return_lvalues(aTHX_ newsp, SP, newsp, gimme, cx, newpm);
2554
2555     LEAVE;
2556     cxstack_ix--;
2557     POPSUB(cx,sv);      /* Stack values are safe: release CV and @_ ... */
2558     PL_curpm = newpm;   /* ... and pop $1 et al */
2559
2560     LEAVESUB(sv);
2561     return cx->blk_sub.retop;
2562 }
2563
2564 static I32
2565 S_unwind_loop(pTHX_ const char * const opname)
2566 {
2567     dVAR;
2568     I32 cxix;
2569     if (PL_op->op_flags & OPf_SPECIAL) {
2570         cxix = dopoptoloop(cxstack_ix);
2571         if (cxix < 0)
2572             /* diag_listed_as: Can't "last" outside a loop block */
2573             Perl_croak(aTHX_ "Can't \"%s\" outside a loop block", opname);
2574     }
2575     else {
2576         dSP;
2577         STRLEN label_len;
2578         const char * const label =
2579             PL_op->op_flags & OPf_STACKED
2580                 ? SvPV(TOPs,label_len)
2581                 : (label_len = strlen(cPVOP->op_pv), cPVOP->op_pv);
2582         const U32 label_flags =
2583             PL_op->op_flags & OPf_STACKED
2584                 ? SvUTF8(POPs)
2585                 : (cPVOP->op_private & OPpPV_IS_UTF8) ? SVf_UTF8 : 0;
2586         PUTBACK;
2587         cxix = dopoptolabel(label, label_len, label_flags);
2588         if (cxix < 0)
2589             /* diag_listed_as: Label not found for "last %s" */
2590             Perl_croak(aTHX_ "Label not found for \"%s %"SVf"\"",
2591                                        opname,
2592                                        SVfARG(PL_op->op_flags & OPf_STACKED
2593                                               && !SvGMAGICAL(TOPp1s)
2594                                               ? TOPp1s
2595                                               : newSVpvn_flags(label,
2596                                                     label_len,
2597                                                     label_flags | SVs_TEMP)));
2598     }
2599     if (cxix < cxstack_ix)
2600         dounwind(cxix);
2601     return cxix;
2602 }
2603
2604 PP(pp_last)
2605 {
2606     dVAR;
2607     PERL_CONTEXT *cx;
2608     I32 pop2 = 0;
2609     I32 gimme;
2610     I32 optype;
2611     OP *nextop = NULL;
2612     SV **newsp;
2613     PMOP *newpm;
2614     SV **mark;
2615     SV *sv = NULL;
2616
2617     S_unwind_loop(aTHX_ "last");
2618
2619     POPBLOCK(cx,newpm);
2620     cxstack_ix++; /* temporarily protect top context */
2621     mark = newsp;
2622     switch (CxTYPE(cx)) {
2623     case CXt_LOOP_LAZYIV:
2624     case CXt_LOOP_LAZYSV:
2625     case CXt_LOOP_FOR:
2626     case CXt_LOOP_PLAIN:
2627         pop2 = CxTYPE(cx);
2628         newsp = PL_stack_base + cx->blk_loop.resetsp;
2629         nextop = cx->blk_loop.my_op->op_lastop->op_next;
2630         break;
2631     case CXt_SUB:
2632         pop2 = CXt_SUB;
2633         nextop = cx->blk_sub.retop;
2634         break;
2635     case CXt_EVAL:
2636         POPEVAL(cx);
2637         nextop = cx->blk_eval.retop;
2638         break;
2639     case CXt_FORMAT:
2640         POPFORMAT(cx);
2641         nextop = cx->blk_sub.retop;
2642         break;
2643     default:
2644         DIE(aTHX_ "panic: last, type=%u", (unsigned) CxTYPE(cx));
2645     }
2646
2647     TAINT_NOT;
2648     PL_stack_sp = adjust_stack_on_leave(newsp, PL_stack_sp, MARK, gimme,
2649                                 pop2 == CXt_SUB ? SVs_TEMP : 0);
2650
2651     LEAVE;
2652     cxstack_ix--;
2653     /* Stack values are safe: */
2654     switch (pop2) {
2655     case CXt_LOOP_LAZYIV:
2656     case CXt_LOOP_PLAIN:
2657     case CXt_LOOP_LAZYSV:
2658     case CXt_LOOP_FOR:
2659         POPLOOP(cx);    /* release loop vars ... */
2660         LEAVE;
2661         break;
2662     case CXt_SUB:
2663         POPSUB(cx,sv);  /* release CV and @_ ... */
2664         break;
2665     }
2666     PL_curpm = newpm;   /* ... and pop $1 et al */
2667
2668     LEAVESUB(sv);
2669     PERL_UNUSED_VAR(optype);
2670     PERL_UNUSED_VAR(gimme);
2671     return nextop;
2672 }
2673
2674 PP(pp_next)
2675 {
2676     dVAR;
2677     PERL_CONTEXT *cx;
2678     const I32 inner = PL_scopestack_ix;
2679
2680     S_unwind_loop(aTHX_ "next");
2681
2682     /* clear off anything above the scope we're re-entering, but
2683      * save the rest until after a possible continue block */
2684     TOPBLOCK(cx);
2685     if (PL_scopestack_ix < inner)
2686         leave_scope(PL_scopestack[PL_scopestack_ix]);
2687     PL_curcop = cx->blk_oldcop;
2688     return (cx)->blk_loop.my_op->op_nextop;
2689 }
2690
2691 PP(pp_redo)
2692 {
2693     dVAR;
2694     const I32 cxix = S_unwind_loop(aTHX_ "redo");
2695     PERL_CONTEXT *cx;
2696     I32 oldsave;
2697     OP* redo_op = cxstack[cxix].blk_loop.my_op->op_redoop;
2698
2699     if (redo_op->op_type == OP_ENTER) {
2700         /* pop one less context to avoid $x being freed in while (my $x..) */
2701         cxstack_ix++;
2702         assert(CxTYPE(&cxstack[cxstack_ix]) == CXt_BLOCK);
2703         redo_op = redo_op->op_next;
2704     }
2705
2706     TOPBLOCK(cx);
2707     oldsave = PL_scopestack[PL_scopestack_ix - 1];
2708     LEAVE_SCOPE(oldsave);
2709     FREETMPS;
2710     PL_curcop = cx->blk_oldcop;
2711     return redo_op;
2712 }
2713
2714 STATIC OP *
2715 S_dofindlabel(pTHX_ OP *o, const char *label, STRLEN len, U32 flags, OP **opstack, OP **oplimit)
2716 {
2717     dVAR;
2718     OP **ops = opstack;
2719     static const char* const too_deep = "Target of goto is too deeply nested";
2720
2721     PERL_ARGS_ASSERT_DOFINDLABEL;
2722
2723     if (ops >= oplimit)
2724         Perl_croak(aTHX_ too_deep);
2725     if (o->op_type == OP_LEAVE ||
2726         o->op_type == OP_SCOPE ||
2727         o->op_type == OP_LEAVELOOP ||
2728         o->op_type == OP_LEAVESUB ||
2729         o->op_type == OP_LEAVETRY)
2730     {
2731         *ops++ = cUNOPo->op_first;
2732         if (ops >= oplimit)
2733             Perl_croak(aTHX_ too_deep);
2734     }
2735     *ops = 0;
2736     if (o->op_flags & OPf_KIDS) {
2737         OP *kid;
2738         /* First try all the kids at this level, since that's likeliest. */
2739         for (kid = cUNOPo->op_first; kid; kid = kid->op_sibling) {
2740             if (kid->op_type == OP_NEXTSTATE || kid->op_type == OP_DBSTATE) {
2741                 STRLEN kid_label_len;
2742                 U32 kid_label_flags;
2743                 const char *kid_label = CopLABEL_len_flags(kCOP,
2744                                                     &kid_label_len, &kid_label_flags);
2745                 if (kid_label && (
2746                     ( (kid_label_flags & SVf_UTF8) != (flags & SVf_UTF8) ) ?
2747                         (flags & SVf_UTF8)
2748                             ? (bytes_cmp_utf8(
2749                                         (const U8*)kid_label, kid_label_len,
2750                                         (const U8*)label, len) == 0)
2751                             : (bytes_cmp_utf8(
2752                                         (const U8*)label, len,
2753                                         (const U8*)kid_label, kid_label_len) == 0)
2754                     : ( len == kid_label_len && ((kid_label == label)
2755                                     || memEQ(kid_label, label, len)))))
2756                     return kid;
2757             }
2758         }
2759         for (kid = cUNOPo->op_first; kid; kid = kid->op_sibling) {
2760             if (kid == PL_lastgotoprobe)
2761                 continue;
2762             if (kid->op_type == OP_NEXTSTATE || kid->op_type == OP_DBSTATE) {
2763                 if (ops == opstack)
2764                     *ops++ = kid;
2765                 else if (ops[-1]->op_type == OP_NEXTSTATE ||
2766                          ops[-1]->op_type == OP_DBSTATE)
2767                     ops[-1] = kid;
2768                 else
2769                     *ops++ = kid;
2770             }
2771             if ((o = dofindlabel(kid, label, len, flags, ops, oplimit)))
2772                 return o;
2773         }
2774     }
2775     *ops = 0;
2776     return 0;
2777 }
2778
2779 PP(pp_goto)
2780 {
2781     dVAR; dSP;
2782     OP *retop = NULL;
2783     I32 ix;
2784     PERL_CONTEXT *cx;
2785 #define GOTO_DEPTH 64
2786     OP *enterops[GOTO_DEPTH];
2787     const char *label = NULL;
2788     STRLEN label_len = 0;
2789     U32 label_flags = 0;
2790     const bool do_dump = (PL_op->op_type == OP_DUMP);
2791     static const char* const must_have_label = "goto must have label";
2792
2793     if (PL_op->op_flags & OPf_STACKED) {
2794         SV * const sv = POPs;
2795         SvGETMAGIC(sv);
2796
2797         /* This egregious kludge implements goto &subroutine */
2798         if (SvROK(sv) && SvTYPE(SvRV(sv)) == SVt_PVCV) {
2799             I32 cxix;
2800             PERL_CONTEXT *cx;
2801             CV *cv = MUTABLE_CV(SvRV(sv));
2802             AV *arg = GvAV(PL_defgv);
2803             I32 oldsave;
2804
2805         retry:
2806             if (!CvROOT(cv) && !CvXSUB(cv)) {
2807                 const GV * const gv = CvGV(cv);
2808                 if (gv) {
2809                     GV *autogv;
2810                     SV *tmpstr;
2811                     /* autoloaded stub? */
2812                     if (cv != GvCV(gv) && (cv = GvCV(gv)))
2813                         goto retry;
2814                     autogv = gv_autoload_pvn(GvSTASH(gv), GvNAME(gv),
2815                                           GvNAMELEN(gv),
2816                                           GvNAMEUTF8(gv) ? SVf_UTF8 : 0);
2817                     if (autogv && (cv = GvCV(autogv)))
2818                         goto retry;
2819                     tmpstr = sv_newmortal();
2820                     gv_efullname3(tmpstr, gv, NULL);
2821                     DIE(aTHX_ "Goto undefined subroutine &%"SVf"", SVfARG(tmpstr));
2822                 }
2823                 DIE(aTHX_ "Goto undefined subroutine");
2824             }
2825
2826             /* First do some returnish stuff. */
2827             SvREFCNT_inc_simple_void(cv); /* avoid premature free during unwind */
2828             FREETMPS;
2829             cxix = dopoptosub(cxstack_ix);
2830             if (cxix < cxstack_ix) {
2831                 if (cxix < 0) {
2832                     SvREFCNT_dec(cv);
2833                     DIE(aTHX_ "Can't goto subroutine outside a subroutine");
2834                 }
2835                 dounwind(cxix);
2836             }
2837             TOPBLOCK(cx);
2838             SPAGAIN;
2839             /* ban goto in eval: see <20050521150056.GC20213@iabyn.com> */
2840             if (CxTYPE(cx) == CXt_EVAL) {
2841                 SvREFCNT_dec(cv);
2842                 if (CxREALEVAL(cx))
2843                 /* diag_listed_as: Can't goto subroutine from an eval-%s */
2844                     DIE(aTHX_ "Can't goto subroutine from an eval-string");
2845                 else
2846                 /* diag_listed_as: Can't goto subroutine from an eval-%s */
2847                     DIE(aTHX_ "Can't goto subroutine from an eval-block");
2848             }
2849             else if (CxMULTICALL(cx))
2850             {
2851                 SvREFCNT_dec(cv);
2852                 DIE(aTHX_ "Can't goto subroutine from a sort sub (or similar callback)");
2853             }
2854             if (CxTYPE(cx) == CXt_SUB && CxHASARGS(cx)) {
2855                 AV* av = cx->blk_sub.argarray;
2856
2857                 /* abandon the original @_ if it got reified or if it is
2858                    the same as the current @_ */
2859                 if (AvREAL(av) || av == arg) {
2860                     SvREFCNT_dec(av);
2861                     av = newAV();
2862                     AvREIFY_only(av);
2863                     PAD_SVl(0) = MUTABLE_SV(cx->blk_sub.argarray = av);
2864                 }
2865                 else CLEAR_ARGARRAY(av);
2866             }
2867             /* We donate this refcount later to the callee’s pad. */
2868             SvREFCNT_inc_simple_void(arg);
2869             if (CxTYPE(cx) == CXt_SUB &&
2870                 !(CvDEPTH(cx->blk_sub.cv) = cx->blk_sub.olddepth))
2871                 SvREFCNT_dec(cx->blk_sub.cv);
2872             oldsave = PL_scopestack[PL_scopestack_ix - 1];
2873             LEAVE_SCOPE(oldsave);
2874
2875             /* A destructor called during LEAVE_SCOPE could have undefined
2876              * our precious cv.  See bug #99850. */
2877             if (!CvROOT(cv) && !CvXSUB(cv)) {
2878                 const GV * const gv = CvGV(cv);
2879                 SvREFCNT_dec(arg);
2880                 if (gv) {
2881                     SV * const tmpstr = sv_newmortal();
2882                     gv_efullname3(tmpstr, gv, NULL);
2883                     DIE(aTHX_ "Goto undefined subroutine &%"SVf"",
2884                                SVfARG(tmpstr));
2885                 }
2886                 DIE(aTHX_ "Goto undefined subroutine");
2887             }
2888
2889             /* Now do some callish stuff. */
2890             SAVETMPS;
2891             SAVEFREESV(cv); /* later, undo the 'avoid premature free' hack */
2892             if (CvISXSUB(cv)) {
2893                 OP* const retop = cx->blk_sub.retop;
2894                 SV **newsp;
2895                 I32 gimme;
2896                 const SSize_t items = AvFILLp(arg) + 1;
2897                 SV** mark;
2898
2899                 PERL_UNUSED_VAR(newsp);
2900                 PERL_UNUSED_VAR(gimme);
2901
2902                 /* put GvAV(defgv) back onto stack */
2903                 EXTEND(SP, items+1); /* @_ could have been extended. */
2904                 Copy(AvARRAY(arg), SP + 1, items, SV*);
2905                 mark = SP;
2906                 SP += items;
2907                 if (AvREAL(arg)) {
2908                     I32 index;
2909                     for (index=0; index<items; index++)
2910                         SvREFCNT_inc_void(sv_2mortal(SP[-index]));
2911                 }
2912                 SvREFCNT_dec(arg);
2913                 if (CxTYPE(cx) == CXt_SUB && CxHASARGS(cx)) {
2914                     /* Restore old @_ */
2915                     arg = GvAV(PL_defgv);
2916                     GvAV(PL_defgv) = cx->blk_sub.savearray;
2917                     SvREFCNT_dec(arg);
2918                 }
2919
2920                 /* XS subs don't have a CxSUB, so pop it */
2921                 POPBLOCK(cx, PL_curpm);
2922                 /* Push a mark for the start of arglist */
2923                 PUSHMARK(mark);
2924                 PUTBACK;
2925                 (void)(*CvXSUB(cv))(aTHX_ cv);
2926                 LEAVE;
2927                 return retop;
2928             }
2929             else {
2930                 PADLIST * const padlist = CvPADLIST(cv);
2931                 cx->blk_sub.cv = cv;
2932                 cx->blk_sub.olddepth = CvDEPTH(cv);
2933
2934                 CvDEPTH(cv)++;
2935                 if (CvDEPTH(cv) < 2)
2936                     SvREFCNT_inc_simple_void_NN(cv);
2937                 else {
2938                     if (CvDEPTH(cv) == PERL_SUB_DEPTH_WARN && ckWARN(WARN_RECURSION))
2939                         sub_crush_depth(cv);
2940                     pad_push(padlist, CvDEPTH(cv));
2941                 }
2942                 PL_curcop = cx->blk_oldcop;
2943                 SAVECOMPPAD();
2944                 PAD_SET_CUR_NOSAVE(padlist, CvDEPTH(cv));
2945                 if (CxHASARGS(cx))
2946                 {
2947                     CX_CURPAD_SAVE(cx->blk_sub);
2948
2949                     /* cx->blk_sub.argarray has no reference count, so we
2950                        need something to hang on to our argument array so
2951                        that cx->blk_sub.argarray does not end up pointing
2952                        to freed memory as the result of undef *_.  So put
2953                        it in the callee’s pad, donating our refer-
2954                        ence count. */
2955                     SvREFCNT_dec(PAD_SVl(0));
2956                     PAD_SVl(0) = (SV *)(cx->blk_sub.argarray = arg);
2957
2958                     /* GvAV(PL_defgv) might have been modified on scope
2959                        exit, so restore it. */
2960                     if (arg != GvAV(PL_defgv)) {
2961                         AV * const av = GvAV(PL_defgv);
2962                         GvAV(PL_defgv) = (AV *)SvREFCNT_inc_simple(arg);
2963                         SvREFCNT_dec(av);
2964                     }
2965                 }
2966                 else SvREFCNT_dec(arg);
2967                 if (PERLDB_SUB) {       /* Checking curstash breaks DProf. */
2968                     Perl_get_db_sub(aTHX_ NULL, cv);
2969                     if (PERLDB_GOTO) {
2970                         CV * const gotocv = get_cvs("DB::goto", 0);
2971                         if (gotocv) {
2972                             PUSHMARK( PL_stack_sp );
2973                             call_sv(MUTABLE_SV(gotocv), G_SCALAR | G_NODEBUG);
2974                             PL_stack_sp--;
2975                         }
2976                     }
2977                 }
2978                 RETURNOP(CvSTART(cv));
2979             }
2980         }
2981         else {
2982             label       = SvPV_nomg_const(sv, label_len);
2983             label_flags = SvUTF8(sv);
2984         }
2985     }
2986     else if (!(PL_op->op_flags & OPf_SPECIAL)) {
2987         label       = cPVOP->op_pv;
2988         label_flags = (cPVOP->op_private & OPpPV_IS_UTF8) ? SVf_UTF8 : 0;
2989         label_len   = strlen(label);
2990     }
2991     if (!(do_dump || label_len)) DIE(aTHX_ must_have_label);
2992
2993     PERL_ASYNC_CHECK();
2994
2995     if (label_len) {
2996         OP *gotoprobe = NULL;
2997         bool leaving_eval = FALSE;
2998         bool in_block = FALSE;
2999         PERL_CONTEXT *last_eval_cx = NULL;
3000
3001         /* find label */
3002
3003         PL_lastgotoprobe = NULL;
3004         *enterops = 0;
3005         for (ix = cxstack_ix; ix >= 0; ix--) {
3006             cx = &cxstack[ix];
3007             switch (CxTYPE(cx)) {
3008             case CXt_EVAL:
3009                 leaving_eval = TRUE;
3010                 if (!CxTRYBLOCK(cx)) {
3011                     gotoprobe = (last_eval_cx ?
3012                                 last_eval_cx->blk_eval.old_eval_root :
3013                                 PL_eval_root);
3014                     last_eval_cx = cx;
3015                     break;
3016                 }
3017                 /* else fall through */
3018             case CXt_LOOP_LAZYIV:
3019             case CXt_LOOP_LAZYSV:
3020             case CXt_LOOP_FOR:
3021             case CXt_LOOP_PLAIN:
3022             case CXt_GIVEN:
3023             case CXt_WHEN:
3024                 gotoprobe = cx->blk_oldcop->op_sibling;
3025                 break;
3026             case CXt_SUBST:
3027                 continue;
3028             case CXt_BLOCK:
3029                 if (ix) {
3030                     gotoprobe = cx->blk_oldcop->op_sibling;
3031                     in_block = TRUE;
3032                 } else
3033                     gotoprobe = PL_main_root;
3034                 break;
3035             case CXt_SUB:
3036                 if (CvDEPTH(cx->blk_sub.cv) && !CxMULTICALL(cx)) {
3037                     gotoprobe = CvROOT(cx->blk_sub.cv);
3038                     break;
3039                 }
3040                 /* FALL THROUGH */
3041             case CXt_FORMAT:
3042             case CXt_NULL:
3043                 DIE(aTHX_ "Can't \"goto\" out of a pseudo block");
3044             default:
3045                 if (ix)
3046                     DIE(aTHX_ "panic: goto, type=%u, ix=%ld",
3047                         CxTYPE(cx), (long) ix);
3048                 gotoprobe = PL_main_root;
3049                 break;
3050             }
3051             if (gotoprobe) {
3052                 retop = dofindlabel(gotoprobe, label, label_len, label_flags,
3053                                     enterops, enterops + GOTO_DEPTH);
3054                 if (retop)
3055                     break;
3056                 if (gotoprobe->op_sibling &&
3057                         gotoprobe->op_sibling->op_type == OP_UNSTACK &&
3058                         gotoprobe->op_sibling->op_sibling) {
3059                     retop = dofindlabel(gotoprobe->op_sibling->op_sibling,
3060                                         label, label_len, label_flags, enterops,
3061                                         enterops + GOTO_DEPTH);
3062                     if (retop)
3063                         break;
3064                 }
3065             }
3066             PL_lastgotoprobe = gotoprobe;
3067         }
3068         if (!retop)
3069             DIE(aTHX_ "Can't find label %"SVf,
3070                             SVfARG(newSVpvn_flags(label, label_len,
3071                                         SVs_TEMP | label_flags)));
3072
3073         /* if we're leaving an eval, check before we pop any frames
3074            that we're not going to punt, otherwise the error
3075            won't be caught */
3076
3077         if (leaving_eval && *enterops && enterops[1]) {
3078             I32 i;
3079             for (i = 1; enterops[i]; i++)
3080                 if (enterops[i]->op_type == OP_ENTERITER)
3081                     DIE(aTHX_ "Can't \"goto\" into the middle of a foreach loop");
3082         }
3083
3084         if (*enterops && enterops[1]) {
3085             I32 i = enterops[1]->op_type == OP_ENTER && in_block ? 2 : 1;
3086             if (enterops[i])
3087                 deprecate("\"goto\" to jump into a construct");
3088         }
3089
3090         /* pop unwanted frames */
3091
3092         if (ix < cxstack_ix) {
3093             I32 oldsave;
3094
3095             if (ix < 0)
3096                 ix = 0;
3097             dounwind(ix);
3098             TOPBLOCK(cx);
3099             oldsave = PL_scopestack[PL_scopestack_ix];
3100             LEAVE_SCOPE(oldsave);
3101         }
3102
3103         /* push wanted frames */
3104
3105         if (*enterops && enterops[1]) {
3106             OP * const oldop = PL_op;
3107             ix = enterops[1]->op_type == OP_ENTER && in_block ? 2 : 1;
3108             for (; enterops[ix]; ix++) {
3109                 PL_op = enterops[ix];
3110                 /* Eventually we may want to stack the needed arguments
3111                  * for each op.  For now, we punt on the hard ones. */
3112                 if (PL_op->op_type == OP_ENTERITER)
3113                     DIE(aTHX_ "Can't \"goto\" into the middle of a foreach loop");
3114                 PL_op->op_ppaddr(aTHX);
3115             }
3116             PL_op = oldop;
3117         }
3118     }
3119
3120     if (do_dump) {
3121 #ifdef VMS
3122         if (!retop) retop = PL_main_start;
3123 #endif
3124         PL_restartop = retop;
3125         PL_do_undump = TRUE;
3126
3127         my_unexec();
3128
3129         PL_restartop = 0;               /* hmm, must be GNU unexec().. */
3130         PL_do_undump = FALSE;
3131     }
3132
3133     RETURNOP(retop);
3134 }
3135
3136 PP(pp_exit)
3137 {
3138     dVAR;
3139     dSP;
3140     I32 anum;
3141
3142     if (MAXARG < 1)
3143         anum = 0;
3144     else if (!TOPs) {
3145         anum = 0; (void)POPs;
3146     }
3147     else {
3148         anum = SvIVx(POPs);
3149 #ifdef VMS
3150         if (anum == 1 && (PL_op->op_private & OPpEXIT_VMSISH))
3151             anum = 0;
3152         VMSISH_HUSHED  = VMSISH_HUSHED || (PL_op->op_private & OPpHUSH_VMSISH);
3153 #endif
3154     }
3155     PL_exit_flags |= PERL_EXIT_EXPECTED;
3156 #ifdef PERL_MAD
3157     /* KLUDGE: disable exit 0 in BEGIN blocks when we're just compiling */
3158     if (anum || !(PL_minus_c && PL_madskills))
3159         my_exit(anum);
3160 #else
3161     my_exit(anum);
3162 #endif
3163     PUSHs(&PL_sv_undef);
3164     RETURN;
3165 }
3166
3167 /* Eval. */
3168
3169 STATIC void
3170 S_save_lines(pTHX_ AV *array, SV *sv)
3171 {
3172     const char *s = SvPVX_const(sv);
3173     const char * const send = SvPVX_const(sv) + SvCUR(sv);
3174     I32 line = 1;
3175
3176     PERL_ARGS_ASSERT_SAVE_LINES;
3177
3178     while (s && s < send) {
3179         const char *t;
3180         SV * const tmpstr = newSV_type(SVt_PVMG);
3181
3182         t = (const char *)memchr(s, '\n', send - s);
3183         if (t)
3184             t++;
3185         else
3186             t = send;
3187
3188         sv_setpvn(tmpstr, s, t - s);
3189         av_store(array, line++, tmpstr);
3190         s = t;
3191     }
3192 }
3193
3194 /*
3195 =for apidoc docatch
3196
3197 Check for the cases 0 or 3 of cur_env.je_ret, only used inside an eval context.
3198
3199 0 is used as continue inside eval,
3200
3201 3 is used for a die caught by an inner eval - continue inner loop
3202
3203 See cop.h: je_mustcatch, when set at any runlevel to TRUE, means eval ops must
3204 establish a local jmpenv to handle exception traps.
3205
3206 =cut
3207 */
3208 STATIC OP *
3209 S_docatch(pTHX_ OP *o)
3210 {
3211     dVAR;
3212     int ret;
3213     OP * const oldop = PL_op;
3214     dJMPENV;
3215
3216 #ifdef DEBUGGING
3217     assert(CATCH_GET == TRUE);
3218 #endif
3219     PL_op = o;
3220
3221     JMPENV_PUSH(ret);
3222     switch (ret) {
3223     case 0:
3224         assert(cxstack_ix >= 0);
3225         assert(CxTYPE(&cxstack[cxstack_ix]) == CXt_EVAL);
3226         cxstack[cxstack_ix].blk_eval.cur_top_env = PL_top_env;
3227  redo_body:
3228         CALLRUNOPS(aTHX);
3229         break;
3230     case 3:
3231         /* die caught by an inner eval - continue inner loop */
3232         if (PL_restartop && PL_restartjmpenv == PL_top_env) {
3233             PL_restartjmpenv = NULL;
3234             PL_op = PL_restartop;
3235             PL_restartop = 0;
3236             goto redo_body;
3237         }
3238         /* FALL THROUGH */
3239     default:
3240         JMPENV_POP;
3241         PL_op = oldop;
3242         JMPENV_JUMP(ret);
3243         assert(0); /* NOTREACHED */
3244     }
3245     JMPENV_POP;
3246     PL_op = oldop;
3247     return NULL;
3248 }
3249
3250
3251 /*
3252 =for apidoc find_runcv
3253
3254 Locate the CV corresponding to the currently executing sub or eval.
3255 If db_seqp is non_null, skip CVs that are in the DB package and populate
3256 *db_seqp with the cop sequence number at the point that the DB:: code was
3257 entered. (allows debuggers to eval in the scope of the breakpoint rather
3258 than in the scope of the debugger itself).
3259
3260 =cut
3261 */
3262
3263 CV*
3264 Perl_find_runcv(pTHX_ U32 *db_seqp)
3265 {
3266     return Perl_find_runcv_where(aTHX_ 0, 0, db_seqp);
3267 }
3268
3269 /* If this becomes part of the API, it might need a better name. */
3270 CV *
3271 Perl_find_runcv_where(pTHX_ U8 cond, IV arg, U32 *db_seqp)
3272 {
3273     dVAR;
3274     PERL_SI      *si;
3275     int          level = 0;
3276
3277     if (db_seqp)
3278         *db_seqp = PL_curcop->cop_seq;
3279     for (si = PL_curstackinfo; si; si = si->si_prev) {
3280         I32 ix;
3281         for (ix = si->si_cxix; ix >= 0; ix--) {
3282             const PERL_CONTEXT *cx = &(si->si_cxstack[ix]);
3283             CV *cv = NULL;
3284             if (CxTYPE(cx) == CXt_SUB || CxTYPE(cx) == CXt_FORMAT) {
3285                 cv = cx->blk_sub.cv;
3286                 /* skip DB:: code */
3287                 if (db_seqp && PL_debstash && CvSTASH(cv) == PL_debstash) {
3288                     *db_seqp = cx->blk_oldcop->cop_seq;
3289                     continue;
3290                 }
3291                 if (cx->cx_type & CXp_SUB_RE)
3292                     continue;
3293             }
3294             else if (CxTYPE(cx) == CXt_EVAL && !CxTRYBLOCK(cx))
3295                 cv = cx->blk_eval.cv;
3296             if (cv) {
3297                 switch (cond) {
3298                 case FIND_RUNCV_padid_eq:
3299                     if (!CvPADLIST(cv)
3300                      || PadlistNAMES(CvPADLIST(cv)) != INT2PTR(PADNAMELIST *, arg))
3301                         continue;
3302                     return cv;
3303                 case FIND_RUNCV_level_eq:
3304                     if (level++ != arg) continue;
3305                     /* GERONIMO! */
3306                 default:
3307                     return cv;
3308                 }
3309             }
3310         }
3311     }
3312     return cond == FIND_RUNCV_padid_eq ? NULL : PL_main_cv;
3313 }
3314
3315
3316 /* Run yyparse() in a setjmp wrapper. Returns:
3317  *   0: yyparse() successful
3318  *   1: yyparse() failed
3319  *   3: yyparse() died
3320  */
3321 STATIC int
3322 S_try_yyparse(pTHX_ int gramtype)
3323 {
3324     int ret;
3325     dJMPENV;
3326
3327     assert(CxTYPE(&cxstack[cxstack_ix]) == CXt_EVAL);
3328     JMPENV_PUSH(ret);
3329     switch (ret) {
3330     case 0:
3331         ret = yyparse(gramtype) ? 1 : 0;
3332         break;
3333     case 3:
3334         break;
3335     default:
3336         JMPENV_POP;
3337         JMPENV_JUMP(ret);
3338         assert(0); /* NOTREACHED */
3339     }
3340     JMPENV_POP;
3341     return ret;
3342 }
3343
3344
3345 /* Compile a require/do or an eval ''.
3346  *
3347  * outside is the lexically enclosing CV (if any) that invoked us.
3348  * seq     is the current COP scope value.
3349  * hh      is the saved hints hash, if any.
3350  *
3351  * Returns a bool indicating whether the compile was successful; if so,
3352  * PL_eval_start contains the first op of the compiled code; otherwise,
3353  * pushes undef.
3354  *
3355  * This function is called from two places: pp_require and pp_entereval.
3356  * These can be distinguished by whether PL_op is entereval.
3357  */
3358
3359 STATIC bool
3360 S_doeval(pTHX_ int gimme, CV* outside, U32 seq, HV *hh)
3361 {
3362     dVAR; dSP;
3363     OP * const saveop = PL_op;
3364     bool clear_hints = saveop->op_type != OP_ENTEREVAL;
3365     COP * const oldcurcop = PL_curcop;
3366     bool in_require = (saveop->op_type == OP_REQUIRE);
3367     int yystatus;
3368     CV *evalcv;
3369
3370     PL_in_eval = (in_require
3371                   ? (EVAL_INREQUIRE | (PL_in_eval & EVAL_INEVAL))
3372                   : (EVAL_INEVAL |
3373                         ((PL_op->op_private & OPpEVAL_RE_REPARSING)
3374                             ? EVAL_RE_REPARSING : 0)));
3375
3376     PUSHMARK(SP);
3377
3378     evalcv = MUTABLE_CV(newSV_type(SVt_PVCV));
3379     CvEVAL_on(evalcv);
3380     assert(CxTYPE(&cxstack[cxstack_ix]) == CXt_EVAL);
3381     cxstack[cxstack_ix].blk_eval.cv = evalcv;
3382     cxstack[cxstack_ix].blk_gimme = gimme;
3383
3384     CvOUTSIDE_SEQ(evalcv) = seq;
3385     CvOUTSIDE(evalcv) = MUTABLE_CV(SvREFCNT_inc_simple(outside));
3386
3387     /* set up a scratch pad */
3388
3389     CvPADLIST(evalcv) = pad_new(padnew_SAVE);
3390     PL_op = NULL; /* avoid PL_op and PL_curpad referring to different CVs */
3391
3392
3393     if (!PL_madskills)
3394         SAVEMORTALIZESV(evalcv);        /* must remain until end of current statement */
3395
3396     /* make sure we compile in the right package */
3397
3398     if (CopSTASH_ne(PL_curcop, PL_curstash)) {
3399         SAVEGENERICSV(PL_curstash);
3400         PL_curstash = (HV *)SvREFCNT_inc_simple(CopSTASH(PL_curcop));
3401     }
3402     /* XXX:ajgo do we really need to alloc an AV for begin/checkunit */
3403     SAVESPTR(PL_beginav);
3404     PL_beginav = newAV();
3405     SAVEFREESV(PL_beginav);
3406     SAVESPTR(PL_unitcheckav);
3407     PL_unitcheckav = newAV();
3408     SAVEFREESV(PL_unitcheckav);
3409
3410 #ifdef PERL_MAD
3411     SAVEBOOL(PL_madskills);
3412     PL_madskills = 0;
3413 #endif
3414
3415     ENTER_with_name("evalcomp");
3416     SAVESPTR(PL_compcv);
3417     PL_compcv = evalcv;
3418
3419     /* try to compile it */
3420
3421     PL_eval_root = NULL;
3422     PL_curcop = &PL_compiling;
3423     if ((saveop->op_type != OP_REQUIRE) && (saveop->op_flags & OPf_SPECIAL))
3424         PL_in_eval |= EVAL_KEEPERR;
3425     else
3426         CLEAR_ERRSV();
3427
3428     SAVEHINTS();
3429     if (clear_hints) {
3430         PL_hints = 0;
3431         hv_clear(GvHV(PL_hintgv));
3432     }
3433     else {
3434         PL_hints = saveop->op_private & OPpEVAL_COPHH
3435                      ? oldcurcop->cop_hints : saveop->op_targ;
3436
3437         /* making 'use re eval' not be in scope when compiling the
3438          * qr/mabye_has_runtime_code_block/ ensures that we don't get
3439          * infinite recursion when S_has_runtime_code() gives a false
3440          * positive: the second time round, HINT_RE_EVAL isn't set so we
3441          * don't bother calling S_has_runtime_code() */
3442         if (PL_in_eval & EVAL_RE_REPARSING)
3443             PL_hints &= ~HINT_RE_EVAL;
3444
3445         if (hh) {
3446             /* SAVEHINTS created a new HV in PL_hintgv, which we need to GC */
3447             SvREFCNT_dec(GvHV(PL_hintgv));
3448             GvHV(PL_hintgv) = hh;
3449         }
3450     }
3451     SAVECOMPILEWARNINGS();
3452     if (clear_hints) {
3453         if (PL_dowarn & G_WARN_ALL_ON)
3454             PL_compiling.cop_warnings = pWARN_ALL ;
3455         else if (PL_dowarn & G_WARN_ALL_OFF)
3456             PL_compiling.cop_warnings = pWARN_NONE ;
3457         else
3458             PL_compiling.cop_warnings = pWARN_STD ;
3459     }
3460     else {
3461         PL_compiling.cop_warnings =
3462             DUP_WARNINGS(oldcurcop->cop_warnings);
3463         cophh_free(CopHINTHASH_get(&PL_compiling));
3464         if (Perl_cop_fetch_label(aTHX_ oldcurcop, NULL, NULL)) {
3465             /* The label, if present, is the first entry on the chain. So rather
3466                than writing a blank label in front of it (which involves an
3467                allocation), just use the next entry in the chain.  */
3468             PL_compiling.cop_hints_hash
3469                 = cophh_copy(oldcurcop->cop_hints_hash->refcounted_he_next);
3470             /* Check the assumption that this removed the label.  */
3471             assert(Perl_cop_fetch_label(aTHX_ &PL_compiling, NULL, NULL) == NULL);
3472         }
3473         else
3474             PL_compiling.cop_hints_hash = cophh_copy(oldcurcop->cop_hints_hash);
3475     }
3476
3477     CALL_BLOCK_HOOKS(bhk_eval, saveop);
3478
3479     /* note that yyparse() may raise an exception, e.g. C<BEGIN{die}>,
3480      * so honour CATCH_GET and trap it here if necessary */
3481
3482     yystatus = (!in_require && CATCH_GET) ? S_try_yyparse(aTHX_ GRAMPROG) : yyparse(GRAMPROG);
3483
3484     if (yystatus || PL_parser->error_count || !PL_eval_root) {
3485         SV **newsp;                     /* Used by POPBLOCK. */
3486         PERL_CONTEXT *cx;
3487         I32 optype;                     /* Used by POPEVAL. */
3488         SV *namesv;
3489         SV *errsv = NULL;
3490
3491         cx = NULL;
3492         namesv = NULL;
3493         PERL_UNUSED_VAR(newsp);
3494         PERL_UNUSED_VAR(optype);
3495
3496         /* note that if yystatus == 3, then the EVAL CX block has already
3497          * been popped, and various vars restored */
3498         PL_op = saveop;
3499         if (yystatus != 3) {
3500             if (PL_eval_root) {
3501                 op_free(PL_eval_root);
3502                 PL_eval_root = NULL;
3503             }
3504             SP = PL_stack_base + POPMARK;       /* pop original mark */
3505             POPBLOCK(cx,PL_curpm);
3506             POPEVAL(cx);
3507             namesv = cx->blk_eval.old_namesv;
3508             /* POPBLOCK renders LEAVE_with_name("evalcomp") unnecessary. */
3509             LEAVE_with_name("eval"); /* pp_entereval knows about this LEAVE.  */
3510         }
3511
3512         errsv = ERRSV;
3513         if (in_require) {
3514             if (!cx) {
3515                 /* If cx is still NULL, it means that we didn't go in the
3516                  * POPEVAL branch. */
3517                 cx = &cxstack[cxstack_ix];
3518                 assert(CxTYPE(cx) == CXt_EVAL);
3519                 namesv = cx->blk_eval.old_namesv;
3520             }
3521             (void)hv_store(GvHVn(PL_incgv),
3522                            SvPVX_const(namesv),
3523                            SvUTF8(namesv) ? -(I32)SvCUR(namesv) : (I32)SvCUR(namesv),
3524                            &PL_sv_undef, 0);
3525             Perl_croak(aTHX_ "%"SVf"Compilation failed in require",
3526                        SVfARG(errsv
3527                                 ? errsv
3528                                 : newSVpvs_flags("Unknown error\n", SVs_TEMP)));
3529         }
3530         else {
3531             if (!*(SvPV_nolen_const(errsv))) {
3532                 sv_setpvs(errsv, "Compilation error");
3533             }
3534         }
3535         if (gimme != G_ARRAY) PUSHs(&PL_sv_undef);
3536         PUTBACK;
3537         return FALSE;
3538     }
3539     else
3540         LEAVE_with_name("evalcomp");
3541
3542     CopLINE_set(&PL_compiling, 0);
3543     SAVEFREEOP(PL_eval_root);
3544     cv_forget_slab(evalcv);
3545
3546     DEBUG_x(dump_eval());
3547
3548     /* Register with debugger: */
3549     if (PERLDB_INTER && saveop->op_type == OP_REQUIRE) {
3550         CV * const cv = get_cvs("DB::postponed", 0);
3551         if (cv) {
3552             dSP;
3553             PUSHMARK(SP);
3554             XPUSHs(MUTABLE_SV(CopFILEGV(&PL_compiling)));
3555             PUTBACK;
3556             call_sv(MUTABLE_SV(cv), G_DISCARD);
3557         }
3558     }
3559
3560     if (PL_unitcheckav) {
3561         OP *es = PL_eval_start;
3562         call_list(PL_scopestack_ix, PL_unitcheckav);
3563         PL_eval_start = es;
3564     }
3565
3566     /* compiled okay, so do it */
3567
3568     CvDEPTH(evalcv) = 1;
3569     SP = PL_stack_base + POPMARK;               /* pop original mark */
3570     PL_op = saveop;                     /* The caller may need it. */
3571     PL_parser->lex_state = LEX_NOTPARSING;      /* $^S needs this. */
3572
3573     PUTBACK;
3574     return TRUE;
3575 }
3576
3577 STATIC PerlIO *
3578 S_check_type_and_open(pTHX_ SV *name)
3579 {
3580     Stat_t st;
3581     const char *p = SvPV_nolen_const(name);
3582     const int st_rc = PerlLIO_stat(p, &st);
3583
3584     PERL_ARGS_ASSERT_CHECK_TYPE_AND_OPEN;
3585
3586     if (st_rc < 0 || S_ISDIR(st.st_mode) || S_ISBLK(st.st_mode)) {
3587         return NULL;
3588     }
3589
3590 #if !defined(PERLIO_IS_STDIO) && !defined(USE_SFIO)
3591     return PerlIO_openn(aTHX_ ":", PERL_SCRIPT_MODE, -1, 0, 0, NULL, 1, &name);
3592 #else
3593     return PerlIO_open(p, PERL_SCRIPT_MODE);
3594 #endif
3595 }
3596
3597 #ifndef PERL_DISABLE_PMC
3598 STATIC PerlIO *
3599 S_doopen_pm(pTHX_ SV *name)
3600 {
3601     STRLEN namelen;
3602     const char *p = SvPV_const(name, namelen);
3603
3604     PERL_ARGS_ASSERT_DOOPEN_PM;
3605
3606     if (namelen > 3 && memEQs(p + namelen - 3, 3, ".pm")) {
3607         SV *const pmcsv = sv_newmortal();
3608         Stat_t pmcstat;
3609
3610         SvSetSV_nosteal(pmcsv,name);
3611         sv_catpvn(pmcsv, "c", 1);
3612
3613         if (PerlLIO_stat(SvPV_nolen_const(pmcsv), &pmcstat) >= 0)
3614             return check_type_and_open(pmcsv);
3615     }
3616     return check_type_and_open(name);
3617 }
3618 #else
3619 #  define doopen_pm(name) check_type_and_open(name)
3620 #endif /* !PERL_DISABLE_PMC */
3621
3622 PP(pp_require)
3623 {
3624     dVAR; dSP;
3625     PERL_CONTEXT *cx;
3626     SV *sv;
3627     const char *name;
3628     STRLEN len;
3629     char * unixname;
3630     STRLEN unixlen;
3631 #ifdef VMS
3632     int vms_unixname = 0;
3633     char *unixnamebuf;
3634     char *unixdir;
3635     char *unixdirbuf;
3636 #endif
3637     const char *tryname = NULL;
3638     SV *namesv = NULL;
3639     const I32 gimme = GIMME_V;
3640     int filter_has_file = 0;
3641     PerlIO *tryrsfp = NULL;
3642     SV *filter_cache = NULL;
3643     SV *filter_state = NULL;
3644     SV *filter_sub = NULL;
3645     SV *hook_sv = NULL;
3646     SV *encoding;
3647     OP *op;
3648     int saved_errno;
3649
3650     sv = POPs;
3651     if ( (SvNIOKp(sv) || SvVOK(sv)) && PL_op->op_type != OP_DOFILE) {
3652         sv = sv_2mortal(new_version(sv));
3653         if (!Perl_sv_derived_from_pvn(aTHX_ PL_patchlevel, STR_WITH_LEN("version"), 0))
3654             upg_version(PL_patchlevel, TRUE);
3655         if (cUNOP->op_first->op_type == OP_CONST && cUNOP->op_first->op_private & OPpCONST_NOVER) {
3656             if ( vcmp(sv,PL_patchlevel) <= 0 )
3657                 DIE(aTHX_ "Perls since %"SVf" too modern--this is %"SVf", stopped",
3658                     SVfARG(sv_2mortal(vnormal(sv))),
3659                     SVfARG(sv_2mortal(vnormal(PL_patchlevel)))
3660                 );
3661         }
3662         else {
3663             if ( vcmp(sv,PL_patchlevel) > 0 ) {
3664                 I32 first = 0;
3665                 AV *lav;
3666                 SV * const req = SvRV(sv);
3667                 SV * const pv = *hv_fetchs(MUTABLE_HV(req), "original", FALSE);
3668
3669                 /* get the left hand term */
3670                 lav = MUTABLE_AV(SvRV(*hv_fetchs(MUTABLE_HV(req), "version", FALSE)));
3671
3672                 first  = SvIV(*av_fetch(lav,0,0));
3673                 if (   first > (int)PERL_REVISION    /* probably 'use 6.0' */
3674                     || hv_exists(MUTABLE_HV(req), "qv", 2 ) /* qv style */
3675                     || av_len(lav) > 1               /* FP with > 3 digits */
3676                     || strstr(SvPVX(pv),".0")        /* FP with leading 0 */
3677                    ) {
3678                     DIE(aTHX_ "Perl %"SVf" required--this is only "
3679                         "%"SVf", stopped",
3680                         SVfARG(sv_2mortal(vnormal(req))),
3681                         SVfARG(sv_2mortal(vnormal(PL_patchlevel)))
3682                     );
3683                 }
3684                 else { /* probably 'use 5.10' or 'use 5.8' */
3685                     SV *hintsv;
3686                     I32 second = 0;
3687
3688                     if (av_len(lav)>=1) 
3689                         second = SvIV(*av_fetch(lav,1,0));
3690
3691                     second /= second >= 600  ? 100 : 10;
3692                     hintsv = Perl_newSVpvf(aTHX_ "v%d.%d.0",
3693                                            (int)first, (int)second);
3694                     upg_version(hintsv, TRUE);
3695
3696                     DIE(aTHX_ "Perl %"SVf" required (did you mean %"SVf"?)"
3697                         "--this is only %"SVf", stopped",
3698                         SVfARG(sv_2mortal(vnormal(req))),
3699                         SVfARG(sv_2mortal(vnormal(sv_2mortal(hintsv)))),
3700                         SVfARG(sv_2mortal(vnormal(PL_patchlevel)))
3701                     );
3702                 }
3703             }
3704         }
3705
3706         RETPUSHYES;
3707     }
3708     name = SvPV_const(sv, len);
3709     if (!(name && len > 0 && *name))
3710         DIE(aTHX_ "Null filename used");
3711     TAINT_PROPER("require");
3712
3713
3714 #ifdef VMS
3715     /* The key in the %ENV hash is in the syntax of file passed as the argument
3716      * usually this is in UNIX format, but sometimes in VMS format, which
3717      * can result in a module being pulled in more than once.
3718      * To prevent this, the key must be stored in UNIX format if the VMS
3719      * name can be translated to UNIX.
3720      */
3721     
3722     if ((unixnamebuf = SvPVX(sv_2mortal(newSVpv("", VMS_MAXRSS-1))))
3723         && (unixname = tounixspec(name, unixnamebuf)) != NULL) {
3724         unixlen = strlen(unixname);
3725         vms_unixname = 1;
3726     }
3727     else
3728 #endif
3729     {
3730         /* if not VMS or VMS name can not be translated to UNIX, pass it
3731          * through.
3732          */
3733         unixname = (char *) name;
3734         unixlen = len;
3735     }
3736     if (PL_op->op_type == OP_REQUIRE) {
3737         SV * const * const svp = hv_fetch(GvHVn(PL_incgv),
3738                                           unixname, unixlen, 0);
3739         if ( svp ) {
3740             if (*svp != &PL_sv_undef)
3741                 RETPUSHYES;
3742             else
3743                 DIE(aTHX_ "Attempt to reload %s aborted.\n"
3744                             "Compilation failed in require", unixname);
3745         }
3746     }
3747
3748     LOADING_FILE_PROBE(unixname);
3749
3750     /* prepare to compile file */
3751
3752     if (path_is_absolute(name)) {
3753         /* At this point, name is SvPVX(sv)  */
3754         tryname = name;
3755         tryrsfp = doopen_pm(sv);
3756     }
3757     if (!tryrsfp && !(errno == EACCES && path_is_absolute(name))) {
3758         AV * const ar = GvAVn(PL_incgv);
3759         I32 i;
3760 #ifdef VMS
3761         if (vms_unixname)
3762 #endif
3763         {
3764             namesv = newSV_type(SVt_PV);
3765             for (i = 0; i <= AvFILL(ar); i++) {
3766                 SV * const dirsv = *av_fetch(ar, i, TRUE);
3767
3768                 if (SvTIED_mg((const SV *)ar, PERL_MAGIC_tied))
3769                     mg_get(dirsv);
3770                 if (SvROK(dirsv)) {
3771                     int count;
3772                     SV **svp;
3773                     SV *loader = dirsv;
3774
3775                     if (SvTYPE(SvRV(loader)) == SVt_PVAV
3776                         && !sv_isobject(loader))
3777                     {
3778                         loader = *av_fetch(MUTABLE_AV(SvRV(loader)), 0, TRUE);
3779                     }
3780
3781                     Perl_sv_setpvf(aTHX_ namesv, "/loader/0x%"UVxf"/%s",
3782                                    PTR2UV(SvRV(dirsv)), name);
3783                     tryname = SvPVX_const(namesv);
3784                     tryrsfp = NULL;
3785
3786                     ENTER_with_name("call_INC");
3787                     SAVETMPS;
3788                     EXTEND(SP, 2);
3789
3790                     PUSHMARK(SP);
3791                     PUSHs(dirsv);
3792                     PUSHs(sv);
3793                     PUTBACK;
3794                     if (sv_isobject(loader))
3795                         count = call_method("INC", G_ARRAY);
3796                     else
3797                         count = call_sv(loader, G_ARRAY);
3798                     SPAGAIN;
3799
3800                     if (count > 0) {
3801                         int i = 0;
3802                         SV *arg;
3803
3804                         SP -= count - 1;
3805                         arg = SP[i++];
3806
3807                         if (SvROK(arg) && (SvTYPE(SvRV(arg)) <= SVt_PVLV)
3808                             && !isGV_with_GP(SvRV(arg))) {
3809                             filter_cache = SvRV(arg);
3810                             SvREFCNT_inc_simple_void_NN(filter_cache);
3811
3812                             if (i < count) {
3813                                 arg = SP[i++];
3814                             }
3815                         }
3816
3817                         if (SvROK(arg) && isGV_with_GP(SvRV(arg))) {
3818                             arg = SvRV(arg);
3819                         }
3820
3821                         if (isGV_with_GP(arg)) {
3822                             IO * const io = GvIO((const GV *)arg);
3823
3824                             ++filter_has_file;
3825
3826                             if (io) {
3827                                 tryrsfp = IoIFP(io);
3828                                 if (IoOFP(io) && IoOFP(io) != IoIFP(io)) {
3829                                     PerlIO_close(IoOFP(io));
3830                                 }
3831                                 IoIFP(io) = NULL;
3832                                 IoOFP(io) = NULL;
3833                             }
3834
3835                             if (i < count) {
3836                                 arg = SP[i++];
3837                             }
3838                         }
3839
3840                         if (SvROK(arg) && SvTYPE(SvRV(arg)) == SVt_PVCV) {
3841                             filter_sub = arg;
3842                             SvREFCNT_inc_simple_void_NN(filter_sub);
3843
3844                             if (i < count) {
3845                                 filter_state = SP[i];
3846                                 SvREFCNT_inc_simple_void(filter_state);
3847                             }
3848                         }
3849
3850                         if (!tryrsfp && (filter_cache || filter_sub)) {
3851                             tryrsfp = PerlIO_open(BIT_BUCKET,
3852                                                   PERL_SCRIPT_MODE);
3853                         }
3854                         SP--;
3855                     }
3856
3857                     PUTBACK;
3858                     FREETMPS;
3859                     LEAVE_with_name("call_INC");
3860
3861                     /* Adjust file name if the hook has set an %INC entry.
3862                        This needs to happen after the FREETMPS above.  */
3863                     svp = hv_fetch(GvHVn(PL_incgv), name, len, 0);
3864                     if (svp)
3865                         tryname = SvPV_nolen_const(*svp);
3866
3867                     if (tryrsfp) {
3868                         hook_sv = dirsv;
3869                         break;
3870                     }
3871
3872                     filter_has_file = 0;
3873                     if (filter_cache) {
3874                         SvREFCNT_dec(filter_cache);
3875                         filter_cache = NULL;
3876                     }
3877                     if (filter_state) {
3878                         SvREFCNT_dec(filter_state);
3879                         filter_state = NULL;
3880                     }
3881                     if (filter_sub) {
3882                         SvREFCNT_dec(filter_sub);
3883                         filter_sub = NULL;
3884                     }
3885                 }
3886                 else {
3887                   if (!path_is_absolute(name)
3888                   ) {
3889                     const char *dir;
3890                     STRLEN dirlen;
3891
3892                     if (SvOK(dirsv)) {
3893                         dir = SvPV_const(dirsv, dirlen);
3894                     } else {
3895                         dir = "";
3896                         dirlen = 0;
3897                     }
3898
3899 #ifdef VMS
3900                     if (((unixdirbuf = SvPVX(sv_2mortal(newSVpv("", VMS_MAXRSS-1)))) == NULL)
3901                         || ((unixdir = tounixpath(dir, unixdirbuf)) == NULL))
3902                         continue;
3903                     sv_setpv(namesv, unixdir);
3904                     sv_catpv(namesv, unixname);
3905 #else
3906 #  ifdef __SYMBIAN32__
3907                     if (PL_origfilename[0] &&
3908                         PL_origfilename[1] == ':' &&
3909                         !(dir[0] && dir[1] == ':'))
3910                         Perl_sv_setpvf(aTHX_ namesv,
3911                                        "%c:%s\\%s",
3912                                        PL_origfilename[0],
3913                                        dir, name);
3914                     else
3915                         Perl_sv_setpvf(aTHX_ namesv,
3916                                        "%s\\%s",
3917                                        dir, name);
3918 #  else
3919                     /* The equivalent of                    
3920                        Perl_sv_setpvf(aTHX_ namesv, "%s/%s", dir, name);
3921                        but without the need to parse the format string, or
3922                        call strlen on either pointer, and with the correct
3923                        allocation up front.  */
3924                     {
3925                         char *tmp = SvGROW(namesv, dirlen + len + 2);
3926
3927                         memcpy(tmp, dir, dirlen);
3928                         tmp +=dirlen;
3929
3930                         /* Avoid '<dir>//<file>' */
3931                         if (!dirlen || *(tmp-1) != '/') {
3932                             *tmp++ = '/';
3933                         }
3934
3935                         /* name came from an SV, so it will have a '\0' at the
3936                            end that we can copy as part of this memcpy().  */
3937                         memcpy(tmp, name, len + 1);
3938
3939                         SvCUR_set(namesv, dirlen + len + 1);
3940                         SvPOK_on(namesv);
3941                     }
3942 #  endif
3943 #endif
3944                     TAINT_PROPER("require");
3945                     tryname = SvPVX_const(namesv);
3946                     tryrsfp = doopen_pm(namesv);
3947                     if (tryrsfp) {
3948                         if (tryname[0] == '.' && tryname[1] == '/') {
3949                             ++tryname;
3950                             while (*++tryname == '/') {}
3951                         }
3952                         break;
3953                     }
3954                     else if (errno == EMFILE || errno == EACCES) {
3955                         /* no point in trying other paths if out of handles;
3956                          * on the other hand, if we couldn't open one of the
3957                          * files, then going on with the search could lead to
3958                          * unexpected results; see perl #113422
3959                          */
3960                         break;
3961                     }
3962                   }
3963                 }
3964             }
3965         }
3966     }
3967     saved_errno = errno; /* sv_2mortal can realloc things */
3968     sv_2mortal(namesv);
3969     if (!tryrsfp) {
3970         if (PL_op->op_type == OP_REQUIRE) {
3971             if(saved_errno == EMFILE || saved_errno == EACCES) {
3972                 /* diag_listed_as: Can't locate %s */
3973                 DIE(aTHX_ "Can't locate %s:   %s", name, Strerror(saved_errno));
3974             } else {
3975                 if (namesv) {                   /* did we lookup @INC? */
3976                     AV * const ar = GvAVn(PL_incgv);
3977                     I32 i;
3978                     SV *const msg = newSVpvs_flags("", SVs_TEMP);
3979                     SV *const inc = newSVpvs_flags("", SVs_TEMP);
3980                     for (i = 0; i <= AvFILL(ar); i++) {
3981                         sv_catpvs(inc, " ");
3982                         sv_catsv(inc, *av_fetch(ar, i, TRUE));
3983                     }
3984                     if (len >= 4 && memEQ(name + len - 3, ".pm", 4)) {
3985                         const char *c, *e = name + len - 3;
3986                         sv_catpv(msg, " (you may need to install the ");
3987                         for (c = name; c < e; c++) {
3988                             if (*c == '/') {
3989                                 sv_catpvn(msg, "::", 2);
3990                             }
3991                             else {
3992                                 sv_catpvn(msg, c, 1);
3993                             }
3994                         }
3995                         sv_catpv(msg, " module)");
3996                     }
3997                     else if (len >= 2 && memEQ(name + len - 2, ".h", 3)) {
3998                         sv_catpv(msg, " (change .h to .ph maybe?) (did you run h2ph?)");
3999                     }
4000                     else if (len >= 3 && memEQ(name + len - 3, ".ph", 4)) {
4001                         sv_catpv(msg, " (did you run h2ph?)");
4002                     }
4003
4004                     /* diag_listed_as: Can't locate %s */
4005                     DIE(aTHX_
4006                         "Can't locate %s in @INC%" SVf " (@INC contains:%" SVf ")",
4007                         name, msg, inc);
4008                 }
4009             }
4010             DIE(aTHX_ "Can't locate %s", name);
4011         }
4012
4013         CLEAR_ERRSV();
4014         RETPUSHUNDEF;
4015     }
4016     else
4017         SETERRNO(0, SS_NORMAL);
4018
4019     /* Assume success here to prevent recursive requirement. */
4020     /* name is never assigned to again, so len is still strlen(name)  */
4021     /* Check whether a hook in @INC has already filled %INC */
4022     if (!hook_sv) {
4023         (void)hv_store(GvHVn(PL_incgv),
4024                        unixname, unixlen, newSVpv(tryname,0),0);
4025     } else {
4026         SV** const svp = hv_fetch(GvHVn(PL_incgv), unixname, unixlen, 0);
4027         if (!svp)
4028             (void)hv_store(GvHVn(PL_incgv),
4029                            unixname, unixlen, SvREFCNT_inc_simple(hook_sv), 0 );
4030     }
4031
4032     ENTER_with_name("eval");
4033     SAVETMPS;
4034     SAVECOPFILE_FREE(&PL_compiling);
4035     CopFILE_set(&PL_compiling, tryname);
4036     lex_start(NULL, tryrsfp, 0);
4037
4038     if (filter_sub || filter_cache) {
4039         /* We can use the SvPV of the filter PVIO itself as our cache, rather
4040            than hanging another SV from it. In turn, filter_add() optionally
4041            takes the SV to use as the filter (or creates a new SV if passed
4042            NULL), so simply pass in whatever value filter_cache has.  */
4043         SV * const datasv = filter_add(S_run_user_filter, filter_cache);
4044         IoLINES(datasv) = filter_has_file;
4045         IoTOP_GV(datasv) = MUTABLE_GV(filter_state);
4046         IoBOTTOM_GV(datasv) = MUTABLE_GV(filter_sub);
4047     }
4048
4049     /* switch to eval mode */
4050     PUSHBLOCK(cx, CXt_EVAL, SP);
4051     PUSHEVAL(cx, name);
4052     cx->blk_eval.retop = PL_op->op_next;
4053
4054     SAVECOPLINE(&PL_compiling);
4055     CopLINE_set(&PL_compiling, 0);
4056
4057     PUTBACK;
4058
4059     /* Store and reset encoding. */
4060     encoding = PL_encoding;
4061     PL_encoding = NULL;
4062
4063     if (doeval(gimme, NULL, PL_curcop->cop_seq, NULL))
4064         op = DOCATCH(PL_eval_start);
4065     else
4066         op = PL_op->op_next;
4067
4068     /* Restore encoding. */
4069     PL_encoding = encoding;
4070
4071     LOADED_FILE_PROBE(unixname);
4072
4073     return op;
4074 }
4075
4076 /* This is a op added to hold the hints hash for
4077    pp_entereval. The hash can be modified by the code
4078    being eval'ed, so we return a copy instead. */
4079
4080 PP(pp_hintseval)
4081 {
4082     dVAR;
4083     dSP;
4084     mXPUSHs(MUTABLE_SV(hv_copy_hints_hv(MUTABLE_HV(cSVOP_sv))));
4085     RETURN;
4086 }
4087
4088
4089 PP(pp_entereval)
4090 {
4091     dVAR; dSP;
4092     PERL_CONTEXT *cx;
4093     SV *sv;
4094     const I32 gimme = GIMME_V;
4095     const U32 was = PL_breakable_sub_gen;
4096     char tbuf[TYPE_DIGITS(long) + 12];
4097     bool saved_delete = FALSE;
4098     char *tmpbuf = tbuf;
4099     STRLEN len;
4100     CV* runcv;
4101     U32 seq, lex_flags = 0;
4102     HV *saved_hh = NULL;
4103     const bool bytes = PL_op->op_private & OPpEVAL_BYTES;
4104
4105     if (PL_op->op_private & OPpEVAL_HAS_HH) {
4106         saved_hh = MUTABLE_HV(SvREFCNT_inc(POPs));
4107     }
4108     else if (PL_hints & HINT_LOCALIZE_HH || (
4109                 PL_op->op_private & OPpEVAL_COPHH
4110              && PL_curcop->cop_hints & HINT_LOCALIZE_HH
4111             )) {
4112         saved_hh = cop_hints_2hv(PL_curcop, 0);
4113         hv_magic(saved_hh, NULL, PERL_MAGIC_hints);
4114     }
4115     sv = POPs;
4116     if (!SvPOK(sv)) {
4117         /* make sure we've got a plain PV (no overload etc) before testing
4118          * for taint. Making a copy here is probably overkill, but better
4119          * safe than sorry */
4120         STRLEN len;
4121         const char * const p = SvPV_const(sv, len);
4122
4123         sv = newSVpvn_flags(p, len, SVs_TEMP | SvUTF8(sv));
4124         lex_flags |= LEX_START_COPIED;
4125
4126         if (bytes && SvUTF8(sv))
4127             SvPVbyte_force(sv, len);
4128     }
4129     else if (bytes && SvUTF8(sv)) {
4130         /* Don't modify someone else's scalar */
4131         STRLEN len;
4132         sv = newSVsv(sv);
4133         (void)sv_2mortal(sv);
4134         SvPVbyte_force(sv,len);
4135         lex_flags |= LEX_START_COPIED;
4136     }
4137
4138     TAINT_IF(SvTAINTED(sv));
4139     TAINT_PROPER("eval");
4140
4141     ENTER_with_name("eval");
4142     lex_start(sv, NULL, lex_flags | (PL_op->op_private & OPpEVAL_UNICODE
4143                            ? LEX_IGNORE_UTF8_HINTS
4144                            : bytes ? LEX_EVALBYTES : LEX_START_SAME_FILTER
4145                         )
4146              );
4147     SAVETMPS;
4148
4149     /* switch to eval mode */
4150
4151     if (PERLDB_NAMEEVAL && CopLINE(PL_curcop)) {
4152         SV * const temp_sv = sv_newmortal();
4153         Perl_sv_setpvf(aTHX_ temp_sv, "_<(eval %lu)[%s:%"IVdf"]",
4154                        (unsigned long)++PL_evalseq,
4155                        CopFILE(PL_curcop), (IV)CopLINE(PL_curcop));
4156         tmpbuf = SvPVX(temp_sv);
4157         len = SvCUR(temp_sv);
4158     }
4159     else
4160         len = my_snprintf(tmpbuf, sizeof(tbuf), "_<(eval %lu)", (unsigned long)++PL_evalseq);
4161     SAVECOPFILE_FREE(&PL_compiling);
4162     CopFILE_set(&PL_compiling, tmpbuf+2);
4163     SAVECOPLINE(&PL_compiling);
4164     CopLINE_set(&PL_compiling, 1);
4165     /* special case: an eval '' executed within the DB package gets lexically
4166      * placed in the first non-DB CV rather than the current CV - this
4167      * allows the debugger to execute code, find lexicals etc, in the
4168      * scope of the code being debugged. Passing &seq gets find_runcv
4169      * to do the dirty work for us */
4170     runcv = find_runcv(&seq);
4171
4172     PUSHBLOCK(cx, (CXt_EVAL|CXp_REAL), SP);
4173     PUSHEVAL(cx, 0);
4174     cx->blk_eval.retop = PL_op->op_next;
4175
4176     /* prepare to compile string */
4177
4178     if ((PERLDB_LINE || PERLDB_SAVESRC) && PL_curstash != PL_debstash)
4179         save_lines(CopFILEAV(&PL_compiling), PL_parser->linestr);
4180     else {
4181         /* XXX For C<eval "...">s within BEGIN {} blocks, this ends up
4182            deleting the eval's FILEGV from the stash before gv_check() runs
4183            (i.e. before run-time proper). To work around the coredump that
4184            ensues, we always turn GvMULTI_on for any globals that were
4185            introduced within evals. See force_ident(). GSAR 96-10-12 */
4186         char *const safestr = savepvn(tmpbuf, len);
4187         SAVEDELETE(PL_defstash, safestr, len);
4188         saved_delete = TRUE;
4189     }
4190     
4191     PUTBACK;
4192
4193     if (doeval(gimme, runcv, seq, saved_hh)) {
4194         if (was != PL_breakable_sub_gen /* Some subs defined here. */
4195             ? (PERLDB_LINE || PERLDB_SAVESRC)
4196             :  PERLDB_SAVESRC_NOSUBS) {
4197             /* Retain the filegv we created.  */
4198         } else if (!saved_delete) {
4199             char *const safestr = savepvn(tmpbuf, len);
4200             SAVEDELETE(PL_defstash, safestr, len);
4201         }
4202         return DOCATCH(PL_eval_start);
4203     } else {
4204         /* We have already left the scope set up earlier thanks to the LEAVE
4205            in doeval().  */
4206         if (was != PL_breakable_sub_gen /* Some subs defined here. */
4207             ? (PERLDB_LINE || PERLDB_SAVESRC)
4208             :  PERLDB_SAVESRC_INVALID) {
4209             /* Retain the filegv we created.  */
4210         } else if (!saved_delete) {
4211             (void)hv_delete(PL_defstash, tmpbuf, len, G_DISCARD);
4212         }
4213         return PL_op->op_next;
4214     }
4215 }
4216
4217 PP(pp_leaveeval)
4218 {
4219     dVAR; dSP;
4220     SV **newsp;
4221     PMOP *newpm;
4222     I32 gimme;
4223     PERL_CONTEXT *cx;
4224     OP *retop;
4225     const U8 save_flags = PL_op -> op_flags;
4226     I32 optype;
4227     SV *namesv;
4228     CV *evalcv;
4229
4230     PERL_ASYNC_CHECK();
4231     POPBLOCK(cx,newpm);
4232     POPEVAL(cx);
4233     namesv = cx->blk_eval.old_namesv;
4234     retop = cx->blk_eval.retop;
4235     evalcv = cx->blk_eval.cv;
4236
4237     TAINT_NOT;
4238     SP = adjust_stack_on_leave((gimme == G_VOID) ? SP : newsp, SP, newsp,
4239                                 gimme, SVs_TEMP);
4240     PL_curpm = newpm;   /* Don't pop $1 et al till now */
4241
4242 #ifdef DEBUGGING
4243     assert(CvDEPTH(evalcv) == 1);
4244 #endif
4245     CvDEPTH(evalcv) = 0;
4246
4247     if (optype == OP_REQUIRE &&
4248         !(gimme == G_SCALAR ? SvTRUE(*SP) : SP > newsp))
4249     {
4250         /* Unassume the success we assumed earlier. */
4251         (void)hv_delete(GvHVn(PL_incgv),
4252                         SvPVX_const(namesv),
4253                         SvUTF8(namesv) ? -(I32)SvCUR(namesv) : (I32)SvCUR(namesv),
4254                         G_DISCARD);
4255         retop = Perl_die(aTHX_ "%"SVf" did not return a true value",
4256                                SVfARG(namesv));
4257         /* die_unwind() did LEAVE, or we won't be here */
4258     }
4259     else {
4260         LEAVE_with_name("eval");
4261         if (!(save_flags & OPf_SPECIAL)) {
4262             CLEAR_ERRSV();
4263         }
4264     }
4265
4266     RETURNOP(retop);
4267 }
4268
4269 /* Common code for Perl_call_sv and Perl_fold_constants, put here to keep it
4270    close to the related Perl_create_eval_scope.  */
4271 void
4272 Perl_delete_eval_scope(pTHX)
4273 {
4274     SV **newsp;
4275     PMOP *newpm;
4276     I32 gimme;
4277     PERL_CONTEXT *cx;
4278     I32 optype;
4279         
4280     POPBLOCK(cx,newpm);
4281     POPEVAL(cx);
4282     PL_curpm = newpm;
4283     LEAVE_with_name("eval_scope");
4284     PERL_UNUSED_VAR(newsp);
4285     PERL_UNUSED_VAR(gimme);
4286     PERL_UNUSED_VAR(optype);
4287 }
4288
4289 /* Common-ish code salvaged from Perl_call_sv and pp_entertry, because it was
4290    also needed by Perl_fold_constants.  */
4291 PERL_CONTEXT *
4292 Perl_create_eval_scope(pTHX_ U32 flags)
4293 {
4294     PERL_CONTEXT *cx;
4295     const I32 gimme = GIMME_V;
4296         
4297     ENTER_with_name("eval_scope");
4298     SAVETMPS;
4299
4300     PUSHBLOCK(cx, (CXt_EVAL|CXp_TRYBLOCK), PL_stack_sp);
4301     PUSHEVAL(cx, 0);
4302
4303     PL_in_eval = EVAL_INEVAL;
4304     if (flags & G_KEEPERR)
4305         PL_in_eval |= EVAL_KEEPERR;
4306     else
4307         CLEAR_ERRSV();
4308     if (flags & G_FAKINGEVAL) {
4309         PL_eval_root = PL_op; /* Only needed so that goto works right. */
4310     }
4311     return cx;
4312 }
4313     
4314 PP(pp_entertry)
4315 {
4316     dVAR;
4317     PERL_CONTEXT * const cx = create_eval_scope(0);
4318     cx->blk_eval.retop = cLOGOP->op_other->op_next;
4319     return DOCATCH(PL_op->op_next);
4320 }
4321
4322 PP(pp_leavetry)
4323 {
4324     dVAR; dSP;
4325     SV **newsp;
4326     PMOP *newpm;
4327     I32 gimme;
4328     PERL_CONTEXT *cx;
4329     I32 optype;
4330
4331     PERL_ASYNC_CHECK();
4332     POPBLOCK(cx,newpm);
4333     POPEVAL(cx);
4334     PERL_UNUSED_VAR(optype);
4335
4336     TAINT_NOT;
4337     SP = adjust_stack_on_leave(newsp, SP, newsp, gimme, SVs_PADTMP|SVs_TEMP);
4338     PL_curpm = newpm;   /* Don't pop $1 et al till now */
4339
4340     LEAVE_with_name("eval_scope");
4341     CLEAR_ERRSV();
4342     RETURN;
4343 }
4344
4345 PP(pp_entergiven)
4346 {
4347     dVAR; dSP;
4348     PERL_CONTEXT *cx;
4349     const I32 gimme = GIMME_V;
4350     
4351     ENTER_with_name("given");
4352     SAVETMPS;
4353
4354     if (PL_op->op_targ) {
4355         SAVEPADSVANDMORTALIZE(PL_op->op_targ);
4356         SvREFCNT_dec(PAD_SVl(PL_op->op_targ));
4357         PAD_SVl(PL_op->op_targ) = SvREFCNT_inc_NN(POPs);
4358     }
4359     else {
4360         SAVE_DEFSV;
4361         DEFSV_set(POPs);
4362     }
4363
4364     PUSHBLOCK(cx, CXt_GIVEN, SP);
4365     PUSHGIVEN(cx);
4366
4367     RETURN;
4368 }
4369
4370 PP(pp_leavegiven)
4371 {
4372     dVAR; dSP;
4373     PERL_CONTEXT *cx;
4374     I32 gimme;
4375     SV **newsp;
4376     PMOP *newpm;
4377     PERL_UNUSED_CONTEXT;
4378
4379     POPBLOCK(cx,newpm);
4380     assert(CxTYPE(cx) == CXt_GIVEN);
4381
4382     TAINT_NOT;
4383     SP = adjust_stack_on_leave(newsp, SP, newsp, gimme, SVs_PADTMP|SVs_TEMP);
4384     PL_curpm = newpm;   /* Don't pop $1 et al till now */
4385
4386     LEAVE_with_name("given");
4387     RETURN;
4388 }
4389
4390 /* Helper routines used by pp_smartmatch */
4391 STATIC PMOP *
4392 S_make_matcher(pTHX_ REGEXP *re)
4393 {
4394     dVAR;
4395     PMOP *matcher = (PMOP *) newPMOP(OP_MATCH, OPf_WANT_SCALAR | OPf_STACKED);
4396
4397     PERL_ARGS_ASSERT_MAKE_MATCHER;
4398
4399     PM_SETRE(matcher, ReREFCNT_inc(re));
4400
4401     SAVEFREEOP((OP *) matcher);
4402     ENTER_with_name("matcher"); SAVETMPS;
4403     SAVEOP();
4404     return matcher;
4405 }
4406
4407 STATIC bool
4408 S_matcher_matches_sv(pTHX_ PMOP *matcher, SV *sv)
4409 {
4410     dVAR;
4411     dSP;
4412
4413     PERL_ARGS_ASSERT_MATCHER_MATCHES_SV;
4414     
4415     PL_op = (OP *) matcher;
4416     XPUSHs(sv);
4417     PUTBACK;
4418     (void) Perl_pp_match(aTHX);
4419     SPAGAIN;
4420     return (SvTRUEx(POPs));
4421 }
4422
4423 STATIC void
4424 S_destroy_matcher(pTHX_ PMOP *matcher)
4425 {
4426     dVAR;
4427
4428     PERL_ARGS_ASSERT_DESTROY_MATCHER;
4429     PERL_UNUSED_ARG(matcher);
4430
4431     FREETMPS;
4432     LEAVE_with_name("matcher");
4433 }
4434
4435 /* Do a smart match */
4436 PP(pp_smartmatch)
4437 {
4438     DEBUG_M(Perl_deb(aTHX_ "Starting smart match resolution\n"));
4439     return do_smartmatch(NULL, NULL, 0);
4440 }
4441
4442 /* This version of do_smartmatch() implements the
4443  * table of smart matches that is found in perlsyn.
4444  */
4445 STATIC OP *
4446 S_do_smartmatch(pTHX_ HV *seen_this, HV *seen_other, const bool copied)
4447 {
4448     dVAR;
4449     dSP;
4450     
4451     bool object_on_left = FALSE;
4452     SV *e = TOPs;       /* e is for 'expression' */
4453     SV *d = TOPm1s;     /* d is for 'default', as in PL_defgv */
4454
4455     /* Take care only to invoke mg_get() once for each argument.
4456      * Currently we do this by copying the SV if it's magical. */
4457     if (d) {
4458         if (!copied && SvGMAGICAL(d))
4459             d = sv_mortalcopy(d);
4460     }
4461     else
4462         d = &PL_sv_undef;
4463
4464     assert(e);
4465     if (SvGMAGICAL(e))
4466         e = sv_mortalcopy(e);
4467
4468     /* First of all, handle overload magic of the rightmost argument */
4469     if (SvAMAGIC(e)) {
4470         SV * tmpsv;
4471         DEBUG_M(Perl_deb(aTHX_ "    applying rule Any-Object\n"));
4472         DEBUG_M(Perl_deb(aTHX_ "        attempting overload\n"));
4473
4474         tmpsv = amagic_call(d, e, smart_amg, AMGf_noleft);
4475         if (tmpsv) {
4476             SPAGAIN;
4477             (void)POPs;
4478             SETs(tmpsv);
4479             RETURN;
4480         }
4481         DEBUG_M(Perl_deb(aTHX_ "        failed to run overload method; continuing...\n"));
4482     }
4483
4484     SP -= 2;    /* Pop the values */
4485
4486
4487     /* ~~ undef */
4488 &nbs