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