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