This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
In pp_match, refactor the call to CALLREGEXEC() to avoid a goto.
[perl5.git] / pp_hot.c
CommitLineData
a0d0e21e
LW
1/* pp_hot.c
2 *
1129b882
NC
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
a0d0e21e
LW
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 * Then he heard Merry change the note, and up went the Horn-cry of Buckland,
13 * shaking the air.
14 *
4ac71550
TC
15 * Awake! Awake! Fear, Fire, Foes! Awake!
16 * Fire, Foes! Awake!
17 *
18 * [p.1007 of _The Lord of the Rings_, VI/viii: "The Scouring of the Shire"]
a0d0e21e
LW
19 */
20
166f8a29
DM
21/* This file contains 'hot' pp ("push/pop") functions that
22 * execute the opcodes that make up a perl program. A typical pp function
23 * expects to find its arguments on the stack, and usually pushes its
24 * results onto the stack, hence the 'pp' terminology. Each OP structure
25 * contains a pointer to the relevant pp_foo() function.
26 *
27 * By 'hot', we mean common ops whose execution speed is critical.
28 * By gathering them together into a single file, we encourage
29 * CPU cache hits on hot code. Also it could be taken as a warning not to
30 * change any code in this file unless you're sure it won't affect
31 * performance.
32 */
33
a0d0e21e 34#include "EXTERN.h"
864dbfa3 35#define PERL_IN_PP_HOT_C
a0d0e21e
LW
36#include "perl.h"
37
38/* Hot code. */
39
40PP(pp_const)
41{
97aff369 42 dVAR;
39644a26 43 dSP;
996c9baa 44 XPUSHs(cSVOP_sv);
a0d0e21e
LW
45 RETURN;
46}
47
48PP(pp_nextstate)
49{
97aff369 50 dVAR;
533c011a 51 PL_curcop = (COP*)PL_op;
a0d0e21e 52 TAINT_NOT; /* Each statement is presumed innocent */
3280af22 53 PL_stack_sp = PL_stack_base + cxstack[cxstack_ix].blk_oldsp;
a0d0e21e 54 FREETMPS;
f410a211 55 PERL_ASYNC_CHECK();
a0d0e21e
LW
56 return NORMAL;
57}
58
59PP(pp_gvsv)
60{
97aff369 61 dVAR;
39644a26 62 dSP;
924508f0 63 EXTEND(SP,1);
533c011a 64 if (PL_op->op_private & OPpLVAL_INTRO)
1d7c1841 65 PUSHs(save_scalar(cGVOP_gv));
a0d0e21e 66 else
c69033f2 67 PUSHs(GvSVn(cGVOP_gv));
a0d0e21e
LW
68 RETURN;
69}
70
71PP(pp_null)
72{
97aff369 73 dVAR;
a0d0e21e
LW
74 return NORMAL;
75}
76
77PP(pp_pushmark)
78{
97aff369 79 dVAR;
3280af22 80 PUSHMARK(PL_stack_sp);
a0d0e21e
LW
81 return NORMAL;
82}
83
84PP(pp_stringify)
85{
97aff369 86 dVAR; dSP; dTARGET;
6050d10e 87 sv_copypv(TARG,TOPs);
a0d0e21e
LW
88 SETTARG;
89 RETURN;
90}
91
92PP(pp_gv)
93{
97aff369 94 dVAR; dSP;
ad64d0ec 95 XPUSHs(MUTABLE_SV(cGVOP_gv));
a0d0e21e
LW
96 RETURN;
97}
98
99PP(pp_and)
100{
97aff369 101 dVAR; dSP;
f410a211 102 PERL_ASYNC_CHECK();
a0d0e21e
LW
103 if (!SvTRUE(TOPs))
104 RETURN;
105 else {
c960fc3b
SP
106 if (PL_op->op_type == OP_AND)
107 --SP;
a0d0e21e
LW
108 RETURNOP(cLOGOP->op_other);
109 }
110}
111
112PP(pp_sassign)
113{
97aff369 114 dVAR; dSP; dPOPTOPssrl;
748a9306 115
533c011a 116 if (PL_op->op_private & OPpASSIGN_BACKWARDS) {
0bd48802
AL
117 SV * const temp = left;
118 left = right; right = temp;
a0d0e21e 119 }
3280af22 120 if (PL_tainting && PL_tainted && !SvTAINTED(left))
a0d0e21e 121 TAINT_NOT;
e26df76a 122 if (PL_op->op_private & OPpASSIGN_CV_TO_GV) {
6136c704 123 SV * const cv = SvRV(left);
e26df76a 124 const U32 cv_type = SvTYPE(cv);
13be902c 125 const bool is_gv = isGV_with_GP(right);
6136c704 126 const bool got_coderef = cv_type == SVt_PVCV || cv_type == SVt_PVFM;
e26df76a
NC
127
128 if (!got_coderef) {
129 assert(SvROK(cv));
130 }
131
ae6d515f 132 /* Can do the optimisation if right (LVALUE) is not a typeglob,
e26df76a
NC
133 left (RVALUE) is a reference to something, and we're in void
134 context. */
13be902c 135 if (!got_coderef && !is_gv && GIMME_V == G_VOID) {
e26df76a 136 /* Is the target symbol table currently empty? */
6136c704 137 GV * const gv = gv_fetchsv(right, GV_NOINIT, SVt_PVGV);
bb112e5a 138 if (SvTYPE(gv) != SVt_PVGV && !SvOK(gv)) {
e26df76a
NC
139 /* Good. Create a new proxy constant subroutine in the target.
140 The gv becomes a(nother) reference to the constant. */
141 SV *const value = SvRV(cv);
142
ad64d0ec 143 SvUPGRADE(MUTABLE_SV(gv), SVt_IV);
1ccdb730 144 SvPCS_IMPORTED_on(gv);
e26df76a 145 SvRV_set(gv, value);
b37c2d43 146 SvREFCNT_inc_simple_void(value);
e26df76a
NC
147 SETs(right);
148 RETURN;
149 }
150 }
151
152 /* Need to fix things up. */
13be902c 153 if (!is_gv) {
e26df76a 154 /* Need to fix GV. */
ad64d0ec 155 right = MUTABLE_SV(gv_fetchsv(right, GV_ADD, SVt_PVGV));
e26df76a
NC
156 }
157
158 if (!got_coderef) {
159 /* We've been returned a constant rather than a full subroutine,
160 but they expect a subroutine reference to apply. */
53a42478 161 if (SvROK(cv)) {
d343c3ef 162 ENTER_with_name("sassign_coderef");
53a42478
NC
163 SvREFCNT_inc_void(SvRV(cv));
164 /* newCONSTSUB takes a reference count on the passed in SV
165 from us. We set the name to NULL, otherwise we get into
166 all sorts of fun as the reference to our new sub is
167 donated to the GV that we're about to assign to.
168 */
ad64d0ec
NC
169 SvRV_set(left, MUTABLE_SV(newCONSTSUB(GvSTASH(right), NULL,
170 SvRV(cv))));
53a42478 171 SvREFCNT_dec(cv);
d343c3ef 172 LEAVE_with_name("sassign_coderef");
53a42478
NC
173 } else {
174 /* What can happen for the corner case *{"BONK"} = \&{"BONK"};
175 is that
176 First: ops for \&{"BONK"}; return us the constant in the
177 symbol table
178 Second: ops for *{"BONK"} cause that symbol table entry
179 (and our reference to it) to be upgraded from RV
180 to typeblob)
181 Thirdly: We get here. cv is actually PVGV now, and its
182 GvCV() is actually the subroutine we're looking for
183
184 So change the reference so that it points to the subroutine
185 of that typeglob, as that's what they were after all along.
186 */
159b6efe 187 GV *const upgraded = MUTABLE_GV(cv);
53a42478
NC
188 CV *const source = GvCV(upgraded);
189
190 assert(source);
191 assert(CvFLAGS(source) & CVf_CONST);
192
193 SvREFCNT_inc_void(source);
194 SvREFCNT_dec(upgraded);
ad64d0ec 195 SvRV_set(left, MUTABLE_SV(source));
53a42478 196 }
e26df76a 197 }
53a42478 198
e26df76a 199 }
8fe85e3f
FC
200 if (
201 SvTEMP(right) && !SvSMAGICAL(right) && SvREFCNT(right) == 1 &&
202 (!isGV_with_GP(right) || SvFAKE(right)) && ckWARN(WARN_MISC)
203 )
204 Perl_warner(aTHX_
205 packWARN(WARN_MISC), "Useless assignment to a temporary"
206 );
54310121 207 SvSetMagicSV(right, left);
a0d0e21e
LW
208 SETs(right);
209 RETURN;
210}
211
212PP(pp_cond_expr)
213{
97aff369 214 dVAR; dSP;
f410a211 215 PERL_ASYNC_CHECK();
a0d0e21e 216 if (SvTRUEx(POPs))
1a67a97c 217 RETURNOP(cLOGOP->op_other);
a0d0e21e 218 else
1a67a97c 219 RETURNOP(cLOGOP->op_next);
a0d0e21e
LW
220}
221
222PP(pp_unstack)
223{
97aff369 224 dVAR;
8f3964af 225 PERL_ASYNC_CHECK();
a0d0e21e 226 TAINT_NOT; /* Each statement is presumed innocent */
3280af22 227 PL_stack_sp = PL_stack_base + cxstack[cxstack_ix].blk_oldsp;
a0d0e21e 228 FREETMPS;
eae48c89
Z
229 if (!(PL_op->op_flags & OPf_SPECIAL)) {
230 I32 oldsave = PL_scopestack[PL_scopestack_ix - 1];
231 LEAVE_SCOPE(oldsave);
232 }
a0d0e21e
LW
233 return NORMAL;
234}
235
a0d0e21e
LW
236PP(pp_concat)
237{
6f1401dc 238 dVAR; dSP; dATARGET; tryAMAGICbin_MG(concat_amg, AMGf_assign);
748a9306
LW
239 {
240 dPOPTOPssrl;
8d6d96c1
HS
241 bool lbyte;
242 STRLEN rlen;
d4c19fe8 243 const char *rpv = NULL;
a6b599c7 244 bool rbyte = FALSE;
a9c4fd4e 245 bool rcopied = FALSE;
8d6d96c1 246
6f1401dc
DM
247 if (TARG == right && right != left) { /* $r = $l.$r */
248 rpv = SvPV_nomg_const(right, rlen);
c75ab21a 249 rbyte = !DO_UTF8(right);
59cd0e26 250 right = newSVpvn_flags(rpv, rlen, SVs_TEMP);
349d4f2f 251 rpv = SvPV_const(right, rlen); /* no point setting UTF-8 here */
db79b45b 252 rcopied = TRUE;
8d6d96c1 253 }
7889fe52 254
89734059 255 if (TARG != left) { /* not $l .= $r */
a9c4fd4e 256 STRLEN llen;
6f1401dc 257 const char* const lpv = SvPV_nomg_const(left, llen);
90f5826e 258 lbyte = !DO_UTF8(left);
8d6d96c1
HS
259 sv_setpvn(TARG, lpv, llen);
260 if (!lbyte)
261 SvUTF8_on(TARG);
262 else
263 SvUTF8_off(TARG);
264 }
89734059 265 else { /* $l .= $r */
c75ab21a 266 if (!SvOK(TARG)) {
89734059 267 if (left == right && ckWARN(WARN_UNINITIALIZED)) /* $l .= $l */
c75ab21a 268 report_uninit(right);
76f68e9b 269 sv_setpvs(left, "");
c75ab21a 270 }
c5aa2872
DM
271 lbyte = (SvROK(left) && SvTYPE(SvRV(left)) == SVt_REGEXP)
272 ? !DO_UTF8(SvRV(left)) : !DO_UTF8(left);
90f5826e
ST
273 if (IN_BYTES)
274 SvUTF8_off(TARG);
8d6d96c1 275 }
a12c0f56 276
c75ab21a 277 if (!rcopied) {
6f1401dc 278 if (left == right)
89734059 279 /* $r.$r: do magic twice: tied might return different 2nd time */
6f1401dc
DM
280 SvGETMAGIC(right);
281 rpv = SvPV_nomg_const(right, rlen);
c75ab21a
RH
282 rbyte = !DO_UTF8(right);
283 }
8d6d96c1 284 if (lbyte != rbyte) {
e3393f51
NT
285 /* sv_utf8_upgrade_nomg() may reallocate the stack */
286 PUTBACK;
8d6d96c1
HS
287 if (lbyte)
288 sv_utf8_upgrade_nomg(TARG);
289 else {
db79b45b 290 if (!rcopied)
59cd0e26 291 right = newSVpvn_flags(rpv, rlen, SVs_TEMP);
8d6d96c1 292 sv_utf8_upgrade_nomg(right);
6f1401dc 293 rpv = SvPV_nomg_const(right, rlen);
69b47968 294 }
e3393f51 295 SPAGAIN;
a0d0e21e 296 }
8d6d96c1 297 sv_catpvn_nomg(TARG, rpv, rlen);
43ebc500 298
a0d0e21e
LW
299 SETTARG;
300 RETURN;
748a9306 301 }
a0d0e21e
LW
302}
303
304PP(pp_padsv)
305{
97aff369 306 dVAR; dSP; dTARGET;
a0d0e21e 307 XPUSHs(TARG);
533c011a
NIS
308 if (PL_op->op_flags & OPf_MOD) {
309 if (PL_op->op_private & OPpLVAL_INTRO)
952306ac
RGS
310 if (!(PL_op->op_private & OPpPAD_STATE))
311 SAVECLEARSV(PAD_SVl(PL_op->op_targ));
a62b51b8 312 if (PL_op->op_private & OPpDEREF) {
8ec5e241 313 PUTBACK;
dd2155a4 314 vivify_ref(PAD_SVl(PL_op->op_targ), PL_op->op_private & OPpDEREF);
8ec5e241
NIS
315 SPAGAIN;
316 }
4633a7c4 317 }
a0d0e21e
LW
318 RETURN;
319}
320
321PP(pp_readline)
322{
97aff369 323 dVAR;
9e27fd70 324 dSP; SvGETMAGIC(TOPs);
9426e1a5 325 tryAMAGICunTARGET(iter_amg, 0, 0);
159b6efe 326 PL_last_in_gv = MUTABLE_GV(*PL_stack_sp--);
6e592b3a
BM
327 if (!isGV_with_GP(PL_last_in_gv)) {
328 if (SvROK(PL_last_in_gv) && isGV_with_GP(SvRV(PL_last_in_gv)))
159b6efe 329 PL_last_in_gv = MUTABLE_GV(SvRV(PL_last_in_gv));
8efb3254 330 else {
f5284f61 331 dSP;
ad64d0ec 332 XPUSHs(MUTABLE_SV(PL_last_in_gv));
f5284f61 333 PUTBACK;
897d3989 334 Perl_pp_rv2gv(aTHX);
159b6efe 335 PL_last_in_gv = MUTABLE_GV(*PL_stack_sp--);
f5284f61
IZ
336 }
337 }
a0d0e21e
LW
338 return do_readline();
339}
340
341PP(pp_eq)
342{
6f1401dc 343 dVAR; dSP;
a42d0242 344 tryAMAGICbin_MG(eq_amg, AMGf_set|AMGf_numeric);
4c9fe80f 345#ifndef NV_PRESERVES_UV
ed3b9b3c 346 if (SvROK(TOPs) && !SvAMAGIC(TOPs) && SvROK(TOPm1s) && !SvAMAGIC(TOPm1s)) {
e61d22ef
NC
347 SP--;
348 SETs(boolSV(SvRV(TOPs) == SvRV(TOPp1s)));
4c9fe80f
AS
349 RETURN;
350 }
351#endif
28e5dec8 352#ifdef PERL_PRESERVE_IVUV
6f1401dc 353 SvIV_please_nomg(TOPs);
28e5dec8 354 if (SvIOK(TOPs)) {
4c9fe80f
AS
355 /* Unless the left argument is integer in range we are going
356 to have to use NV maths. Hence only attempt to coerce the
357 right argument if we know the left is integer. */
6f1401dc 358 SvIV_please_nomg(TOPm1s);
28e5dec8 359 if (SvIOK(TOPm1s)) {
0bd48802
AL
360 const bool auvok = SvUOK(TOPm1s);
361 const bool buvok = SvUOK(TOPs);
a12c0f56 362
1605159e
NC
363 if (auvok == buvok) { /* ## IV == IV or UV == UV ## */
364 /* Casting IV to UV before comparison isn't going to matter
365 on 2s complement. On 1s complement or sign&magnitude
366 (if we have any of them) it could to make negative zero
367 differ from normal zero. As I understand it. (Need to
368 check - is negative zero implementation defined behaviour
369 anyway?). NWC */
0bd48802
AL
370 const UV buv = SvUVX(POPs);
371 const UV auv = SvUVX(TOPs);
28e5dec8 372
28e5dec8
JH
373 SETs(boolSV(auv == buv));
374 RETURN;
375 }
376 { /* ## Mixed IV,UV ## */
1605159e 377 SV *ivp, *uvp;
28e5dec8 378 IV iv;
28e5dec8 379
1605159e 380 /* == is commutative so doesn't matter which is left or right */
28e5dec8 381 if (auvok) {
1605159e
NC
382 /* top of stack (b) is the iv */
383 ivp = *SP;
384 uvp = *--SP;
385 } else {
386 uvp = *SP;
387 ivp = *--SP;
388 }
389 iv = SvIVX(ivp);
d4c19fe8 390 if (iv < 0)
1605159e
NC
391 /* As uv is a UV, it's >0, so it cannot be == */
392 SETs(&PL_sv_no);
d4c19fe8
AL
393 else
394 /* we know iv is >= 0 */
395 SETs(boolSV((UV)iv == SvUVX(uvp)));
28e5dec8
JH
396 RETURN;
397 }
398 }
399 }
400#endif
a0d0e21e 401 {
cab190d4 402#if defined(NAN_COMPARE_BROKEN) && defined(Perl_isnan)
6f1401dc 403 dPOPTOPnnrl_nomg;
cab190d4
JD
404 if (Perl_isnan(left) || Perl_isnan(right))
405 RETSETNO;
406 SETs(boolSV(left == right));
407#else
6f1401dc
DM
408 dPOPnv_nomg;
409 SETs(boolSV(SvNV_nomg(TOPs) == value));
cab190d4 410#endif
a0d0e21e
LW
411 RETURN;
412 }
413}
414
415PP(pp_preinc)
416{
97aff369 417 dVAR; dSP;
6e592b3a 418 if (SvTYPE(TOPs) >= SVt_PVAV || isGV_with_GP(TOPs))
6ad8f254 419 Perl_croak_no_modify(aTHX);
3510b4a1
NC
420 if (!SvREADONLY(TOPs) && SvIOK_notUV(TOPs) && !SvNOK(TOPs) && !SvPOK(TOPs)
421 && SvIVX(TOPs) != IV_MAX)
55497cff 422 {
45977657 423 SvIV_set(TOPs, SvIVX(TOPs) + 1);
55497cff 424 SvFLAGS(TOPs) &= ~(SVp_NOK|SVp_POK);
748a9306 425 }
28e5dec8 426 else /* Do all the PERL_PRESERVE_IVUV conditionals in sv_inc */
748a9306 427 sv_inc(TOPs);
a0d0e21e
LW
428 SvSETMAGIC(TOPs);
429 return NORMAL;
430}
431
432PP(pp_or)
433{
97aff369 434 dVAR; dSP;
f410a211 435 PERL_ASYNC_CHECK();
a0d0e21e
LW
436 if (SvTRUE(TOPs))
437 RETURN;
438 else {
c960fc3b
SP
439 if (PL_op->op_type == OP_OR)
440 --SP;
a0d0e21e
LW
441 RETURNOP(cLOGOP->op_other);
442 }
443}
444
25a55bd7 445PP(pp_defined)
c963b151 446{
97aff369 447 dVAR; dSP;
6136c704
AL
448 register SV* sv;
449 bool defined;
25a55bd7 450 const int op_type = PL_op->op_type;
ea5195b7 451 const bool is_dor = (op_type == OP_DOR || op_type == OP_DORASSIGN);
c963b151 452
6136c704 453 if (is_dor) {
f410a211 454 PERL_ASYNC_CHECK();
25a55bd7
SP
455 sv = TOPs;
456 if (!sv || !SvANY(sv)) {
2bd49cfc
NC
457 if (op_type == OP_DOR)
458 --SP;
25a55bd7
SP
459 RETURNOP(cLOGOP->op_other);
460 }
b7c44293
RGS
461 }
462 else {
463 /* OP_DEFINED */
25a55bd7
SP
464 sv = POPs;
465 if (!sv || !SvANY(sv))
466 RETPUSHNO;
b7c44293 467 }
25a55bd7 468
6136c704 469 defined = FALSE;
c963b151
BD
470 switch (SvTYPE(sv)) {
471 case SVt_PVAV:
472 if (AvMAX(sv) >= 0 || SvGMAGICAL(sv) || (SvRMAGICAL(sv) && mg_find(sv, PERL_MAGIC_tied)))
25a55bd7 473 defined = TRUE;
c963b151
BD
474 break;
475 case SVt_PVHV:
476 if (HvARRAY(sv) || SvGMAGICAL(sv) || (SvRMAGICAL(sv) && mg_find(sv, PERL_MAGIC_tied)))
25a55bd7 477 defined = TRUE;
c963b151
BD
478 break;
479 case SVt_PVCV:
480 if (CvROOT(sv) || CvXSUB(sv))
25a55bd7 481 defined = TRUE;
c963b151
BD
482 break;
483 default:
5b295bef 484 SvGETMAGIC(sv);
c963b151 485 if (SvOK(sv))
25a55bd7 486 defined = TRUE;
6136c704 487 break;
c963b151 488 }
6136c704
AL
489
490 if (is_dor) {
c960fc3b
SP
491 if(defined)
492 RETURN;
493 if(op_type == OP_DOR)
494 --SP;
25a55bd7 495 RETURNOP(cLOGOP->op_other);
25a55bd7 496 }
d9aa96a4
SP
497 /* assuming OP_DEFINED */
498 if(defined)
499 RETPUSHYES;
500 RETPUSHNO;
c963b151
BD
501}
502
a0d0e21e
LW
503PP(pp_add)
504{
800401ee 505 dVAR; dSP; dATARGET; bool useleft; SV *svl, *svr;
6f1401dc
DM
506 tryAMAGICbin_MG(add_amg, AMGf_assign|AMGf_numeric);
507 svr = TOPs;
508 svl = TOPm1s;
509
800401ee 510 useleft = USE_LEFT(svl);
28e5dec8
JH
511#ifdef PERL_PRESERVE_IVUV
512 /* We must see if we can perform the addition with integers if possible,
513 as the integer code detects overflow while the NV code doesn't.
514 If either argument hasn't had a numeric conversion yet attempt to get
515 the IV. It's important to do this now, rather than just assuming that
516 it's not IOK as a PV of "9223372036854775806" may not take well to NV
517 addition, and an SV which is NOK, NV=6.0 ought to be coerced to
518 integer in case the second argument is IV=9223372036854775806
519 We can (now) rely on sv_2iv to do the right thing, only setting the
520 public IOK flag if the value in the NV (or PV) slot is truly integer.
521
522 A side effect is that this also aggressively prefers integer maths over
7dca457a
NC
523 fp maths for integer values.
524
a00b5bd3 525 How to detect overflow?
7dca457a
NC
526
527 C 99 section 6.2.6.1 says
528
529 The range of nonnegative values of a signed integer type is a subrange
530 of the corresponding unsigned integer type, and the representation of
531 the same value in each type is the same. A computation involving
532 unsigned operands can never overflow, because a result that cannot be
533 represented by the resulting unsigned integer type is reduced modulo
534 the number that is one greater than the largest value that can be
535 represented by the resulting type.
536
537 (the 9th paragraph)
538
539 which I read as "unsigned ints wrap."
540
541 signed integer overflow seems to be classed as "exception condition"
542
543 If an exceptional condition occurs during the evaluation of an
544 expression (that is, if the result is not mathematically defined or not
545 in the range of representable values for its type), the behavior is
546 undefined.
547
548 (6.5, the 5th paragraph)
549
550 I had assumed that on 2s complement machines signed arithmetic would
551 wrap, hence coded pp_add and pp_subtract on the assumption that
552 everything perl builds on would be happy. After much wailing and
553 gnashing of teeth it would seem that irix64 knows its ANSI spec well,
554 knows that it doesn't need to, and doesn't. Bah. Anyway, the all-
555 unsigned code below is actually shorter than the old code. :-)
556 */
557
6f1401dc
DM
558 SvIV_please_nomg(svr);
559
800401ee 560 if (SvIOK(svr)) {
28e5dec8
JH
561 /* Unless the left argument is integer in range we are going to have to
562 use NV maths. Hence only attempt to coerce the right argument if
563 we know the left is integer. */
9c5ffd7c
JH
564 register UV auv = 0;
565 bool auvok = FALSE;
7dca457a
NC
566 bool a_valid = 0;
567
28e5dec8 568 if (!useleft) {
7dca457a
NC
569 auv = 0;
570 a_valid = auvok = 1;
571 /* left operand is undef, treat as zero. + 0 is identity,
572 Could SETi or SETu right now, but space optimise by not adding
573 lots of code to speed up what is probably a rarish case. */
574 } else {
575 /* Left operand is defined, so is it IV? */
6f1401dc 576 SvIV_please_nomg(svl);
800401ee
JH
577 if (SvIOK(svl)) {
578 if ((auvok = SvUOK(svl)))
579 auv = SvUVX(svl);
7dca457a 580 else {
800401ee 581 register const IV aiv = SvIVX(svl);
7dca457a
NC
582 if (aiv >= 0) {
583 auv = aiv;
584 auvok = 1; /* Now acting as a sign flag. */
585 } else { /* 2s complement assumption for IV_MIN */
586 auv = (UV)-aiv;
587 }
588 }
589 a_valid = 1;
28e5dec8
JH
590 }
591 }
7dca457a
NC
592 if (a_valid) {
593 bool result_good = 0;
594 UV result;
595 register UV buv;
800401ee 596 bool buvok = SvUOK(svr);
a00b5bd3 597
7dca457a 598 if (buvok)
800401ee 599 buv = SvUVX(svr);
7dca457a 600 else {
800401ee 601 register const IV biv = SvIVX(svr);
7dca457a
NC
602 if (biv >= 0) {
603 buv = biv;
604 buvok = 1;
605 } else
606 buv = (UV)-biv;
607 }
608 /* ?uvok if value is >= 0. basically, flagged as UV if it's +ve,
602f51c4 609 else "IV" now, independent of how it came in.
7dca457a
NC
610 if a, b represents positive, A, B negative, a maps to -A etc
611 a + b => (a + b)
612 A + b => -(a - b)
613 a + B => (a - b)
614 A + B => -(a + b)
615 all UV maths. negate result if A negative.
616 add if signs same, subtract if signs differ. */
617
618 if (auvok ^ buvok) {
619 /* Signs differ. */
620 if (auv >= buv) {
621 result = auv - buv;
622 /* Must get smaller */
623 if (result <= auv)
624 result_good = 1;
625 } else {
626 result = buv - auv;
627 if (result <= buv) {
628 /* result really should be -(auv-buv). as its negation
629 of true value, need to swap our result flag */
630 auvok = !auvok;
631 result_good = 1;
28e5dec8
JH
632 }
633 }
7dca457a
NC
634 } else {
635 /* Signs same */
636 result = auv + buv;
637 if (result >= auv)
638 result_good = 1;
639 }
640 if (result_good) {
641 SP--;
642 if (auvok)
28e5dec8 643 SETu( result );
7dca457a
NC
644 else {
645 /* Negate result */
646 if (result <= (UV)IV_MIN)
647 SETi( -(IV)result );
648 else {
649 /* result valid, but out of range for IV. */
650 SETn( -(NV)result );
28e5dec8
JH
651 }
652 }
7dca457a
NC
653 RETURN;
654 } /* Overflow, drop through to NVs. */
28e5dec8
JH
655 }
656 }
657#endif
a0d0e21e 658 {
6f1401dc 659 NV value = SvNV_nomg(svr);
4efa5a16 660 (void)POPs;
28e5dec8
JH
661 if (!useleft) {
662 /* left operand is undef, treat as zero. + 0.0 is identity. */
663 SETn(value);
664 RETURN;
665 }
6f1401dc 666 SETn( value + SvNV_nomg(svl) );
28e5dec8 667 RETURN;
a0d0e21e
LW
668 }
669}
670
671PP(pp_aelemfast)
672{
97aff369 673 dVAR; dSP;
93bad3fd 674 AV * const av = PL_op->op_type == OP_AELEMFAST_LEX
8f878375 675 ? MUTABLE_AV(PAD_SV(PL_op->op_targ)) : GvAVn(cGVOP_gv);
a3b680e6 676 const U32 lval = PL_op->op_flags & OPf_MOD;
0bd48802 677 SV** const svp = av_fetch(av, PL_op->op_private, lval);
3280af22 678 SV *sv = (svp ? *svp : &PL_sv_undef);
6ff81951 679 EXTEND(SP, 1);
39cf747a 680 if (!lval && SvRMAGICAL(av) && SvGMAGICAL(sv)) /* see note in pp_helem() */
fd69380d 681 mg_get(sv);
be6c24e0 682 PUSHs(sv);
a0d0e21e
LW
683 RETURN;
684}
685
686PP(pp_join)
687{
97aff369 688 dVAR; dSP; dMARK; dTARGET;
a0d0e21e
LW
689 MARK++;
690 do_join(TARG, *MARK, MARK, SP);
691 SP = MARK;
692 SETs(TARG);
693 RETURN;
694}
695
696PP(pp_pushre)
697{
97aff369 698 dVAR; dSP;
44a8e56a
PP
699#ifdef DEBUGGING
700 /*
701 * We ass_u_me that LvTARGOFF() comes first, and that two STRLENs
702 * will be enough to hold an OP*.
703 */
c4420975 704 SV* const sv = sv_newmortal();
44a8e56a
PP
705 sv_upgrade(sv, SVt_PVLV);
706 LvTYPE(sv) = '/';
533c011a 707 Copy(&PL_op, &LvTARGOFF(sv), 1, OP*);
44a8e56a
PP
708 XPUSHs(sv);
709#else
ad64d0ec 710 XPUSHs(MUTABLE_SV(PL_op));
44a8e56a 711#endif
a0d0e21e
LW
712 RETURN;
713}
714
715/* Oversized hot code. */
716
717PP(pp_print)
718{
27da23d5 719 dVAR; dSP; dMARK; dORIGMARK;
760ac839 720 register PerlIO *fp;
236988e4 721 MAGIC *mg;
159b6efe
NC
722 GV * const gv
723 = (PL_op->op_flags & OPf_STACKED) ? MUTABLE_GV(*++MARK) : PL_defoutgv;
9c9f25b8 724 IO *io = GvIO(gv);
5b468f54 725
9c9f25b8 726 if (io
ad64d0ec 727 && (mg = SvTIED_mg((const SV *)io, PERL_MAGIC_tiedscalar)))
5b468f54 728 {
01bb7c6d 729 had_magic:
68dc0745 730 if (MARK == ORIGMARK) {
1c846c1f 731 /* If using default handle then we need to make space to
a60c0954
NIS
732 * pass object as 1st arg, so move other args up ...
733 */
4352c267 734 MEXTEND(SP, 1);
68dc0745
PP
735 ++MARK;
736 Move(MARK, MARK + 1, (SP - MARK) + 1, SV*);
737 ++SP;
738 }
94bc412f
NC
739 return Perl_tied_method(aTHX_ "PRINT", mark - 1, MUTABLE_SV(io),
740 mg,
741 (G_SCALAR | TIED_METHOD_ARGUMENTS_ON_STACK
742 | (PL_op->op_type == OP_SAY
743 ? TIED_METHOD_SAY : 0)), sp - mark);
236988e4 744 }
9c9f25b8 745 if (!io) {
68b590d9 746 if ( gv && GvEGVx(gv) && (io = GvIO(GvEGV(gv)))
ad64d0ec 747 && (mg = SvTIED_mg((const SV *)io, PERL_MAGIC_tiedscalar)))
01bb7c6d 748 goto had_magic;
51087808 749 report_evil_fh(gv);
93189314 750 SETERRNO(EBADF,RMS_IFI);
a0d0e21e
LW
751 goto just_say_no;
752 }
753 else if (!(fp = IoOFP(io))) {
7716c5c5
NC
754 if (IoIFP(io))
755 report_wrongway_fh(gv, '<');
51087808 756 else
7716c5c5 757 report_evil_fh(gv);
93189314 758 SETERRNO(EBADF,IoIFP(io)?RMS_FAC:RMS_IFI);
a0d0e21e
LW
759 goto just_say_no;
760 }
761 else {
e23d9e2f 762 SV * const ofs = GvSV(PL_ofsgv); /* $, */
a0d0e21e 763 MARK++;
e23d9e2f 764 if (ofs && (SvGMAGICAL(ofs) || SvOK(ofs))) {
a0d0e21e
LW
765 while (MARK <= SP) {
766 if (!do_print(*MARK, fp))
767 break;
768 MARK++;
769 if (MARK <= SP) {
e23d9e2f
CS
770 /* don't use 'ofs' here - it may be invalidated by magic callbacks */
771 if (!do_print(GvSV(PL_ofsgv), fp)) {
a0d0e21e
LW
772 MARK--;
773 break;
774 }
775 }
776 }
777 }
778 else {
779 while (MARK <= SP) {
780 if (!do_print(*MARK, fp))
781 break;
782 MARK++;
783 }
784 }
785 if (MARK <= SP)
786 goto just_say_no;
787 else {
cfc4a7da
GA
788 if (PL_op->op_type == OP_SAY) {
789 if (PerlIO_write(fp, "\n", 1) == 0 || PerlIO_error(fp))
790 goto just_say_no;
791 }
792 else if (PL_ors_sv && SvOK(PL_ors_sv))
7889fe52 793 if (!do_print(PL_ors_sv, fp)) /* $\ */
a0d0e21e
LW
794 goto just_say_no;
795
796 if (IoFLAGS(io) & IOf_FLUSH)
760ac839 797 if (PerlIO_flush(fp) == EOF)
a0d0e21e
LW
798 goto just_say_no;
799 }
800 }
801 SP = ORIGMARK;
e52fd6f4 802 XPUSHs(&PL_sv_yes);
a0d0e21e
LW
803 RETURN;
804
805 just_say_no:
806 SP = ORIGMARK;
e52fd6f4 807 XPUSHs(&PL_sv_undef);
a0d0e21e
LW
808 RETURN;
809}
810
811PP(pp_rv2av)
812{
97aff369 813 dVAR; dSP; dTOPss;
cde874ca 814 const I32 gimme = GIMME_V;
17ab7946
NC
815 static const char an_array[] = "an ARRAY";
816 static const char a_hash[] = "a HASH";
817 const bool is_pp_rv2av = PL_op->op_type == OP_RV2AV;
d83b45b8 818 const svtype type = is_pp_rv2av ? SVt_PVAV : SVt_PVHV;
a0d0e21e 819
0824d667
DM
820 if (!(PL_op->op_private & OPpDEREFed))
821 SvGETMAGIC(sv);
a0d0e21e 822 if (SvROK(sv)) {
93d7320b
DM
823 if (SvAMAGIC(sv)) {
824 sv = amagic_deref_call(sv, is_pp_rv2av ? to_av_amg : to_hv_amg);
825 SPAGAIN;
826 }
17ab7946
NC
827 sv = SvRV(sv);
828 if (SvTYPE(sv) != type)
829 DIE(aTHX_ "Not %s reference", is_pp_rv2av ? an_array : a_hash);
533c011a 830 if (PL_op->op_flags & OPf_REF) {
17ab7946 831 SETs(sv);
a0d0e21e
LW
832 RETURN;
833 }
40c94d11
FC
834 else if (PL_op->op_private & OPpMAYBE_LVSUB) {
835 const I32 flags = is_lvalue_sub();
836 if (flags && !(flags & OPpENTERSUB_INARGS)) {
cde874ca 837 if (gimme != G_ARRAY)
042560a6 838 goto croak_cant_return;
17ab7946 839 SETs(sv);
78f9721b 840 RETURN;
40c94d11 841 }
78f9721b 842 }
82d03984
RGS
843 else if (PL_op->op_flags & OPf_MOD
844 && PL_op->op_private & OPpLVAL_INTRO)
f1f66076 845 Perl_croak(aTHX_ "%s", PL_no_localize_ref);
a0d0e21e
LW
846 }
847 else {
17ab7946 848 if (SvTYPE(sv) == type) {
533c011a 849 if (PL_op->op_flags & OPf_REF) {
17ab7946 850 SETs(sv);
a0d0e21e
LW
851 RETURN;
852 }
78f9721b 853 else if (LVRET) {
cde874ca 854 if (gimme != G_ARRAY)
042560a6 855 goto croak_cant_return;
17ab7946 856 SETs(sv);
78f9721b
SM
857 RETURN;
858 }
a0d0e21e
LW
859 }
860 else {
67955e0c 861 GV *gv;
1c846c1f 862
6e592b3a 863 if (!isGV_with_GP(sv)) {
dc3c76f8
NC
864 gv = Perl_softref2xv(aTHX_ sv, is_pp_rv2av ? an_array : a_hash,
865 type, &sp);
866 if (!gv)
867 RETURN;
35cd451c
GS
868 }
869 else {
159b6efe 870 gv = MUTABLE_GV(sv);
a0d0e21e 871 }
ad64d0ec 872 sv = is_pp_rv2av ? MUTABLE_SV(GvAVn(gv)) : MUTABLE_SV(GvHVn(gv));
533c011a 873 if (PL_op->op_private & OPpLVAL_INTRO)
ad64d0ec 874 sv = is_pp_rv2av ? MUTABLE_SV(save_ary(gv)) : MUTABLE_SV(save_hash(gv));
533c011a 875 if (PL_op->op_flags & OPf_REF) {
17ab7946 876 SETs(sv);
a0d0e21e
LW
877 RETURN;
878 }
40c94d11
FC
879 else if (PL_op->op_private & OPpMAYBE_LVSUB) {
880 const I32 flags = is_lvalue_sub();
881 if (flags && !(flags & OPpENTERSUB_INARGS)) {
cde874ca 882 if (gimme != G_ARRAY)
042560a6 883 goto croak_cant_return;
17ab7946 884 SETs(sv);
78f9721b 885 RETURN;
40c94d11 886 }
78f9721b 887 }
a0d0e21e
LW
888 }
889 }
890
17ab7946 891 if (is_pp_rv2av) {
502c6561 892 AV *const av = MUTABLE_AV(sv);
486ec47a 893 /* The guts of pp_rv2av, with no intending change to preserve history
17ab7946
NC
894 (until such time as we get tools that can do blame annotation across
895 whitespace changes. */
96913b52
VP
896 if (gimme == G_ARRAY) {
897 const I32 maxarg = AvFILL(av) + 1;
898 (void)POPs; /* XXXX May be optimized away? */
899 EXTEND(SP, maxarg);
900 if (SvRMAGICAL(av)) {
901 U32 i;
902 for (i=0; i < (U32)maxarg; i++) {
903 SV ** const svp = av_fetch(av, i, FALSE);
904 /* See note in pp_helem, and bug id #27839 */
905 SP[i+1] = svp
906 ? SvGMAGICAL(*svp) ? (mg_get(*svp), *svp) : *svp
907 : &PL_sv_undef;
908 }
909 }
910 else {
911 Copy(AvARRAY(av), SP+1, maxarg, SV*);
93965878 912 }
96913b52 913 SP += maxarg;
1c846c1f 914 }
96913b52
VP
915 else if (gimme == G_SCALAR) {
916 dTARGET;
917 const I32 maxarg = AvFILL(av) + 1;
918 SETi(maxarg);
93965878 919 }
17ab7946
NC
920 } else {
921 /* The guts of pp_rv2hv */
96913b52
VP
922 if (gimme == G_ARRAY) { /* array wanted */
923 *PL_stack_sp = sv;
981b7185 924 return Perl_do_kv(aTHX);
96913b52
VP
925 }
926 else if (gimme == G_SCALAR) {
927 dTARGET;
928 TARG = Perl_hv_scalar(aTHX_ MUTABLE_HV(sv));
929 SPAGAIN;
930 SETTARG;
931 }
17ab7946 932 }
be85d344 933 RETURN;
042560a6
NC
934
935 croak_cant_return:
936 Perl_croak(aTHX_ "Can't return %s to lvalue scalar context",
937 is_pp_rv2av ? "array" : "hash");
77e217c6 938 RETURN;
a0d0e21e
LW
939}
940
10c8fecd
GS
941STATIC void
942S_do_oddball(pTHX_ HV *hash, SV **relem, SV **firstrelem)
943{
97aff369 944 dVAR;
7918f24d
NC
945
946 PERL_ARGS_ASSERT_DO_ODDBALL;
947
10c8fecd
GS
948 if (*relem) {
949 SV *tmpstr;
b464bac0 950 const HE *didstore;
6d822dc4
MS
951
952 if (ckWARN(WARN_MISC)) {
a3b680e6 953 const char *err;
10c8fecd
GS
954 if (relem == firstrelem &&
955 SvROK(*relem) &&
956 (SvTYPE(SvRV(*relem)) == SVt_PVAV ||
957 SvTYPE(SvRV(*relem)) == SVt_PVHV))
958 {
a3b680e6 959 err = "Reference found where even-sized list expected";
10c8fecd
GS
960 }
961 else
a3b680e6 962 err = "Odd number of elements in hash assignment";
f1f66076 963 Perl_warner(aTHX_ packWARN(WARN_MISC), "%s", err);
10c8fecd 964 }
6d822dc4 965
561b68a9 966 tmpstr = newSV(0);
6d822dc4
MS
967 didstore = hv_store_ent(hash,*relem,tmpstr,0);
968 if (SvMAGICAL(hash)) {
969 if (SvSMAGICAL(tmpstr))
970 mg_set(tmpstr);
971 if (!didstore)
972 sv_2mortal(tmpstr);
973 }
974 TAINT_NOT;
10c8fecd
GS
975 }
976}
977
a0d0e21e
LW
978PP(pp_aassign)
979{
27da23d5 980 dVAR; dSP;
3280af22
NIS
981 SV **lastlelem = PL_stack_sp;
982 SV **lastrelem = PL_stack_base + POPMARK;
983 SV **firstrelem = PL_stack_base + POPMARK + 1;
a0d0e21e
LW
984 SV **firstlelem = lastrelem + 1;
985
986 register SV **relem;
987 register SV **lelem;
988
989 register SV *sv;
990 register AV *ary;
991
54310121 992 I32 gimme;
a0d0e21e
LW
993 HV *hash;
994 I32 i;
995 int magic;
ca65944e 996 int duplicates = 0;
cbbf8932 997 SV **firsthashrelem = NULL; /* "= 0" keeps gcc 2.95 quiet */
5637b936 998
3280af22 999 PL_delaymagic = DM_DELAY; /* catch simultaneous items */
ca65944e 1000 gimme = GIMME_V;
a0d0e21e
LW
1001
1002 /* If there's a common identifier on both sides we have to take
1003 * special care that assigning the identifier on the left doesn't
1004 * clobber a value on the right that's used later in the list.
acdea6f0 1005 * Don't bother if LHS is just an empty hash or array.
a0d0e21e 1006 */
acdea6f0
DM
1007
1008 if ( (PL_op->op_private & OPpASSIGN_COMMON)
1009 && (
1010 firstlelem != lastlelem
1011 || ! ((sv = *firstlelem))
1012 || SvMAGICAL(sv)
1013 || ! (SvTYPE(sv) == SVt_PVAV || SvTYPE(sv) == SVt_PVHV)
1014 || (SvTYPE(sv) == SVt_PVAV && AvFILL((AV*)sv) != -1)
1b95d04f 1015 || (SvTYPE(sv) == SVt_PVHV && HvUSEDKEYS((HV*)sv) != 0)
acdea6f0
DM
1016 )
1017 ) {
cc5e57d2 1018 EXTEND_MORTAL(lastrelem - firstrelem + 1);
10c8fecd 1019 for (relem = firstrelem; relem <= lastrelem; relem++) {
155aba94 1020 if ((sv = *relem)) {
a1f49e72 1021 TAINT_NOT; /* Each item is independent */
61e5f455
NC
1022
1023 /* Dear TODO test in t/op/sort.t, I love you.
1024 (It's relying on a panic, not a "semi-panic" from newSVsv()
1025 and then an assertion failure below.) */
1026 if (SvIS_FREED(sv)) {
1027 Perl_croak(aTHX_ "panic: attempt to copy freed scalar %p",
1028 (void*)sv);
1029 }
1030 /* Specifically *not* sv_mortalcopy(), as that will steal TEMPs,
1031 and we need a second copy of a temp here. */
1032 *relem = sv_2mortal(newSVsv(sv));
a1f49e72 1033 }
10c8fecd 1034 }
a0d0e21e
LW
1035 }
1036
1037 relem = firstrelem;
1038 lelem = firstlelem;
4608196e
RGS
1039 ary = NULL;
1040 hash = NULL;
10c8fecd 1041
a0d0e21e 1042 while (lelem <= lastlelem) {
bbce6d69 1043 TAINT_NOT; /* Each item stands on its own, taintwise. */
a0d0e21e
LW
1044 sv = *lelem++;
1045 switch (SvTYPE(sv)) {
1046 case SVt_PVAV:
502c6561 1047 ary = MUTABLE_AV(sv);
748a9306 1048 magic = SvMAGICAL(ary) != 0;
a0d0e21e 1049 av_clear(ary);
7e42bd57 1050 av_extend(ary, lastrelem - relem);
a0d0e21e
LW
1051 i = 0;
1052 while (relem <= lastrelem) { /* gobble up all the rest */
5117ca91 1053 SV **didstore;
a0d0e21e 1054 assert(*relem);
4f0556e9
NC
1055 sv = newSV(0);
1056 sv_setsv(sv, *relem);
a0d0e21e 1057 *(relem++) = sv;
5117ca91
GS
1058 didstore = av_store(ary,i++,sv);
1059 if (magic) {
8ef24240 1060 if (SvSMAGICAL(sv))
fb73857a 1061 mg_set(sv);
5117ca91 1062 if (!didstore)
8127e0e3 1063 sv_2mortal(sv);
5117ca91 1064 }
bbce6d69 1065 TAINT_NOT;
a0d0e21e 1066 }
354b0578 1067 if (PL_delaymagic & DM_ARRAY_ISA)
ad64d0ec 1068 SvSETMAGIC(MUTABLE_SV(ary));
a0d0e21e 1069 break;
10c8fecd 1070 case SVt_PVHV: { /* normal hash */
a0d0e21e 1071 SV *tmpstr;
45960564 1072 SV** topelem = relem;
a0d0e21e 1073
85fbaab2 1074 hash = MUTABLE_HV(sv);
748a9306 1075 magic = SvMAGICAL(hash) != 0;
a0d0e21e 1076 hv_clear(hash);
ca65944e 1077 firsthashrelem = relem;
a0d0e21e
LW
1078
1079 while (relem < lastrelem) { /* gobble up all the rest */
5117ca91 1080 HE *didstore;
6136c704
AL
1081 sv = *relem ? *relem : &PL_sv_no;
1082 relem++;
561b68a9 1083 tmpstr = newSV(0);
a0d0e21e
LW
1084 if (*relem)
1085 sv_setsv(tmpstr,*relem); /* value */
45960564
DM
1086 relem++;
1087 if (gimme != G_VOID) {
1088 if (hv_exists_ent(hash, sv, 0))
1089 /* key overwrites an existing entry */
1090 duplicates += 2;
1091 else
1092 if (gimme == G_ARRAY) {
1093 /* copy element back: possibly to an earlier
1094 * stack location if we encountered dups earlier */
1095 *topelem++ = sv;
1096 *topelem++ = tmpstr;
1097 }
1098 }
5117ca91
GS
1099 didstore = hv_store_ent(hash,sv,tmpstr,0);
1100 if (magic) {
8ef24240 1101 if (SvSMAGICAL(tmpstr))
fb73857a 1102 mg_set(tmpstr);
5117ca91 1103 if (!didstore)
8127e0e3 1104 sv_2mortal(tmpstr);
5117ca91 1105 }
bbce6d69 1106 TAINT_NOT;
8e07c86e 1107 }
6a0deba8 1108 if (relem == lastrelem) {
10c8fecd 1109 do_oddball(hash, relem, firstrelem);
6a0deba8 1110 relem++;
1930e939 1111 }
a0d0e21e
LW
1112 }
1113 break;
1114 default:
6fc92669
GS
1115 if (SvIMMORTAL(sv)) {
1116 if (relem <= lastrelem)
1117 relem++;
1118 break;
a0d0e21e
LW
1119 }
1120 if (relem <= lastrelem) {
1c70fb82
FC
1121 if (
1122 SvTEMP(sv) && !SvSMAGICAL(sv) && SvREFCNT(sv) == 1 &&
1123 (!isGV_with_GP(sv) || SvFAKE(sv)) && ckWARN(WARN_MISC)
1124 )
1125 Perl_warner(aTHX_
1126 packWARN(WARN_MISC),
1127 "Useless assignment to a temporary"
1128 );
a0d0e21e
LW
1129 sv_setsv(sv, *relem);
1130 *(relem++) = sv;
1131 }
1132 else
3280af22 1133 sv_setsv(sv, &PL_sv_undef);
8ef24240 1134 SvSETMAGIC(sv);
a0d0e21e
LW
1135 break;
1136 }
1137 }
3280af22
NIS
1138 if (PL_delaymagic & ~DM_DELAY) {
1139 if (PL_delaymagic & DM_UID) {
a0d0e21e 1140#ifdef HAS_SETRESUID
fb934a90
RD
1141 (void)setresuid((PL_delaymagic & DM_RUID) ? PL_uid : (Uid_t)-1,
1142 (PL_delaymagic & DM_EUID) ? PL_euid : (Uid_t)-1,
1143 (Uid_t)-1);
56febc5e
AD
1144#else
1145# ifdef HAS_SETREUID
fb934a90
RD
1146 (void)setreuid((PL_delaymagic & DM_RUID) ? PL_uid : (Uid_t)-1,
1147 (PL_delaymagic & DM_EUID) ? PL_euid : (Uid_t)-1);
56febc5e
AD
1148# else
1149# ifdef HAS_SETRUID
b28d0864
NIS
1150 if ((PL_delaymagic & DM_UID) == DM_RUID) {
1151 (void)setruid(PL_uid);
1152 PL_delaymagic &= ~DM_RUID;
a0d0e21e 1153 }
56febc5e
AD
1154# endif /* HAS_SETRUID */
1155# ifdef HAS_SETEUID
b28d0864 1156 if ((PL_delaymagic & DM_UID) == DM_EUID) {
fb934a90 1157 (void)seteuid(PL_euid);
b28d0864 1158 PL_delaymagic &= ~DM_EUID;
a0d0e21e 1159 }
56febc5e 1160# endif /* HAS_SETEUID */
b28d0864
NIS
1161 if (PL_delaymagic & DM_UID) {
1162 if (PL_uid != PL_euid)
cea2e8a9 1163 DIE(aTHX_ "No setreuid available");
b28d0864 1164 (void)PerlProc_setuid(PL_uid);
a0d0e21e 1165 }
56febc5e
AD
1166# endif /* HAS_SETREUID */
1167#endif /* HAS_SETRESUID */
d8eceb89
JH
1168 PL_uid = PerlProc_getuid();
1169 PL_euid = PerlProc_geteuid();
a0d0e21e 1170 }
3280af22 1171 if (PL_delaymagic & DM_GID) {
a0d0e21e 1172#ifdef HAS_SETRESGID
fb934a90
RD
1173 (void)setresgid((PL_delaymagic & DM_RGID) ? PL_gid : (Gid_t)-1,
1174 (PL_delaymagic & DM_EGID) ? PL_egid : (Gid_t)-1,
1175 (Gid_t)-1);
56febc5e
AD
1176#else
1177# ifdef HAS_SETREGID
fb934a90
RD
1178 (void)setregid((PL_delaymagic & DM_RGID) ? PL_gid : (Gid_t)-1,
1179 (PL_delaymagic & DM_EGID) ? PL_egid : (Gid_t)-1);
56febc5e
AD
1180# else
1181# ifdef HAS_SETRGID
b28d0864
NIS
1182 if ((PL_delaymagic & DM_GID) == DM_RGID) {
1183 (void)setrgid(PL_gid);
1184 PL_delaymagic &= ~DM_RGID;
a0d0e21e 1185 }
56febc5e
AD
1186# endif /* HAS_SETRGID */
1187# ifdef HAS_SETEGID
b28d0864 1188 if ((PL_delaymagic & DM_GID) == DM_EGID) {
fb934a90 1189 (void)setegid(PL_egid);
b28d0864 1190 PL_delaymagic &= ~DM_EGID;
a0d0e21e 1191 }
56febc5e 1192# endif /* HAS_SETEGID */
b28d0864
NIS
1193 if (PL_delaymagic & DM_GID) {
1194 if (PL_gid != PL_egid)
cea2e8a9 1195 DIE(aTHX_ "No setregid available");
b28d0864 1196 (void)PerlProc_setgid(PL_gid);
a0d0e21e 1197 }
56febc5e
AD
1198# endif /* HAS_SETREGID */
1199#endif /* HAS_SETRESGID */
d8eceb89
JH
1200 PL_gid = PerlProc_getgid();
1201 PL_egid = PerlProc_getegid();
a0d0e21e 1202 }
3280af22 1203 PL_tainting |= (PL_uid && (PL_euid != PL_uid || PL_egid != PL_gid));
a0d0e21e 1204 }
3280af22 1205 PL_delaymagic = 0;
54310121 1206
54310121
PP
1207 if (gimme == G_VOID)
1208 SP = firstrelem - 1;
1209 else if (gimme == G_SCALAR) {
1210 dTARGET;
1211 SP = firstrelem;
ca65944e 1212 SETi(lastrelem - firstrelem + 1 - duplicates);
54310121
PP
1213 }
1214 else {
ca65944e 1215 if (ary)
a0d0e21e 1216 SP = lastrelem;
ca65944e
RGS
1217 else if (hash) {
1218 if (duplicates) {
45960564
DM
1219 /* at this point we have removed the duplicate key/value
1220 * pairs from the stack, but the remaining values may be
1221 * wrong; i.e. with (a 1 a 2 b 3) on the stack we've removed
1222 * the (a 2), but the stack now probably contains
1223 * (a <freed> b 3), because { hv_save(a,1); hv_save(a,2) }
1224 * obliterates the earlier key. So refresh all values. */
ca65944e 1225 lastrelem -= duplicates;
45960564
DM
1226 relem = firsthashrelem;
1227 while (relem < lastrelem) {
1228 HE *he;
1229 sv = *relem++;
1230 he = hv_fetch_ent(hash, sv, 0, 0);
1231 *relem++ = (he ? HeVAL(he) : &PL_sv_undef);
1232 }
ca65944e
RGS
1233 }
1234 SP = lastrelem;
1235 }
a0d0e21e
LW
1236 else
1237 SP = firstrelem + (lastlelem - firstlelem);
0c8c7a05 1238 lelem = firstlelem + (relem - firstrelem);
5f05dabc 1239 while (relem <= SP)
3280af22 1240 *relem++ = (lelem <= lastlelem) ? *lelem++ : &PL_sv_undef;
a0d0e21e 1241 }
08aeb9f7 1242
54310121 1243 RETURN;
a0d0e21e
LW
1244}
1245
8782bef2
GB
1246PP(pp_qr)
1247{
97aff369 1248 dVAR; dSP;
c4420975 1249 register PMOP * const pm = cPMOP;
fe578d7f 1250 REGEXP * rx = PM_GETRE(pm);
10599a69 1251 SV * const pkg = rx ? CALLREG_PACKAGE(rx) : NULL;
c4420975 1252 SV * const rv = sv_newmortal();
288b8c02
NC
1253
1254 SvUPGRADE(rv, SVt_IV);
c2123ae3
NC
1255 /* For a subroutine describing itself as "This is a hacky workaround" I'm
1256 loathe to use it here, but it seems to be the right fix. Or close.
1257 The key part appears to be that it's essential for pp_qr to return a new
1258 object (SV), which implies that there needs to be an effective way to
1259 generate a new SV from the existing SV that is pre-compiled in the
1260 optree. */
1261 SvRV_set(rv, MUTABLE_SV(reg_temp_copy(NULL, rx)));
288b8c02
NC
1262 SvROK_on(rv);
1263
1264 if (pkg) {
f815daf2 1265 HV *const stash = gv_stashsv(pkg, GV_ADD);
a954f6ee 1266 SvREFCNT_dec(pkg);
288b8c02
NC
1267 (void)sv_bless(rv, stash);
1268 }
1269
9274aefd 1270 if (RX_EXTFLAGS(rx) & RXf_TAINTED) {
e08e52cf 1271 SvTAINTED_on(rv);
9274aefd
DM
1272 SvTAINTED_on(SvRV(rv));
1273 }
c8c13c22 1274 XPUSHs(rv);
1275 RETURN;
8782bef2
GB
1276}
1277
a0d0e21e
LW
1278PP(pp_match)
1279{
97aff369 1280 dVAR; dSP; dTARG;
a0d0e21e 1281 register PMOP *pm = cPMOP;
d65afb4b 1282 PMOP *dynpm = pm;
0d46e09a
SP
1283 register const char *t;
1284 register const char *s;
5c144d81 1285 const char *strend;
a0d0e21e 1286 I32 global;
1ed74d04 1287 U8 r_flags = REXEC_CHECKED;
5c144d81 1288 const char *truebase; /* Start of string */
aaa362c4 1289 register REGEXP *rx = PM_GETRE(pm);
b3eb6a9b 1290 bool rxtainted;
a3b680e6 1291 const I32 gimme = GIMME;
a0d0e21e 1292 STRLEN len;
748a9306 1293 I32 minmatch = 0;
a3b680e6 1294 const I32 oldsave = PL_savestack_ix;
f86702cc 1295 I32 update_minmatch = 1;
e60df1fa 1296 I32 had_zerolen = 0;
58e23c8d 1297 U32 gpos = 0;
a0d0e21e 1298
533c011a 1299 if (PL_op->op_flags & OPf_STACKED)
a0d0e21e 1300 TARG = POPs;
59f00321
RGS
1301 else if (PL_op->op_private & OPpTARGET_MY)
1302 GETTARGET;
a0d0e21e 1303 else {
54b9620d 1304 TARG = DEFSV;
a0d0e21e
LW
1305 EXTEND(SP,1);
1306 }
d9f424b2 1307
c277df42 1308 PUTBACK; /* EVAL blocks need stack_sp. */
69dc4b30
FC
1309 /* Skip get-magic if this is a qr// clone, because regcomp has
1310 already done it. */
1311 s = ((struct regexp *)SvANY(rx))->mother_re
1312 ? SvPV_nomg_const(TARG, len)
1313 : SvPV_const(TARG, len);
a0d0e21e 1314 if (!s)
2269b42e 1315 DIE(aTHX_ "panic: pp_match");
890ce7af 1316 strend = s + len;
07bc277f 1317 rxtainted = ((RX_EXTFLAGS(rx) & RXf_TAINTED) ||
3280af22 1318 (PL_tainted && (pm->op_pmflags & PMf_RETAINT)));
9212bbba 1319 TAINT_NOT;
a0d0e21e 1320
a30b2f1f 1321 RX_MATCH_UTF8_set(rx, DO_UTF8(TARG));
d9f424b2 1322
d65afb4b 1323 /* PMdf_USED is set after a ?? matches once */
c737faaf
YO
1324 if (
1325#ifdef USE_ITHREADS
1326 SvREADONLY(PL_regex_pad[pm->op_pmoffset])
1327#else
1328 pm->op_pmflags & PMf_USED
1329#endif
1330 ) {
c277df42 1331 failure:
a0d0e21e
LW
1332 if (gimme == G_ARRAY)
1333 RETURN;
1334 RETPUSHNO;
1335 }
1336
c737faaf
YO
1337
1338
d65afb4b 1339 /* empty pattern special-cased to use last successful pattern if possible */
220fc49f 1340 if (!RX_PRELEN(rx) && PL_curpm) {
3280af22 1341 pm = PL_curpm;
aaa362c4 1342 rx = PM_GETRE(pm);
a0d0e21e 1343 }
d65afb4b 1344
07bc277f 1345 if (RX_MINLEN(rx) > (I32)len)
d65afb4b 1346 goto failure;
c277df42 1347
a0d0e21e 1348 truebase = t = s;
ad94a511
IZ
1349
1350 /* XXXX What part of this is needed with true \G-support? */
d65afb4b 1351 if ((global = dynpm->op_pmflags & PMf_GLOBAL)) {
07bc277f 1352 RX_OFFS(rx)[0].start = -1;
a0d0e21e 1353 if (SvTYPE(TARG) >= SVt_PVMG && SvMAGIC(TARG)) {
c445ea15 1354 MAGIC* const mg = mg_find(TARG, PERL_MAGIC_regex_global);
565764a8 1355 if (mg && mg->mg_len >= 0) {
07bc277f
NC
1356 if (!(RX_EXTFLAGS(rx) & RXf_GPOS_SEEN))
1357 RX_OFFS(rx)[0].end = RX_OFFS(rx)[0].start = mg->mg_len;
1358 else if (RX_EXTFLAGS(rx) & RXf_ANCH_GPOS) {
0ef3e39e 1359 r_flags |= REXEC_IGNOREPOS;
07bc277f
NC
1360 RX_OFFS(rx)[0].end = RX_OFFS(rx)[0].start = mg->mg_len;
1361 } else if (RX_EXTFLAGS(rx) & RXf_GPOS_FLOAT)
58e23c8d
YO
1362 gpos = mg->mg_len;
1363 else
07bc277f
NC
1364 RX_OFFS(rx)[0].end = RX_OFFS(rx)[0].start = mg->mg_len;
1365 minmatch = (mg->mg_flags & MGf_MINMATCH) ? RX_GOFS(rx) + 1 : 0;
f86702cc 1366 update_minmatch = 0;
748a9306 1367 }
a0d0e21e
LW
1368 }
1369 }
a229a030 1370 /* XXX: comment out !global get safe $1 vars after a
62e7980d 1371 match, BUT be aware that this leads to dramatic slowdowns on
a229a030
YO
1372 /g matches against large strings. So far a solution to this problem
1373 appears to be quite tricky.
1374 Test for the unsafe vars are TODO for now. */
0d8a731b
DM
1375 if ( (!global && RX_NPARENS(rx))
1376 || SvTEMP(TARG) || SvAMAGIC(TARG) || PL_sawampersand
1377 || (RX_EXTFLAGS(rx) & (RXf_EVAL_SEEN|RXf_PMf_KEEPCOPY)))
14977893 1378 r_flags |= REXEC_COPY_STR;
1c846c1f 1379 if (SvSCREAM(TARG))
22e551b9
IZ
1380 r_flags |= REXEC_SCREAM;
1381
d7be1480 1382 play_it_again:
07bc277f
NC
1383 if (global && RX_OFFS(rx)[0].start != -1) {
1384 t = s = RX_OFFS(rx)[0].end + truebase - RX_GOFS(rx);
1385 if ((s + RX_MINLEN(rx)) > strend || s < truebase)
a0d0e21e 1386 goto nope;
f86702cc 1387 if (update_minmatch++)
e60df1fa 1388 minmatch = had_zerolen;
a0d0e21e 1389 }
07bc277f 1390 if (RX_EXTFLAGS(rx) & RXf_USE_INTUIT &&
3c8556c3 1391 DO_UTF8(TARG) == (RX_UTF8(rx) != 0)) {
5c144d81
NC
1392 /* FIXME - can PL_bostr be made const char *? */
1393 PL_bostr = (char *)truebase;
f9f4320a 1394 s = CALLREG_INTUIT_START(rx, TARG, (char *)s, (char *)strend, r_flags, NULL);
f722798b
IZ
1395
1396 if (!s)
1397 goto nope;
07bc277f 1398 if ( (RX_EXTFLAGS(rx) & RXf_CHECK_ALL)
14977893 1399 && !PL_sawampersand
07bc277f
NC
1400 && !(RX_EXTFLAGS(rx) & RXf_PMf_KEEPCOPY)
1401 && ((RX_EXTFLAGS(rx) & RXf_NOSCAN)
1402 || !((RX_EXTFLAGS(rx) & RXf_INTUIT_TAIL)
05b4157f
GS
1403 && (r_flags & REXEC_SCREAM)))
1404 && !SvROK(TARG)) /* Cannot trust since INTUIT cannot guess ^ */
f722798b 1405 goto yup;
a0d0e21e 1406 }
77da2310
NC
1407 if (!CALLREGEXEC(rx, (char*)s, (char *)strend, (char*)truebase,
1408 minmatch, TARG, NUM2PTR(void*, gpos), r_flags))
1409 goto ret_no;
1410
1411 PL_curpm = pm;
1412 if (dynpm->op_pmflags & PMf_ONCE) {
c737faaf 1413#ifdef USE_ITHREADS
77da2310 1414 SvREADONLY_on(PL_regex_pad[dynpm->op_pmoffset]);
c737faaf 1415#else
77da2310 1416 dynpm->op_pmflags |= PMf_USED;
c737faaf 1417#endif
a0d0e21e 1418 }
a0d0e21e
LW
1419
1420 gotcha:
72311751
GS
1421 if (rxtainted)
1422 RX_MATCH_TAINTED_on(rx);
1423 TAINT_IF(RX_MATCH_TAINTED(rx));
a0d0e21e 1424 if (gimme == G_ARRAY) {
07bc277f 1425 const I32 nparens = RX_NPARENS(rx);
a3b680e6 1426 I32 i = (global && !nparens) ? 1 : 0;
a0d0e21e 1427
c277df42 1428 SPAGAIN; /* EVAL blocks could move the stack. */
ffc61ed2
JH
1429 EXTEND(SP, nparens + i);
1430 EXTEND_MORTAL(nparens + i);
1431 for (i = !i; i <= nparens; i++) {
a0d0e21e 1432 PUSHs(sv_newmortal());
07bc277f
NC
1433 if ((RX_OFFS(rx)[i].start != -1) && RX_OFFS(rx)[i].end != -1 ) {
1434 const I32 len = RX_OFFS(rx)[i].end - RX_OFFS(rx)[i].start;
1435 s = RX_OFFS(rx)[i].start + truebase;
1436 if (RX_OFFS(rx)[i].end < 0 || RX_OFFS(rx)[i].start < 0 ||
290deeac
A
1437 len < 0 || len > strend - s)
1438 DIE(aTHX_ "panic: pp_match start/end pointers");
a0d0e21e 1439 sv_setpvn(*SP, s, len);
cce850e4 1440 if (DO_UTF8(TARG) && is_utf8_string((U8*)s, len))
a197cbdd 1441 SvUTF8_on(*SP);
a0d0e21e
LW
1442 }
1443 }
1444 if (global) {
d65afb4b 1445 if (dynpm->op_pmflags & PMf_CONTINUE) {
6136c704 1446 MAGIC* mg = NULL;
0af80b60
HS
1447 if (SvTYPE(TARG) >= SVt_PVMG && SvMAGIC(TARG))
1448 mg = mg_find(TARG, PERL_MAGIC_regex_global);
1449 if (!mg) {
d83f0a82
NC
1450#ifdef PERL_OLD_COPY_ON_WRITE
1451 if (SvIsCOW(TARG))
1452 sv_force_normal_flags(TARG, 0);
1453#endif
1454 mg = sv_magicext(TARG, NULL, PERL_MAGIC_regex_global,
1455 &PL_vtbl_mglob, NULL, 0);
0af80b60 1456 }
07bc277f
NC
1457 if (RX_OFFS(rx)[0].start != -1) {
1458 mg->mg_len = RX_OFFS(rx)[0].end;
1459 if (RX_OFFS(rx)[0].start + RX_GOFS(rx) == (UV)RX_OFFS(rx)[0].end)
0af80b60
HS
1460 mg->mg_flags |= MGf_MINMATCH;
1461 else
1462 mg->mg_flags &= ~MGf_MINMATCH;
1463 }
1464 }
07bc277f
NC
1465 had_zerolen = (RX_OFFS(rx)[0].start != -1
1466 && (RX_OFFS(rx)[0].start + RX_GOFS(rx)
1467 == (UV)RX_OFFS(rx)[0].end));
c277df42 1468 PUTBACK; /* EVAL blocks may use stack */
cf93c79d 1469 r_flags |= REXEC_IGNOREPOS | REXEC_NOT_FIRST;
a0d0e21e
LW
1470 goto play_it_again;
1471 }
ffc61ed2 1472 else if (!nparens)
bde848c5 1473 XPUSHs(&PL_sv_yes);
4633a7c4 1474 LEAVE_SCOPE(oldsave);
a0d0e21e
LW
1475 RETURN;
1476 }
1477 else {
1478 if (global) {
cbbf8932 1479 MAGIC* mg;
a0d0e21e 1480 if (SvTYPE(TARG) >= SVt_PVMG && SvMAGIC(TARG))
14befaf4 1481 mg = mg_find(TARG, PERL_MAGIC_regex_global);
cbbf8932
AL
1482 else
1483 mg = NULL;
a0d0e21e 1484 if (!mg) {
d83f0a82
NC
1485#ifdef PERL_OLD_COPY_ON_WRITE
1486 if (SvIsCOW(TARG))
1487 sv_force_normal_flags(TARG, 0);
1488#endif
1489 mg = sv_magicext(TARG, NULL, PERL_MAGIC_regex_global,
1490 &PL_vtbl_mglob, NULL, 0);
a0d0e21e 1491 }
07bc277f
NC
1492 if (RX_OFFS(rx)[0].start != -1) {
1493 mg->mg_len = RX_OFFS(rx)[0].end;
1494 if (RX_OFFS(rx)[0].start + RX_GOFS(rx) == (UV)RX_OFFS(rx)[0].end)
748a9306
LW
1495 mg->mg_flags |= MGf_MINMATCH;
1496 else
1497 mg->mg_flags &= ~MGf_MINMATCH;
1498 }
a0d0e21e 1499 }
4633a7c4 1500 LEAVE_SCOPE(oldsave);
a0d0e21e
LW
1501 RETPUSHYES;
1502 }
1503
f722798b 1504yup: /* Confirmed by INTUIT */
72311751
GS
1505 if (rxtainted)
1506 RX_MATCH_TAINTED_on(rx);
1507 TAINT_IF(RX_MATCH_TAINTED(rx));
3280af22 1508 PL_curpm = pm;
c737faaf
YO
1509 if (dynpm->op_pmflags & PMf_ONCE) {
1510#ifdef USE_ITHREADS
1511 SvREADONLY_on(PL_regex_pad[dynpm->op_pmoffset]);
1512#else
1513 dynpm->op_pmflags |= PMf_USED;
1514#endif
1515 }
cf93c79d 1516 if (RX_MATCH_COPIED(rx))
07bc277f 1517 Safefree(RX_SUBBEG(rx));
cf93c79d 1518 RX_MATCH_COPIED_off(rx);
07bc277f 1519 RX_SUBBEG(rx) = NULL;
a0d0e21e 1520 if (global) {
5c144d81 1521 /* FIXME - should rx->subbeg be const char *? */
07bc277f
NC
1522 RX_SUBBEG(rx) = (char *) truebase;
1523 RX_OFFS(rx)[0].start = s - truebase;
a30b2f1f 1524 if (RX_MATCH_UTF8(rx)) {
07bc277f
NC
1525 char * const t = (char*)utf8_hop((U8*)s, RX_MINLENRET(rx));
1526 RX_OFFS(rx)[0].end = t - truebase;
60aeb6fd
NIS
1527 }
1528 else {
07bc277f 1529 RX_OFFS(rx)[0].end = s - truebase + RX_MINLENRET(rx);
60aeb6fd 1530 }
07bc277f 1531 RX_SUBLEN(rx) = strend - truebase;
a0d0e21e 1532 goto gotcha;
1c846c1f 1533 }
07bc277f 1534 if (PL_sawampersand || RX_EXTFLAGS(rx) & RXf_PMf_KEEPCOPY) {
14977893 1535 I32 off;
f8c7b90f 1536#ifdef PERL_OLD_COPY_ON_WRITE
ed252734
NC
1537 if (SvIsCOW(TARG) || (SvFLAGS(TARG) & CAN_COW_MASK) == CAN_COW_FLAGS) {
1538 if (DEBUG_C_TEST) {
1539 PerlIO_printf(Perl_debug_log,
1540 "Copy on write: pp_match $& capture, type %d, truebase=%p, t=%p, difference %d\n",
6c9570dc 1541 (int) SvTYPE(TARG), (void*)truebase, (void*)t,
ed252734
NC
1542 (int)(t-truebase));
1543 }
bdd9a1b1
NC
1544 RX_SAVED_COPY(rx) = sv_setsv_cow(RX_SAVED_COPY(rx), TARG);
1545 RX_SUBBEG(rx)
1546 = (char *) SvPVX_const(RX_SAVED_COPY(rx)) + (t - truebase);
1547 assert (SvPOKp(RX_SAVED_COPY(rx)));
ed252734
NC
1548 } else
1549#endif
1550 {
14977893 1551
07bc277f 1552 RX_SUBBEG(rx) = savepvn(t, strend - t);
f8c7b90f 1553#ifdef PERL_OLD_COPY_ON_WRITE
bdd9a1b1 1554 RX_SAVED_COPY(rx) = NULL;
ed252734
NC
1555#endif
1556 }
07bc277f 1557 RX_SUBLEN(rx) = strend - t;
14977893 1558 RX_MATCH_COPIED_on(rx);
07bc277f
NC
1559 off = RX_OFFS(rx)[0].start = s - t;
1560 RX_OFFS(rx)[0].end = off + RX_MINLENRET(rx);
14977893
JH
1561 }
1562 else { /* startp/endp are used by @- @+. */
07bc277f
NC
1563 RX_OFFS(rx)[0].start = s - truebase;
1564 RX_OFFS(rx)[0].end = s - truebase + RX_MINLENRET(rx);
14977893 1565 }
07bc277f 1566 /* including RX_NPARENS(rx) in the below code seems highly suspicious.
cde0cee5 1567 -dmq */
07bc277f 1568 RX_NPARENS(rx) = RX_LASTPAREN(rx) = RX_LASTCLOSEPAREN(rx) = 0; /* used by @-, @+, and $^N */
4633a7c4 1569 LEAVE_SCOPE(oldsave);
a0d0e21e
LW
1570 RETPUSHYES;
1571
1572nope:
a0d0e21e 1573ret_no:
d65afb4b 1574 if (global && !(dynpm->op_pmflags & PMf_CONTINUE)) {
a0d0e21e 1575 if (SvTYPE(TARG) >= SVt_PVMG && SvMAGIC(TARG)) {
6136c704 1576 MAGIC* const mg = mg_find(TARG, PERL_MAGIC_regex_global);
a0d0e21e 1577 if (mg)
565764a8 1578 mg->mg_len = -1;
a0d0e21e
LW
1579 }
1580 }
4633a7c4 1581 LEAVE_SCOPE(oldsave);
a0d0e21e
LW
1582 if (gimme == G_ARRAY)
1583 RETURN;
1584 RETPUSHNO;
1585}
1586
1587OP *
864dbfa3 1588Perl_do_readline(pTHX)
a0d0e21e 1589{
27da23d5 1590 dVAR; dSP; dTARGETSTACKED;
a0d0e21e
LW
1591 register SV *sv;
1592 STRLEN tmplen = 0;
1593 STRLEN offset;
760ac839 1594 PerlIO *fp;
a3b680e6
AL
1595 register IO * const io = GvIO(PL_last_in_gv);
1596 register const I32 type = PL_op->op_type;
1597 const I32 gimme = GIMME_V;
a0d0e21e 1598
6136c704 1599 if (io) {
50db69d8 1600 const MAGIC *const mg = SvTIED_mg((const SV *)io, PERL_MAGIC_tiedscalar);
6136c704 1601 if (mg) {
50db69d8 1602 Perl_tied_method(aTHX_ "READLINE", SP, MUTABLE_SV(io), mg, gimme, 0);
6136c704 1603 if (gimme == G_SCALAR) {
50db69d8
NC
1604 SPAGAIN;
1605 SvSetSV_nosteal(TARG, TOPs);
1606 SETTARG;
6136c704 1607 }
50db69d8 1608 return NORMAL;
0b7c7b4f 1609 }
e79b0511 1610 }
4608196e 1611 fp = NULL;
a0d0e21e
LW
1612 if (io) {
1613 fp = IoIFP(io);
1614 if (!fp) {
1615 if (IoFLAGS(io) & IOf_ARGV) {
1616 if (IoFLAGS(io) & IOf_START) {
a0d0e21e 1617 IoLINES(io) = 0;
3280af22 1618 if (av_len(GvAVn(PL_last_in_gv)) < 0) {
1d7c1841 1619 IoFLAGS(io) &= ~IOf_START;
4608196e 1620 do_open(PL_last_in_gv,"-",1,FALSE,O_RDONLY,0,NULL);
76f68e9b 1621 sv_setpvs(GvSVn(PL_last_in_gv), "-");
3280af22 1622 SvSETMAGIC(GvSV(PL_last_in_gv));
a2008d6d
GS
1623 fp = IoIFP(io);
1624 goto have_fp;
a0d0e21e
LW
1625 }
1626 }
3280af22 1627 fp = nextargv(PL_last_in_gv);
a0d0e21e 1628 if (!fp) { /* Note: fp != IoIFP(io) */
3280af22 1629 (void)do_close(PL_last_in_gv, FALSE); /* now it does*/
a0d0e21e
LW
1630 }
1631 }
0d44d22b
NC
1632 else if (type == OP_GLOB)
1633 fp = Perl_start_glob(aTHX_ POPs, io);
a0d0e21e
LW
1634 }
1635 else if (type == OP_GLOB)
1636 SP--;
7716c5c5 1637 else if (IoTYPE(io) == IoTYPE_WRONLY) {
a5390457 1638 report_wrongway_fh(PL_last_in_gv, '>');
a00b5bd3 1639 }
a0d0e21e
LW
1640 }
1641 if (!fp) {
041457d9
DM
1642 if ((!io || !(IoFLAGS(io) & IOf_START))
1643 && ckWARN2(WARN_GLOB, WARN_CLOSED))
1644 {
3f4520fe 1645 if (type == OP_GLOB)
9014280d 1646 Perl_warner(aTHX_ packWARN(WARN_GLOB),
af8c498a
GS
1647 "glob failed (can't start child: %s)",
1648 Strerror(errno));
69282e91 1649 else
831e4cc3 1650 report_evil_fh(PL_last_in_gv);
3f4520fe 1651 }
54310121 1652 if (gimme == G_SCALAR) {
79628082 1653 /* undef TARG, and push that undefined value */
ba92458f
AE
1654 if (type != OP_RCATLINE) {
1655 SV_CHECK_THINKFIRST_COW_DROP(TARG);
0c34ef67 1656 SvOK_off(TARG);
ba92458f 1657 }
a0d0e21e
LW
1658 PUSHTARG;
1659 }
1660 RETURN;
1661 }
a2008d6d 1662 have_fp:
54310121 1663 if (gimme == G_SCALAR) {
a0d0e21e 1664 sv = TARG;
0f722b55
RGS
1665 if (type == OP_RCATLINE && SvGMAGICAL(sv))
1666 mg_get(sv);
48de12d9
RGS
1667 if (SvROK(sv)) {
1668 if (type == OP_RCATLINE)
1669 SvPV_force_nolen(sv);
1670 else
1671 sv_unref(sv);
1672 }
f7877b28
NC
1673 else if (isGV_with_GP(sv)) {
1674 SvPV_force_nolen(sv);
1675 }
862a34c6 1676 SvUPGRADE(sv, SVt_PV);
a0d0e21e 1677 tmplen = SvLEN(sv); /* remember if already alloced */
f72e8700
JJ
1678 if (!tmplen && !SvREADONLY(sv)) {
1679 /* try short-buffering it. Please update t/op/readline.t
1680 * if you change the growth length.
1681 */
1682 Sv_Grow(sv, 80);
1683 }
2b5e58c4
AMS
1684 offset = 0;
1685 if (type == OP_RCATLINE && SvOK(sv)) {
1686 if (!SvPOK(sv)) {
8b6b16e7 1687 SvPV_force_nolen(sv);
2b5e58c4 1688 }
a0d0e21e 1689 offset = SvCUR(sv);
2b5e58c4 1690 }
a0d0e21e 1691 }
54310121 1692 else {
561b68a9 1693 sv = sv_2mortal(newSV(80));
54310121
PP
1694 offset = 0;
1695 }
fbad3eb5 1696
3887d568
AP
1697 /* This should not be marked tainted if the fp is marked clean */
1698#define MAYBE_TAINT_LINE(io, sv) \
1699 if (!(IoFLAGS(io) & IOf_UNTAINT)) { \
1700 TAINT; \
1701 SvTAINTED_on(sv); \
1702 }
1703
684bef36 1704/* delay EOF state for a snarfed empty file */
fbad3eb5 1705#define SNARF_EOF(gimme,rs,io,sv) \
684bef36 1706 (gimme != G_SCALAR || SvCUR(sv) \
b9fee9ba 1707 || (IoFLAGS(io) & IOf_NOLINE) || !RsSNARF(rs))
fbad3eb5 1708
a0d0e21e 1709 for (;;) {
09e8efcc 1710 PUTBACK;
fbad3eb5 1711 if (!sv_gets(sv, fp, offset)
2d726892
TF
1712 && (type == OP_GLOB
1713 || SNARF_EOF(gimme, PL_rs, io, sv)
1714 || PerlIO_error(fp)))
fbad3eb5 1715 {
760ac839 1716 PerlIO_clearerr(fp);
a0d0e21e 1717 if (IoFLAGS(io) & IOf_ARGV) {
3280af22 1718 fp = nextargv(PL_last_in_gv);
a0d0e21e
LW
1719 if (fp)
1720 continue;
3280af22 1721 (void)do_close(PL_last_in_gv, FALSE);
a0d0e21e
LW
1722 }
1723 else if (type == OP_GLOB) {
a2a5de95
NC
1724 if (!do_close(PL_last_in_gv, FALSE)) {
1725 Perl_ck_warner(aTHX_ packWARN(WARN_GLOB),
1726 "glob failed (child exited with status %d%s)",
1727 (int)(STATUS_CURRENT >> 8),
1728 (STATUS_CURRENT & 0x80) ? ", core dumped" : "");
4eb79ab5 1729 }
a0d0e21e 1730 }
54310121 1731 if (gimme == G_SCALAR) {
ba92458f
AE
1732 if (type != OP_RCATLINE) {
1733 SV_CHECK_THINKFIRST_COW_DROP(TARG);
0c34ef67 1734 SvOK_off(TARG);
ba92458f 1735 }
09e8efcc 1736 SPAGAIN;
a0d0e21e
LW
1737 PUSHTARG;
1738 }
3887d568 1739 MAYBE_TAINT_LINE(io, sv);
a0d0e21e
LW
1740 RETURN;
1741 }
3887d568 1742 MAYBE_TAINT_LINE(io, sv);
a0d0e21e 1743 IoLINES(io)++;
b9fee9ba 1744 IoFLAGS(io) |= IOf_NOLINE;
71be2cbc 1745 SvSETMAGIC(sv);
09e8efcc 1746 SPAGAIN;
a0d0e21e 1747 XPUSHs(sv);
a0d0e21e 1748 if (type == OP_GLOB) {
349d4f2f 1749 const char *t1;
a0d0e21e 1750
3280af22 1751 if (SvCUR(sv) > 0 && SvCUR(PL_rs) > 0) {
6136c704 1752 char * const tmps = SvEND(sv) - 1;
aa07b2f6 1753 if (*tmps == *SvPVX_const(PL_rs)) {
c07a80fd 1754 *tmps = '\0';
b162af07 1755 SvCUR_set(sv, SvCUR(sv) - 1);
c07a80fd
PP
1756 }
1757 }
349d4f2f
NC
1758 for (t1 = SvPVX_const(sv); *t1; t1++)
1759 if (!isALPHA(*t1) && !isDIGIT(*t1) &&
1760 strchr("$&*(){}[]'\";\\|?<>~`", *t1))
a0d0e21e 1761 break;
349d4f2f 1762 if (*t1 && PerlLIO_lstat(SvPVX_const(sv), &PL_statbuf) < 0) {
a0d0e21e
LW
1763 (void)POPs; /* Unmatched wildcard? Chuck it... */
1764 continue;
1765 }
2d79bf7f 1766 } else if (SvUTF8(sv)) { /* OP_READLINE, OP_RCATLINE */
d4c19fe8
AL
1767 if (ckWARN(WARN_UTF8)) {
1768 const U8 * const s = (const U8*)SvPVX_const(sv) + offset;
1769 const STRLEN len = SvCUR(sv) - offset;
1770 const U8 *f;
1771
1772 if (!is_utf8_string_loc(s, len, &f))
1773 /* Emulate :encoding(utf8) warning in the same case. */
1774 Perl_warner(aTHX_ packWARN(WARN_UTF8),
1775 "utf8 \"\\x%02X\" does not map to Unicode",
1776 f < (U8*)SvEND(sv) ? *f : 0);
1777 }
a0d0e21e 1778 }
54310121 1779 if (gimme == G_ARRAY) {
a0d0e21e 1780 if (SvLEN(sv) - SvCUR(sv) > 20) {
1da4ca5f 1781 SvPV_shrink_to_cur(sv);
a0d0e21e 1782 }
561b68a9 1783 sv = sv_2mortal(newSV(80));
a0d0e21e
LW
1784 continue;
1785 }
54310121 1786 else if (gimme == G_SCALAR && !tmplen && SvLEN(sv) - SvCUR(sv) > 80) {
a0d0e21e 1787 /* try to reclaim a bit of scalar space (only on 1st alloc) */
d5b5861b
NC
1788 const STRLEN new_len
1789 = SvCUR(sv) < 60 ? 80 : SvCUR(sv)+40; /* allow some slop */
1da4ca5f 1790 SvPV_renew(sv, new_len);
a0d0e21e
LW
1791 }
1792 RETURN;
1793 }
1794}
1795
1796PP(pp_enter)
1797{
27da23d5 1798 dVAR; dSP;
c09156bb 1799 register PERL_CONTEXT *cx;
533c011a 1800 I32 gimme = OP_GIMME(PL_op, -1);
a0d0e21e 1801
54310121 1802 if (gimme == -1) {
e91684bf
VP
1803 if (cxstack_ix >= 0) {
1804 /* If this flag is set, we're just inside a return, so we should
1805 * store the caller's context */
1806 gimme = (PL_op->op_flags & OPf_SPECIAL)
1807 ? block_gimme()
1808 : cxstack[cxstack_ix].blk_gimme;
1809 } else
54310121
PP
1810 gimme = G_SCALAR;
1811 }
a0d0e21e 1812
d343c3ef 1813 ENTER_with_name("block");
a0d0e21e
LW
1814
1815 SAVETMPS;
924508f0 1816 PUSHBLOCK(cx, CXt_BLOCK, SP);
a0d0e21e
LW
1817
1818 RETURN;
1819}
1820
1821PP(pp_helem)
1822{
97aff369 1823 dVAR; dSP;
760ac839 1824 HE* he;
ae77835f 1825 SV **svp;
c445ea15 1826 SV * const keysv = POPs;
85fbaab2 1827 HV * const hv = MUTABLE_HV(POPs);
a3b680e6
AL
1828 const U32 lval = PL_op->op_flags & OPf_MOD || LVRET;
1829 const U32 defer = PL_op->op_private & OPpLVAL_DEFER;
be6c24e0 1830 SV *sv;
c158a4fd 1831 const U32 hash = (SvIsCOW_shared_hash(keysv)) ? SvSHARED_HASH(keysv) : 0;
92970b93 1832 const bool localizing = PL_op->op_private & OPpLVAL_INTRO;
d30e492c 1833 bool preeminent = TRUE;
a0d0e21e 1834
d4c19fe8 1835 if (SvTYPE(hv) != SVt_PVHV)
a0d0e21e 1836 RETPUSHUNDEF;
d4c19fe8 1837
92970b93 1838 if (localizing) {
d4c19fe8
AL
1839 MAGIC *mg;
1840 HV *stash;
d30e492c
VP
1841
1842 /* If we can determine whether the element exist,
1843 * Try to preserve the existenceness of a tied hash
1844 * element by using EXISTS and DELETE if possible.
1845 * Fallback to FETCH and STORE otherwise. */
1846 if (SvCANEXISTDELETE(hv) || mg_find((const SV *)hv, PERL_MAGIC_env))
1847 preeminent = hv_exists_ent(hv, keysv, 0);
d4c19fe8 1848 }
d30e492c 1849
d4c19fe8
AL
1850 he = hv_fetch_ent(hv, keysv, lval && !defer, hash);
1851 svp = he ? &HeVAL(he) : NULL;
a0d0e21e 1852 if (lval) {
3280af22 1853 if (!svp || *svp == &PL_sv_undef) {
68dc0745
PP
1854 SV* lv;
1855 SV* key2;
2d8e6c8d 1856 if (!defer) {
be2597df 1857 DIE(aTHX_ PL_no_helem_sv, SVfARG(keysv));
2d8e6c8d 1858 }
68dc0745
PP
1859 lv = sv_newmortal();
1860 sv_upgrade(lv, SVt_PVLV);
1861 LvTYPE(lv) = 'y';
6136c704 1862 sv_magic(lv, key2 = newSVsv(keysv), PERL_MAGIC_defelem, NULL, 0);
68dc0745 1863 SvREFCNT_dec(key2); /* sv_magic() increments refcount */
b37c2d43 1864 LvTARG(lv) = SvREFCNT_inc_simple(hv);
68dc0745
PP
1865 LvTARGLEN(lv) = 1;
1866 PUSHs(lv);
1867 RETURN;
1868 }
92970b93 1869 if (localizing) {
bfcb3514 1870 if (HvNAME_get(hv) && isGV(*svp))
159b6efe 1871 save_gp(MUTABLE_GV(*svp), !(PL_op->op_flags & OPf_SPECIAL));
47cfc530
VP
1872 else if (preeminent)
1873 save_helem_flags(hv, keysv, svp,
1874 (PL_op->op_flags & OPf_SPECIAL) ? 0 : SAVEf_SETMAGIC);
1875 else
1876 SAVEHDELETE(hv, keysv);
5f05dabc 1877 }
533c011a
NIS
1878 else if (PL_op->op_private & OPpDEREF)
1879 vivify_ref(*svp, PL_op->op_private & OPpDEREF);
a0d0e21e 1880 }
3280af22 1881 sv = (svp ? *svp : &PL_sv_undef);
fd69380d
DM
1882 /* Originally this did a conditional C<sv = sv_mortalcopy(sv)>; this
1883 * was to make C<local $tied{foo} = $tied{foo}> possible.
1884 * However, it seems no longer to be needed for that purpose, and
1885 * introduced a new bug: stuff like C<while ($hash{taintedval} =~ /.../g>
1886 * would loop endlessly since the pos magic is getting set on the
1887 * mortal copy and lost. However, the copy has the effect of
1888 * triggering the get magic, and losing it altogether made things like
1889 * c<$tied{foo};> in void context no longer do get magic, which some
1890 * code relied on. Also, delayed triggering of magic on @+ and friends
1891 * meant the original regex may be out of scope by now. So as a
1892 * compromise, do the get magic here. (The MGf_GSKIP flag will stop it
1893 * being called too many times). */
39cf747a 1894 if (!lval && SvRMAGICAL(hv) && SvGMAGICAL(sv))
fd69380d 1895 mg_get(sv);
be6c24e0 1896 PUSHs(sv);
a0d0e21e
LW
1897 RETURN;
1898}
1899
1900PP(pp_leave)
1901{
27da23d5 1902 dVAR; dSP;
c09156bb 1903 register PERL_CONTEXT *cx;
a0d0e21e
LW
1904 SV **newsp;
1905 PMOP *newpm;
1906 I32 gimme;
1907
533c011a 1908 if (PL_op->op_flags & OPf_SPECIAL) {
a0d0e21e 1909 cx = &cxstack[cxstack_ix];
3280af22 1910 cx->blk_oldpm = PL_curpm; /* fake block should preserve $1 et al */
a0d0e21e
LW
1911 }
1912
1913 POPBLOCK(cx,newpm);
1914
e91684bf 1915 gimme = OP_GIMME(PL_op, (cxstack_ix >= 0) ? gimme : G_SCALAR);
a0d0e21e 1916
a1f49e72 1917 TAINT_NOT;
54310121
PP
1918 if (gimme == G_VOID)
1919 SP = newsp;
1920 else if (gimme == G_SCALAR) {
a3b680e6 1921 register SV **mark;
54310121 1922 MARK = newsp + 1;
09256e2f 1923 if (MARK <= SP) {
54310121
PP
1924 if (SvFLAGS(TOPs) & (SVs_PADTMP|SVs_TEMP))
1925 *MARK = TOPs;
1926 else
1927 *MARK = sv_mortalcopy(TOPs);
09256e2f 1928 } else {
54310121 1929 MEXTEND(mark,0);
3280af22 1930 *MARK = &PL_sv_undef;
a0d0e21e 1931 }
54310121 1932 SP = MARK;
a0d0e21e 1933 }
54310121 1934 else if (gimme == G_ARRAY) {
a1f49e72 1935 /* in case LEAVE wipes old return values */
a3b680e6 1936 register SV **mark;
a1f49e72
CS
1937 for (mark = newsp + 1; mark <= SP; mark++) {
1938 if (!(SvFLAGS(*mark) & (SVs_PADTMP|SVs_TEMP))) {
a0d0e21e 1939 *mark = sv_mortalcopy(*mark);
a1f49e72
CS
1940 TAINT_NOT; /* Each item is independent */
1941 }
1942 }
a0d0e21e 1943 }
3280af22 1944 PL_curpm = newpm; /* Don't pop $1 et al till now */
a0d0e21e 1945
d343c3ef 1946 LEAVE_with_name("block");
a0d0e21e
LW
1947
1948 RETURN;
1949}
1950
1951PP(pp_iter)
1952{
97aff369 1953 dVAR; dSP;
c09156bb 1954 register PERL_CONTEXT *cx;
dc09a129 1955 SV *sv, *oldsv;
1d7c1841 1956 SV **itersvp;
d01136d6
BS
1957 AV *av = NULL; /* used for LOOP_FOR on arrays and the stack */
1958 bool av_is_stack = FALSE;
a0d0e21e 1959
924508f0 1960 EXTEND(SP, 1);
a0d0e21e 1961 cx = &cxstack[cxstack_ix];
3b719c58 1962 if (!CxTYPE_is_LOOP(cx))
cea2e8a9 1963 DIE(aTHX_ "panic: pp_iter");
a0d0e21e 1964
1d7c1841 1965 itersvp = CxITERVAR(cx);
d01136d6 1966 if (CxTYPE(cx) == CXt_LOOP_LAZYSV) {
89ea2908 1967 /* string increment */
d01136d6
BS
1968 SV* cur = cx->blk_loop.state_u.lazysv.cur;
1969 SV *end = cx->blk_loop.state_u.lazysv.end;
267cc4a8
NC
1970 /* If the maximum is !SvOK(), pp_enteriter substitutes PL_sv_no.
1971 It has SvPVX of "" and SvCUR of 0, which is what we want. */
4fe3f0fa 1972 STRLEN maxlen = 0;
d01136d6 1973 const char *max = SvPV_const(end, maxlen);
89ea2908 1974 if (!SvNIOK(cur) && SvCUR(cur) <= maxlen) {
1d7c1841 1975 if (SvREFCNT(*itersvp) == 1 && !SvMAGICAL(*itersvp)) {
eaa5c2d6 1976 /* safe to reuse old SV */
1d7c1841 1977 sv_setsv(*itersvp, cur);
eaa5c2d6 1978 }
1c846c1f 1979 else
eaa5c2d6
GA
1980 {
1981 /* we need a fresh SV every time so that loop body sees a
1982 * completely new SV for closures/references to work as
1983 * they used to */
dc09a129 1984 oldsv = *itersvp;
1d7c1841 1985 *itersvp = newSVsv(cur);
dc09a129 1986 SvREFCNT_dec(oldsv);
eaa5c2d6 1987 }
aa07b2f6 1988 if (strEQ(SvPVX_const(cur), max))
89ea2908
GA
1989 sv_setiv(cur, 0); /* terminate next time */
1990 else
1991 sv_inc(cur);
1992 RETPUSHYES;
1993 }
1994 RETPUSHNO;
d01136d6
BS
1995 }
1996 else if (CxTYPE(cx) == CXt_LOOP_LAZYIV) {
89ea2908 1997 /* integer increment */
d01136d6 1998 if (cx->blk_loop.state_u.lazyiv.cur > cx->blk_loop.state_u.lazyiv.end)
89ea2908 1999 RETPUSHNO;
7f61b687 2000
3db8f154 2001 /* don't risk potential race */
1d7c1841 2002 if (SvREFCNT(*itersvp) == 1 && !SvMAGICAL(*itersvp)) {
eaa5c2d6 2003 /* safe to reuse old SV */
d01136d6 2004 sv_setiv(*itersvp, cx->blk_loop.state_u.lazyiv.cur++);
eaa5c2d6 2005 }
1c846c1f 2006 else
eaa5c2d6
GA
2007 {
2008 /* we need a fresh SV every time so that loop body sees a
2009 * completely new SV for closures/references to work as they
2010 * used to */
dc09a129 2011 oldsv = *itersvp;
d01136d6 2012 *itersvp = newSViv(cx->blk_loop.state_u.lazyiv.cur++);
dc09a129 2013 SvREFCNT_dec(oldsv);
eaa5c2d6 2014 }
a2309040
JH
2015
2016 /* Handle end of range at IV_MAX */
d01136d6
BS
2017 if ((cx->blk_loop.state_u.lazyiv.cur == IV_MIN) &&
2018 (cx->blk_loop.state_u.lazyiv.end == IV_MAX))
a2309040 2019 {
d01136d6
BS
2020 cx->blk_loop.state_u.lazyiv.cur++;
2021 cx->blk_loop.state_u.lazyiv.end++;
a2309040
JH
2022 }
2023
89ea2908
GA
2024 RETPUSHYES;
2025 }
2026
2027 /* iterate array */
d01136d6
BS
2028 assert(CxTYPE(cx) == CXt_LOOP_FOR);
2029 av = cx->blk_loop.state_u.ary.ary;
2030 if (!av) {
2031 av_is_stack = TRUE;
2032 av = PL_curstack;
2033 }
ef3e5ea9 2034 if (PL_op->op_private & OPpITER_REVERSED) {
d01136d6
BS
2035 if (cx->blk_loop.state_u.ary.ix <= (av_is_stack
2036 ? cx->blk_loop.resetsp + 1 : 0))
ef3e5ea9 2037 RETPUSHNO;
a0d0e21e 2038
ef3e5ea9 2039 if (SvMAGICAL(av) || AvREIFY(av)) {
d01136d6 2040 SV * const * const svp = av_fetch(av, --cx->blk_loop.state_u.ary.ix, FALSE);
a0714e2c 2041 sv = svp ? *svp : NULL;
ef3e5ea9
NC
2042 }
2043 else {
d01136d6 2044 sv = AvARRAY(av)[--cx->blk_loop.state_u.ary.ix];
ef3e5ea9 2045 }
d42935ef
JH
2046 }
2047 else {
d01136d6 2048 if (cx->blk_loop.state_u.ary.ix >= (av_is_stack ? cx->blk_oldsp :
ef3e5ea9
NC
2049 AvFILL(av)))
2050 RETPUSHNO;
2051
2052 if (SvMAGICAL(av) || AvREIFY(av)) {
d01136d6 2053 SV * const * const svp = av_fetch(av, ++cx->blk_loop.state_u.ary.ix, FALSE);
a0714e2c 2054 sv = svp ? *svp : NULL;
ef3e5ea9
NC
2055 }
2056 else {
d01136d6 2057 sv = AvARRAY(av)[++cx->blk_loop.state_u.ary.ix];
ef3e5ea9 2058 }
d42935ef 2059 }
ef3e5ea9 2060
0565a181 2061 if (sv && SvIS_FREED(sv)) {
a0714e2c 2062 *itersvp = NULL;
b6c83531 2063 Perl_croak(aTHX_ "Use of freed value in iteration");
cccede53
DM
2064 }
2065
d01136d6 2066 if (sv) {
a0d0e21e 2067 SvTEMP_off(sv);
d01136d6
BS
2068 SvREFCNT_inc_simple_void_NN(sv);
2069 }
a0d0e21e 2070 else
3280af22 2071 sv = &PL_sv_undef;
d01136d6
BS
2072 if (!av_is_stack && sv == &PL_sv_undef) {
2073 SV *lv = newSV_type(SVt_PVLV);
2074 LvTYPE(lv) = 'y';
2075 sv_magic(lv, NULL, PERL_MAGIC_defelem, NULL, 0);
b37c2d43 2076 LvTARG(lv) = SvREFCNT_inc_simple(av);
d01136d6 2077 LvTARGOFF(lv) = cx->blk_loop.state_u.ary.ix;
42718184 2078 LvTARGLEN(lv) = (STRLEN)UV_MAX;
d01136d6 2079 sv = lv;
5f05dabc 2080 }
a0d0e21e 2081
dc09a129 2082 oldsv = *itersvp;
d01136d6 2083 *itersvp = sv;
dc09a129
DM
2084 SvREFCNT_dec(oldsv);
2085
a0d0e21e
LW
2086 RETPUSHYES;
2087}
2088
ef07e810
DM
2089/*
2090A description of how taint works in pattern matching and substitution.
2091
0ab462a6
DM
2092While the pattern is being assembled/concatenated and them compiled,
2093PL_tainted will get set if any component of the pattern is tainted, e.g.
2094/.*$tainted/. At the end of pattern compilation, the RXf_TAINTED flag
2095is set on the pattern if PL_tainted is set.
ef07e810 2096
0ab462a6
DM
2097When the pattern is copied, e.g. $r = qr/..../, the SV holding the ref to
2098the pattern is marked as tainted. This means that subsequent usage, such
2099as /x$r/, will set PL_tainted, and thus RXf_TAINTED, on the new pattern too.
ef07e810
DM
2100
2101During execution of a pattern, locale-variant ops such as ALNUML set the
2102local flag RF_tainted. At the end of execution, the engine sets the
0ab462a6
DM
2103RXf_TAINTED_SEEN on the pattern if RF_tainted got set, or clears it
2104otherwise.
ef07e810
DM
2105
2106In addition, RXf_TAINTED_SEEN is used post-execution by the get magic code
2107of $1 et al to indicate whether the returned value should be tainted.
2108It is the responsibility of the caller of the pattern (i.e. pp_match,
2109pp_subst etc) to set this flag for any other circumstances where $1 needs
2110to be tainted.
2111
2112The taint behaviour of pp_subst (and pp_substcont) is quite complex.
2113
2114There are three possible sources of taint
2115 * the source string
2116 * the pattern (both compile- and run-time, RXf_TAINTED / RXf_TAINTED_SEEN)
2117 * the replacement string (or expression under /e)
2118
2119There are four destinations of taint and they are affected by the sources
2120according to the rules below:
2121
2122 * the return value (not including /r):
2123 tainted by the source string and pattern, but only for the
2124 number-of-iterations case; boolean returns aren't tainted;
2125 * the modified string (or modified copy under /r):
2126 tainted by the source string, pattern, and replacement strings;
2127 * $1 et al:
2128 tainted by the pattern, and under 'use re "taint"', by the source
2129 string too;
2130 * PL_taint - i.e. whether subsequent code (e.g. in a /e block) is tainted:
2131 should always be unset before executing subsequent code.
2132
2133The overall action of pp_subst is:
2134
2135 * at the start, set bits in rxtainted indicating the taint status of
2136 the various sources.
2137
2138 * After each pattern execution, update the SUBST_TAINT_PAT bit in
2139 rxtainted if RXf_TAINTED_SEEN has been set, to indicate that the
2140 pattern has subsequently become tainted via locale ops.
2141
2142 * If control is being passed to pp_substcont to execute a /e block,
2143 save rxtainted in the CXt_SUBST block, for future use by
2144 pp_substcont.
2145
2146 * Whenever control is being returned to perl code (either by falling
2147 off the "end" of pp_subst/pp_substcont, or by entering a /e block),
2148 use the flag bits in rxtainted to make all the appropriate types of
0ab462a6
DM
2149 destination taint visible; e.g. set RXf_TAINTED_SEEN so that $1
2150 et al will appear tainted.
ef07e810
DM
2151
2152pp_match is just a simpler version of the above.
2153
2154*/
2155
a0d0e21e
LW
2156PP(pp_subst)
2157{
97aff369 2158 dVAR; dSP; dTARG;
a0d0e21e
LW
2159 register PMOP *pm = cPMOP;
2160 PMOP *rpm = pm;
a0d0e21e
LW
2161 register char *s;
2162 char *strend;
2163 register char *m;
5c144d81 2164 const char *c;
a0d0e21e
LW
2165 register char *d;
2166 STRLEN clen;
2167 I32 iters = 0;
2168 I32 maxiters;
2169 register I32 i;
2170 bool once;
ef07e810
DM
2171 U8 rxtainted = 0; /* holds various SUBST_TAINT_* flag bits.
2172 See "how taint works" above */
a0d0e21e 2173 char *orig;
1ed74d04 2174 U8 r_flags;
aaa362c4 2175 register REGEXP *rx = PM_GETRE(pm);
a0d0e21e
LW
2176 STRLEN len;
2177 int force_on_match = 0;
0bcc34c2 2178 const I32 oldsave = PL_savestack_ix;
792b2c16 2179 STRLEN slen;
f272994b 2180 bool doutf8 = FALSE;
f8c7b90f 2181#ifdef PERL_OLD_COPY_ON_WRITE
ed252734
NC
2182 bool is_cow;
2183#endif
a0714e2c 2184 SV *nsv = NULL;
b770e143
NC
2185 /* known replacement string? */
2186 register SV *dstr = (pm->op_pmflags & PMf_CONST) ? POPs : NULL;
a0d0e21e 2187
f410a211
NC
2188 PERL_ASYNC_CHECK();
2189
533c011a 2190 if (PL_op->op_flags & OPf_STACKED)
a0d0e21e 2191 TARG = POPs;
59f00321
RGS
2192 else if (PL_op->op_private & OPpTARGET_MY)
2193 GETTARGET;
a0d0e21e 2194 else {
54b9620d 2195 TARG = DEFSV;
a0d0e21e 2196 EXTEND(SP,1);
1c846c1f 2197 }
d9f424b2 2198
4f4d7508
DC
2199 /* In non-destructive replacement mode, duplicate target scalar so it
2200 * remains unchanged. */
2201 if (rpm->op_pmflags & PMf_NONDESTRUCT)
4eedab49 2202 TARG = sv_2mortal(newSVsv(TARG));
4f4d7508 2203
f8c7b90f 2204#ifdef PERL_OLD_COPY_ON_WRITE
ed252734
NC
2205 /* Awooga. Awooga. "bool" types that are actually char are dangerous,
2206 because they make integers such as 256 "false". */
2207 is_cow = SvIsCOW(TARG) ? TRUE : FALSE;
2208#else
765f542d
NC
2209 if (SvIsCOW(TARG))
2210 sv_force_normal_flags(TARG,0);
ed252734
NC
2211#endif
2212 if (
f8c7b90f 2213#ifdef PERL_OLD_COPY_ON_WRITE
ed252734
NC
2214 !is_cow &&
2215#endif
2216 (SvREADONLY(TARG)
cecf5685
NC
2217 || ( ((SvTYPE(TARG) == SVt_PVGV && isGV_with_GP(TARG))
2218 || SvTYPE(TARG) > SVt_PVLV)
4ce457a6 2219 && !(SvTYPE(TARG) == SVt_PVGV && SvFAKE(TARG)))))
6ad8f254 2220 Perl_croak_no_modify(aTHX);
8ec5e241
NIS
2221 PUTBACK;
2222
3e462cdc 2223 setup_match:
d5263905 2224 s = SvPV_mutable(TARG, len);
68dc0745 2225 if (!SvPOKp(TARG) || SvTYPE(TARG) == SVt_PVGV)
a0d0e21e 2226 force_on_match = 1;
20be6587
DM
2227
2228 /* only replace once? */
2229 once = !(rpm->op_pmflags & PMf_GLOBAL);
2230
ef07e810 2231 /* See "how taint works" above */
20be6587
DM
2232 if (PL_tainting) {
2233 rxtainted = (
2234 (SvTAINTED(TARG) ? SUBST_TAINT_STR : 0)
2235 | ((RX_EXTFLAGS(rx) & RXf_TAINTED) ? SUBST_TAINT_PAT : 0)
2236 | ((pm->op_pmflags & PMf_RETAINT) ? SUBST_TAINT_RETAINT : 0)
2237 | ((once && !(rpm->op_pmflags & PMf_NONDESTRUCT))
2238 ? SUBST_TAINT_BOOLRET : 0));
2239 TAINT_NOT;
2240 }
a12c0f56 2241
a30b2f1f 2242 RX_MATCH_UTF8_set(rx, DO_UTF8(TARG));
d9f424b2 2243
a0d0e21e
LW
2244 force_it:
2245 if (!pm || !s)
2269b42e 2246 DIE(aTHX_ "panic: pp_subst");
a0d0e21e
LW
2247
2248 strend = s + len;
a30b2f1f 2249 slen = RX_MATCH_UTF8(rx) ? utf8_length((U8*)s, (U8*)strend) : len;
792b2c16
JH
2250 maxiters = 2 * slen + 10; /* We can match twice at each
2251 position, once with zero-length,
2252 second time with non-zero. */
a0d0e21e 2253
220fc49f 2254 if (!RX_PRELEN(rx) && PL_curpm) {
3280af22 2255 pm = PL_curpm;
aaa362c4 2256 rx = PM_GETRE(pm);
a0d0e21e 2257 }
07bc277f
NC
2258 r_flags = (RX_NPARENS(rx) || SvTEMP(TARG) || PL_sawampersand
2259 || (RX_EXTFLAGS(rx) & (RXf_EVAL_SEEN|RXf_PMf_KEEPCOPY)) )
ed252734 2260 ? REXEC_COPY_STR : 0;
f722798b 2261 if (SvSCREAM(TARG))
22e551b9 2262 r_flags |= REXEC_SCREAM;
7fba1cd6 2263
a0d0e21e 2264 orig = m = s;
07bc277f 2265 if (RX_EXTFLAGS(rx) & RXf_USE_INTUIT) {
ee0b7718 2266 PL_bostr = orig;
f9f4320a 2267 s = CALLREG_INTUIT_START(rx, TARG, s, strend, r_flags, NULL);
f722798b
IZ
2268
2269 if (!s)
df34c13a 2270 goto ret_no;
f722798b 2271 /* How to do it in subst? */
07bc277f 2272/* if ( (RX_EXTFLAGS(rx) & RXf_CHECK_ALL)
1c846c1f 2273 && !PL_sawampersand
07bc277f
NC
2274 && !(RX_EXTFLAGS(rx) & RXf_KEEPCOPY)
2275 && ((RX_EXTFLAGS(rx) & RXf_NOSCAN)
2276 || !((RX_EXTFLAGS(rx) & RXf_INTUIT_TAIL)
f722798b
IZ
2277 && (r_flags & REXEC_SCREAM))))
2278 goto yup;
2279*/
a0d0e21e 2280 }
71be2cbc 2281
8b64c330
DM
2282 if (!CALLREGEXEC(rx, s, strend, orig, 0, TARG, NULL,
2283 r_flags | REXEC_CHECKED))
2284 {
5e79dfb9
DM
2285 ret_no:
2286 SPAGAIN;
2287 PUSHs(rpm->op_pmflags & PMf_NONDESTRUCT ? TARG : &PL_sv_no);
2288 LEAVE_SCOPE(oldsave);
2289 RETURN;
2290 }
2291
71be2cbc 2292 /* known replacement string? */
f272994b 2293 if (dstr) {
20be6587
DM
2294 if (SvTAINTED(dstr))
2295 rxtainted |= SUBST_TAINT_REPL;
3e462cdc
KW
2296
2297 /* Upgrade the source if the replacement is utf8 but the source is not,
2298 * but only if it matched; see
2299 * http://www.nntp.perl.org/group/perl.perl5.porters/2010/04/msg158809.html
2300 */
5e79dfb9 2301 if (DO_UTF8(dstr) && ! DO_UTF8(TARG)) {
c95ca9b8
DM
2302 char * const orig_pvx = SvPVX(TARG);
2303 const STRLEN new_len = sv_utf8_upgrade_nomg(TARG);
3e462cdc
KW
2304
2305 /* If the lengths are the same, the pattern contains only
2306 * invariants, can keep going; otherwise, various internal markers
2307 * could be off, so redo */
c95ca9b8 2308 if (new_len != len || orig_pvx != SvPVX(TARG)) {
3e462cdc
KW
2309 goto setup_match;
2310 }
2311 }
2312
8514a05a
JH
2313 /* replacement needing upgrading? */
2314 if (DO_UTF8(TARG) && !doutf8) {
db79b45b 2315 nsv = sv_newmortal();
4a176938 2316 SvSetSV(nsv, dstr);
8514a05a
JH
2317 if (PL_encoding)
2318 sv_recode_to_utf8(nsv, PL_encoding);
2319 else
2320 sv_utf8_upgrade(nsv);
5c144d81 2321 c = SvPV_const(nsv, clen);
4a176938
JH
2322 doutf8 = TRUE;
2323 }
2324 else {
5c144d81 2325 c = SvPV_const(dstr, clen);
4a176938 2326 doutf8 = DO_UTF8(dstr);
8514a05a 2327 }
f272994b
A
2328 }
2329 else {
6136c704 2330 c = NULL;
f272994b
A
2331 doutf8 = FALSE;
2332 }
2333
71be2cbc 2334 /* can do inplace substitution? */
ed252734 2335 if (c
f8c7b90f 2336#ifdef PERL_OLD_COPY_ON_WRITE
ed252734
NC
2337 && !is_cow
2338#endif
07bc277f
NC
2339 && (I32)clen <= RX_MINLENRET(rx) && (once || !(r_flags & REXEC_COPY_STR))
2340 && !(RX_EXTFLAGS(rx) & RXf_LOOKBEHIND_SEEN)
8b030b38
DM
2341 && (!doutf8 || SvUTF8(TARG)))
2342 {
ec911639 2343
f8c7b90f 2344#ifdef PERL_OLD_COPY_ON_WRITE
ed252734
NC
2345 if (SvIsCOW(TARG)) {
2346 assert (!force_on_match);
2347 goto have_a_cow;
2348 }
2349#endif
71be2cbc
PP
2350 if (force_on_match) {
2351 force_on_match = 0;
2352 s = SvPV_force(TARG, len);
2353 goto force_it;
2354 }
71be2cbc 2355 d = s;
3280af22 2356 PL_curpm = pm;
71be2cbc
PP
2357 SvSCREAM_off(TARG); /* disable possible screamer */
2358 if (once) {
20be6587
DM
2359 if (RX_MATCH_TAINTED(rx)) /* run time pattern taint, eg locale */
2360 rxtainted |= SUBST_TAINT_PAT;
07bc277f
NC
2361 m = orig + RX_OFFS(rx)[0].start;
2362 d = orig + RX_OFFS(rx)[0].end;
71be2cbc
PP
2363 s = orig;
2364 if (m - s > strend - d) { /* faster to shorten from end */
2365 if (clen) {
2366 Copy(c, m, clen, char);
2367 m += clen;
a0d0e21e 2368 }
71be2cbc
PP
2369 i = strend - d;
2370 if (i > 0) {
2371 Move(d, m, i, char);
2372 m += i;
a0d0e21e 2373 }
71be2cbc
PP
2374 *m = '\0';
2375 SvCUR_set(TARG, m - s);
2376 }
155aba94 2377 else if ((i = m - s)) { /* faster from front */
71be2cbc
PP
2378 d -= clen;
2379 m = d;
0d3c21b0 2380 Move(s, d - i, i, char);
71be2cbc 2381 sv_chop(TARG, d-i);
71be2cbc
PP
2382 if (clen)
2383 Copy(c, m, clen, char);
2384 }
2385 else if (clen) {
2386 d -= clen;
2387 sv_chop(TARG, d);
2388 Copy(c, d, clen, char);
2389 }
2390 else {
2391 sv_chop(TARG, d);
2392 }
8ec5e241 2393 SPAGAIN;
af050d75 2394 PUSHs(rpm->op_pmflags & PMf_NONDESTRUCT ? TARG : &PL_sv_yes);
71be2cbc
PP
2395 }
2396 else {
71be2cbc
PP
2397 do {
2398 if (iters++ > maxiters)
cea2e8a9 2399 DIE(aTHX_ "Substitution loop");
20be6587
DM
2400 if (RX_MATCH_TAINTED(rx)) /* run time pattern taint, eg locale */
2401 rxtainted |= SUBST_TAINT_PAT;
07bc277f 2402 m = RX_OFFS(rx)[0].start + orig;
155aba94 2403 if ((i = m - s)) {
71be2cbc
PP
2404 if (s != d)
2405 Move(s, d, i, char);
2406 d += i;
a0d0e21e 2407 }
71be2cbc
PP
2408 if (clen) {
2409 Copy(c, d, clen, char);
2410 d += clen;
2411 }
07bc277f 2412 s = RX_OFFS(rx)[0].end + orig;
f9f4320a 2413 } while (CALLREGEXEC(rx, s, strend, orig, s == m,
f722798b
IZ
2414 TARG, NULL,
2415 /* don't match same null twice */
2416 REXEC_NOT_FIRST|REXEC_IGNOREPOS));
71be2cbc
PP
2417 if (s != d) {
2418 i = strend - s;
aa07b2f6 2419 SvCUR_set(TARG, d - SvPVX_const(TARG) + i);
71be2cbc 2420 Move(s, d, i+1, char); /* include the NUL */
a0d0e21e 2421 }
8ec5e241 2422 SPAGAIN;
4f4d7508
DC
2423 if (rpm->op_pmflags & PMf_NONDESTRUCT)
2424 PUSHs(TARG);
2425 else
2426 mPUSHi((I32)iters);
a0d0e21e
LW
2427 }
2428 }
ff6e92e8 2429 else {
a0d0e21e
LW
2430 if (force_on_match) {
2431 force_on_match = 0;
2432 s = SvPV_force(TARG, len);
2433 goto force_it;
2434 }
f8c7b90f 2435#ifdef PERL_OLD_COPY_ON_WRITE
ed252734
NC
2436 have_a_cow:
2437#endif
20be6587
DM
2438 if (RX_MATCH_TAINTED(rx)) /* run time pattern taint, eg locale */
2439 rxtainted |= SUBST_TAINT_PAT;
740cce10 2440 dstr = newSVpvn_utf8(m, s-m, DO_UTF8(TARG));
cff085c1 2441 SAVEFREESV(dstr);
3280af22 2442 PL_curpm = pm;
a0d0e21e 2443 if (!c) {
c09156bb 2444 register PERL_CONTEXT *cx;
8ec5e241 2445 SPAGAIN;
20be6587
DM
2446 /* note that a whole bunch of local vars are saved here for
2447 * use by pp_substcont: here's a list of them in case you're
2448 * searching for places in this sub that uses a particular var:
2449 * iters maxiters r_flags oldsave rxtainted orig dstr targ
2450 * s m strend rx once */
a0d0e21e 2451 PUSHSUBST(cx);
20e98b0f 2452 RETURNOP(cPMOP->op_pmreplrootu.op_pmreplroot);
a0d0e21e 2453 }
cf93c79d 2454 r_flags |= REXEC_IGNOREPOS | REXEC_NOT_FIRST;
a0d0e21e
LW
2455 do {
2456 if (iters++ > maxiters)
cea2e8a9 2457 DIE(aTHX_ "Substitution loop");
20be6587
DM
2458 if (RX_MATCH_TAINTED(rx))
2459 rxtainted |= SUBST_TAINT_PAT;
07bc277f 2460 if (RX_MATCH_COPIED(rx) && RX_SUBBEG(rx) != orig) {
a0d0e21e
LW
2461 m = s;
2462 s = orig;
07bc277f 2463 orig = RX_SUBBEG(rx);
a0d0e21e
LW
2464 s = orig + (m - s);
2465 strend = s + (strend - m);
2466 }
07bc277f 2467 m = RX_OFFS(rx)[0].start + orig;
db79b45b
JH
2468 if (doutf8 && !SvUTF8(dstr))
2469 sv_catpvn_utf8_upgrade(dstr, s, m - s, nsv);
2470 else
2471 sv_catpvn(dstr, s, m-s);
07bc277f 2472 s = RX_OFFS(rx)[0].end + orig;
a0d0e21e
LW
2473 if (clen)
2474 sv_catpvn(dstr, c, clen);
2475 if (once)
2476 break;
f9f4320a 2477 } while (CALLREGEXEC(rx, s, strend, orig, s == m,
ffc61ed2 2478 TARG, NULL, r_flags));
db79b45b
JH
2479 if (doutf8 && !DO_UTF8(TARG))
2480 sv_catpvn_utf8_upgrade(dstr, s, strend - s, nsv);
89afcb60
A
2481 else
2482 sv_catpvn(dstr, s, strend - s);
748a9306 2483
f8c7b90f 2484#ifdef PERL_OLD_COPY_ON_WRITE
ed252734
NC
2485 /* The match may make the string COW. If so, brilliant, because that's
2486 just saved us one malloc, copy and free - the regexp has donated
2487 the old buffer, and we malloc an entirely new one, rather than the
2488 regexp malloc()ing a buffer and copying our original, only for
2489 us to throw it away here during the substitution. */
2490 if (SvIsCOW(TARG)) {
2491 sv_force_normal_flags(TARG, SV_COW_DROP_PV);
2492 } else
2493#endif
2494 {
8bd4d4c5 2495 SvPV_free(TARG);
ed252734 2496 }
f880fe2f 2497 SvPV_set(TARG, SvPVX(dstr));
748a9306
LW
2498 SvCUR_set(TARG, SvCUR(dstr));
2499 SvLEN_set(TARG, SvLEN(dstr));
f272994b 2500 doutf8 |= DO_UTF8(dstr);
6136c704 2501 SvPV_set(dstr, NULL);
748a9306 2502
f878fbec 2503 SPAGAIN;
4f4d7508
DC
2504 if (rpm->op_pmflags & PMf_NONDESTRUCT)
2505 PUSHs(TARG);
2506 else
2507 mPUSHi((I32)iters);
a0d0e21e 2508 }
f1a76097
DM
2509 (void)SvPOK_only_UTF8(TARG);
2510 if (doutf8)
2511 SvUTF8_on(TARG);
20be6587 2512
ef07e810 2513 /* See "how taint works" above */
20be6587
DM
2514 if (PL_tainting) {
2515 if ((rxtainted & SUBST_TAINT_PAT) ||
2516 ((rxtainted & (SUBST_TAINT_STR|SUBST_TAINT_RETAINT)) ==
2517 (SUBST_TAINT_STR|SUBST_TAINT_RETAINT))
2518 )
2519 (RX_MATCH_TAINTED_on(rx)); /* taint $1 et al */
2520
2521 if (!(rxtainted & SUBST_TAINT_BOOLRET)
2522 && (rxtainted & (SUBST_TAINT_STR|SUBST_TAINT_PAT))
2523 )
2524 SvTAINTED_on(TOPs); /* taint return value */
2525 else
2526 SvTAINTED_off(TOPs); /* may have got tainted earlier */
2527
2528 /* needed for mg_set below */
2529 PL_tainted =
2530 cBOOL(rxtainted & (SUBST_TAINT_STR|SUBST_TAINT_PAT|SUBST_TAINT_REPL));
2531 SvTAINT(TARG);
2532 }
2533 SvSETMAGIC(TARG); /* PL_tainted must be correctly set for this mg_set */
2534 TAINT_NOT;
f1a76097
DM
2535 LEAVE_SCOPE(oldsave);
2536 RETURN;
a0d0e21e
LW
2537}
2538
2539PP(pp_grepwhile)
2540{
27da23d5 2541 dVAR; dSP;
a0d0e21e
LW
2542
2543 if (SvTRUEx(POPs))
3280af22
NIS
2544 PL_stack_base[PL_markstack_ptr[-1]++] = PL_stack_base[*PL_markstack_ptr];
2545 ++*PL_markstack_ptr;
b2a2a901 2546 FREETMPS;
d343c3ef 2547 LEAVE_with_name("grep_item"); /* exit inner scope */
a0d0e21e
LW
2548
2549 /* All done yet? */
3280af22 2550 if (PL_stack_base + *PL_markstack_ptr > SP) {
a0d0e21e 2551 I32 items;
c4420975 2552 const I32 gimme = GIMME_V;
a0d0e21e 2553
d343c3ef 2554 LEAVE_with_name("grep"); /* exit outer scope */
a0d0e21e 2555 (void)POPMARK; /* pop src */
3280af22 2556 items = --*PL_markstack_ptr - PL_markstack_ptr[-1];
a0d0e21e 2557 (void)POPMARK; /* pop dst */
3280af22 2558 SP = PL_stack_base + POPMARK; /* pop original mark */
54310121 2559 if (gimme == G_SCALAR) {
7cc47870 2560 if (PL_op->op_private & OPpGREP_LEX) {
c4420975 2561 SV* const sv = sv_newmortal();
7cc47870
RGS
2562 sv_setiv(sv, items);
2563 PUSHs(sv);
2564 }
2565 else {
2566 dTARGET;
2567 XPUSHi(items);
2568 }
a0d0e21e 2569 }
54310121
PP
2570 else if (gimme == G_ARRAY)
2571 SP += items;
a0d0e21e
LW
2572 RETURN;
2573 }
2574 else {
2575 SV *src;
2576
d343c3ef 2577 ENTER_with_name("grep_item"); /* enter inner scope */
1d7c1841 2578 SAVEVPTR(PL_curpm);
a0d0e21e 2579
3280af22 2580 src = PL_stack_base[*PL_markstack_ptr];
a0d0e21e 2581 SvTEMP_off(src);
59f00321
RGS
2582 if (PL_op->op_private & OPpGREP_LEX)
2583 PAD_SVl(PL_op->op_targ) = src;
2584 else
414bf5ae 2585 DEFSV_set(src);
a0d0e21e
LW
2586
2587 RETURNOP(cLOGOP->op_other);
2588 }
2589}
2590
2591PP(pp_leavesub)
2592{
27da23d5 2593 dVAR; dSP;
a0d0e21e
LW
2594 SV **mark;
2595 SV **newsp;
2596 PMOP *newpm;
2597 I32 gimme;
c09156bb 2598 register PERL_CONTEXT *cx;
b0d9ce38 2599 SV *sv;
767eda44 2600 bool gmagic;
a0d0e21e 2601
9850bf21
RH
2602 if (CxMULTICALL(&cxstack[cxstack_ix]))
2603 return 0;
2604
a0d0e21e 2605 POPBLOCK(cx,newpm);
5dd42e15 2606 cxstack_ix++; /* temporarily protect top context */
767eda44 2607 gmagic = CxLVAL(cx) & OPpENTERSUB_DEREF;
1c846c1f 2608
a1f49e72 2609 TAINT_NOT;
a0d0e21e
LW
2610 if (gimme == G_SCALAR) {
2611 MARK = newsp + 1;
a29cdaf0 2612 if (MARK <= SP) {
a8bba7fa 2613 if (cx->blk_sub.cv && CvDEPTH(cx->blk_sub.cv) > 1) {
a29cdaf0
IZ
2614 if (SvTEMP(TOPs)) {
2615 *MARK = SvREFCNT_inc(TOPs);
2616 FREETMPS;
2617 sv_2mortal(*MARK);
767eda44 2618 if (gmagic) SvGETMAGIC(*MARK);
cd06dffe
GS
2619 }
2620 else {
959e3673 2621 sv = SvREFCNT_inc(TOPs); /* FREETMPS could clobber it */
a29cdaf0 2622 FREETMPS;
959e3673
GS
2623 *MARK = sv_mortalcopy(sv);
2624 SvREFCNT_dec(sv);
a29cdaf0 2625 }
cd06dffe 2626 }
767eda44
FC
2627 else if (SvTEMP(TOPs)) {
2628 *MARK = TOPs;
2629 if (gmagic) SvGETMAGIC(TOPs);
2630 }
cd06dffe 2631 else
767eda44 2632 *MARK = sv_mortalcopy(TOPs);
cd06dffe
GS
2633 }
2634 else {
f86702cc 2635 MEXTEND(MARK, 0);
3280af22 2636 *MARK = &PL_sv_undef;
a0d0e21e
LW
2637 }
2638 SP = MARK;
2639 }
54310121 2640 else if (gimme == G_ARRAY) {
f86702cc 2641 for (MARK = newsp + 1; MARK <= SP; MARK++) {
a1f49e72 2642 if (!SvTEMP(*MARK)) {
f86702cc 2643 *MARK = sv_mortalcopy(*MARK);
a1f49e72
CS
2644 TAINT_NOT; /* Each item is independent */
2645 }
f86702cc 2646 }
a0d0e21e 2647 }
f86702cc 2648 PUTBACK;
1c846c1f 2649
a57c6685 2650 LEAVE;
5dd42e15 2651 cxstack_ix--;
b0d9ce38 2652 POPSUB(cx,sv); /* Stack values are safe: release CV and @_ ... */
3280af22 2653 PL_curpm = newpm; /* ... and pop $1 et al */
a0d0e21e 2654
b0d9ce38 2655 LEAVESUB(sv);
f39bc417 2656 return cx->blk_sub.retop;
a0d0e21e
LW
2657}
2658
cd06dffe
GS
2659/* This duplicates the above code because the above code must not
2660 * get any slower by more conditions */
2661PP(pp_leavesublv)
2662{
27da23d5 2663 dVAR; dSP;
cd06dffe
GS
2664 SV **mark;
2665 SV **newsp;
2666 PMOP *newpm;
2667 I32 gimme;
2668 register PERL_CONTEXT *cx;
b0d9ce38 2669 SV *sv;
cd06dffe 2670
9850bf21
RH
2671 if (CxMULTICALL(&cxstack[cxstack_ix]))
2672 return 0;
2673
cd06dffe 2674 POPBLOCK(cx,newpm);
5dd42e15 2675 cxstack_ix++; /* temporarily protect top context */
1c846c1f 2676
cd06dffe
GS
2677 TAINT_NOT;
2678
bafb2adc 2679 if (CxLVAL(cx) & OPpENTERSUB_INARGS) {
cd06dffe
GS
2680 /* We are an argument to a function or grep().
2681 * This kind of lvalueness was legal before lvalue
2682 * subroutines too, so be backward compatible:
2683 * cannot report errors. */
2684
bf8fb5eb 2685 /* Scalar context *is* possible, on the LHS of ->. */
cd06dffe 2686 if (gimme == G_SCALAR)
bf8fb5eb 2687 goto rvalue;
cd06dffe 2688 if (gimme == G_ARRAY) {
91e34d82 2689 mark = newsp + 1;
a8bba7fa 2690 if (!CvLVALUE(cx->blk_sub.cv))
bf8fb5eb 2691 goto rvalue_array;
cd06dffe
GS
2692 EXTEND_MORTAL(SP - newsp);
2693 for (mark = newsp + 1; mark <= SP; mark++) {
2694 if (SvTEMP(*mark))
6f207bd3 2695 NOOP;
a1302723
FC
2696 else if (SvFLAGS(*mark) & SVs_PADTMP
2697 || (SvFLAGS(*mark) & (SVf_READONLY|SVf_FAKE))
2698 == SVf_READONLY)
cd06dffe
GS
2699 *mark = sv_mortalcopy(*mark);
2700 else {
2701 /* Can be a localized value subject to deletion. */
2702 PL_tmps_stack[++PL_tmps_ix] = *mark;
b37c2d43 2703 SvREFCNT_inc_void(*mark);
cd06dffe
GS
2704 }
2705 }
2706 }
2707 }
bafb2adc 2708 else if (CxLVAL(cx)) { /* Leave it as it is if we can. */
cd06dffe
GS
2709 /* Here we go for robustness, not for speed, so we change all
2710 * the refcounts so the caller gets a live guy. Cannot set
2711 * TEMP, so sv_2mortal is out of question. */
a8bba7fa 2712 if (!CvLVALUE(cx->blk_sub.cv)) {
a57c6685 2713 LEAVE;
5dd42e15 2714 cxstack_ix--;
b0d9ce38 2715 POPSUB(cx,sv);
d470f89e 2716 PL_curpm = newpm;
b0d9ce38 2717 LEAVESUB(sv);
d470f89e
GS
2718 DIE(aTHX_ "Can't modify non-lvalue subroutine call");
2719 }
cd06dffe
GS
2720 if (gimme == G_SCALAR) {
2721 MARK = newsp + 1;
2722 EXTEND_MORTAL(1);
2723 if (MARK == SP) {
fd6c41ce 2724 if ((SvPADTMP(TOPs) ||
c73030b8
FC
2725 (SvFLAGS(TOPs) & (SVf_READONLY | SVf_FAKE))
2726 == SVf_READONLY
2727 ) &&
2728 !SvSMAGICAL(TOPs)) {
2729 LEAVE;
2730 cxstack_ix--;
2731 POPSUB(cx,sv);
2732 PL_curpm = newpm;
2733 LEAVESUB(sv);
2734 DIE(aTHX_ "Can't return %s from lvalue subroutine",
2735 SvREADONLY(TOPs) ? (TOPs == &PL_sv_undef) ? "undef"
2736 : "a readonly value" : "a temporary");
2737 }
2738 else { /* Can be a localized value
2739 * subject to deletion. */
cd06dffe 2740 PL_tmps_stack[++PL_tmps_ix] = *mark;
b37c2d43 2741 SvREFCNT_inc_void(*mark);
c73030b8 2742 }
cd06dffe 2743 }
69b22cd1
FC
2744 else {
2745 /* sub:lvalue{} will take us here.
2746 Presumably the case of a non-empty array never happens.
2747 */
a57c6685 2748 LEAVE;
5dd42e15 2749 cxstack_ix--;
b0d9ce38 2750 POPSUB(cx,sv);
d470f89e 2751 PL_curpm = newpm;
b0d9ce38 2752 LEAVESUB(sv);
69b22cd1
FC
2753 DIE(aTHX_ "%s",
2754 (MARK > SP
2755 ? "Can't return undef from lvalue subroutine"
2756 : "Array returned from lvalue subroutine in scalar "
2757 "context"
2758 )
2759 );
d470f89e 2760 }
cd06dffe
GS
2761 SP = MARK;
2762 }
2763 else if (gimme == G_ARRAY) {
2764 EXTEND_MORTAL(SP - newsp);
2765 for (mark = newsp + 1; mark <= SP; mark++) {
f206cdda 2766 if (*mark != &PL_sv_undef
fd6c41ce 2767 && (SvPADTMP(*mark)
a0aa6076
FC
2768 || (SvFLAGS(*mark) & (SVf_READONLY|SVf_FAKE))
2769 == SVf_READONLY
2770 )
2771 ) {
d470f89e
GS
2772 /* Might be flattened array after $#array = */
2773 PUTBACK;
a57c6685 2774 LEAVE;
5dd42e15 2775 cxstack_ix--;
b0d9ce38 2776 POPSUB(cx,sv);
d470f89e 2777 PL_curpm = newpm;
b0d9ce38 2778 LEAVESUB(sv);
f206cdda
AMS
2779 DIE(aTHX_ "Can't return a %s from lvalue subroutine",
2780 SvREADONLY(TOPs) ? "readonly value" : "temporary");
d470f89e 2781 }
cd06dffe 2782 else {
cd06dffe
GS
2783 /* Can be a localized value subject to deletion. */
2784 PL_tmps_stack[++PL_tmps_ix] = *mark;
b37c2d43 2785 SvREFCNT_inc_void(*mark);
cd06dffe
GS
2786 }
2787 }
2788 }
2789 }
2790 else {
2791 if (gimme == G_SCALAR) {
bf8fb5eb 2792 rvalue:
cd06dffe
GS
2793 MARK = newsp + 1;
2794 if (MARK <= SP) {
a8bba7fa 2795 if (cx->blk_sub.cv && CvDEPTH(cx->blk_sub.cv) > 1) {
cd06dffe
GS
2796 *MARK = SvREFCNT_inc(TOPs);
2797 FREETMPS;
2798 sv_2mortal(*MARK);
cd06dffe
GS
2799 }
2800 else
e08be60b
FC
2801 *MARK = SvTEMP(TOPs)
2802 ? TOPs
2803 : sv_2mortal(SvREFCNT_inc_simple_NN(TOPs));
cd06dffe
GS
2804 }
2805 else {
2806 MEXTEND(MARK, 0);
2807 *MARK = &PL_sv_undef;
2808 }
2809 SP = MARK;
2810 }
e08be60b
FC
2811 else if (gimme == G_ARRAY) {
2812 rvalue_array:
2813 for (MARK = newsp + 1; MARK <= SP; MARK++) {
2814 if (!SvTEMP(*MARK))
2815 *MARK = sv_2mortal(SvREFCNT_inc_simple_NN(*MARK));
2816 }
2817 }
cd06dffe 2818 }
767eda44
FC
2819
2820 if (CxLVAL(cx) & OPpENTERSUB_DEREF) {
2821 assert(gimme == G_SCALAR);
2822 SvGETMAGIC(TOPs);
2823 if (!SvOK(TOPs)) {
2824 U8 deref_type;
2825 if (cx->blk_sub.retop->op_type == OP_RV2SV)
2826 deref_type = OPpDEREF_SV;
2827 else if (cx->blk_sub.retop->op_type == OP_RV2AV)
2828 deref_type = OPpDEREF_AV;
2829 else {
2830 assert(cx->blk_sub.retop->op_type == OP_RV2HV);
2831 deref_type = OPpDEREF_HV;
2832 }
2833 vivify_ref(TOPs, deref_type);
2834 }
2835 }
2836
cd06dffe 2837 PUTBACK;
1c846c1f 2838
a57c6685 2839 LEAVE;
5dd42e15 2840 cxstack_ix--;
b0d9ce38 2841 POPSUB(cx,sv); /* Stack values are safe: release CV and @_ ... */
cd06dffe
GS
2842 PL_curpm = newpm; /* ... and pop $1 et al */
2843
b0d9ce38 2844 LEAVESUB(sv);
f39bc417 2845 return cx->blk_sub.retop;
cd06dffe
GS
2846}
2847
a0d0e21e
LW
2848PP(pp_entersub)
2849{
27da23d5 2850 dVAR; dSP; dPOPss;
a0d0e21e 2851 GV *gv;
a0d0e21e 2852 register CV *cv;
c09156bb 2853 register PERL_CONTEXT *cx;
5d94fbed 2854 I32 gimme;
a9c4fd4e 2855 const bool hasargs = (PL_op->op_flags & OPf_STACKED) != 0;
a0d0e21e
LW
2856
2857 if (!sv)
cea2e8a9 2858 DIE(aTHX_ "Not a CODE reference");
a0d0e21e 2859 switch (SvTYPE(sv)) {
f1025168
NC
2860 /* This is overwhelming the most common case: */
2861 case SVt_PVGV:
6e592b3a
BM
2862 if (!isGV_with_GP(sv))
2863 DIE(aTHX_ "Not a CODE reference");
13be902c 2864 we_have_a_glob:
159b6efe 2865 if (!(cv = GvCVu((const GV *)sv))) {
f730a42d 2866 HV *stash;
f2c0649b 2867 cv = sv_2cv(sv, &stash, &gv, 0);
f730a42d 2868 }
f1025168 2869 if (!cv) {
a57c6685 2870 ENTER;
f1025168
NC
2871 SAVETMPS;
2872 goto try_autoload;
2873 }
2874 break;
13be902c
FC
2875 case SVt_PVLV:
2876 if(isGV_with_GP(sv)) goto we_have_a_glob;
2877 /*FALLTHROUGH*/
a0d0e21e 2878 default:
7c75014e
DM
2879 if (sv == &PL_sv_yes) { /* unfound import, ignore */
2880 if (hasargs)
2881 SP = PL_stack_base + POPMARK;
4d198de3
DM
2882 else
2883 (void)POPMARK;
7c75014e
DM
2884 RETURN;
2885 }
2886 SvGETMAGIC(sv);
2887 if (SvROK(sv)) {
93d7320b
DM
2888 if (SvAMAGIC(sv)) {
2889 sv = amagic_deref_call(sv, to_cv_amg);
2890 /* Don't SPAGAIN here. */
2891 }
7c75014e
DM
2892 }
2893 else {
a9c4fd4e 2894 const char *sym;
780a5241 2895 STRLEN len;
7c75014e 2896 sym = SvPV_nomg_const(sv, len);
15ff848f 2897 if (!sym)
cea2e8a9 2898 DIE(aTHX_ PL_no_usym, "a subroutine");
533c011a 2899 if (PL_op->op_private & HINT_STRICT_REFS)
973a7615 2900 DIE(aTHX_ "Can't use string (\"%.32s\"%s) as a subroutine ref while \"strict refs\" in use", sym, len>32 ? "..." : "");
780a5241 2901 cv = get_cvn_flags(sym, len, GV_ADD|SvUTF8(sv));
a0d0e21e
LW
2902 break;
2903 }
ea726b52 2904 cv = MUTABLE_CV(SvRV(sv));
a0d0e21e
LW
2905 if (SvTYPE(cv) == SVt_PVCV)
2906 break;
2907 /* FALL THROUGH */
2908 case SVt_PVHV:
2909 case SVt_PVAV:
cea2e8a9 2910 DIE(aTHX_ "Not a CODE reference");
f1025168 2911 /* This is the second most common case: */
a0d0e21e 2912 case SVt_PVCV:
ea726b52 2913 cv = MUTABLE_CV(sv);
a0d0e21e 2914 break;
a0d0e21e
LW
2915 }
2916
a57c6685 2917 ENTER;
a0d0e21e
LW
2918 SAVETMPS;
2919
2920 retry:
541ed3a9
FC
2921 if (CvCLONE(cv) && ! CvCLONED(cv))
2922 DIE(aTHX_ "Closure prototype called");
a0d0e21e 2923 if (!CvROOT(cv) && !CvXSUB(cv)) {
2f349aa0
NC
2924 GV* autogv;
2925 SV* sub_name;
2926
2927 /* anonymous or undef'd function leaves us no recourse */
2928 if (CvANON(cv) || !(gv = CvGV(cv)))
2929 DIE(aTHX_ "Undefined subroutine called");
2930
2931 /* autoloaded stub? */
2932 if (cv != GvCV(gv)) {
2933 cv = GvCV(gv);
2934 }
2935 /* should call AUTOLOAD now? */
2936 else {
7e623da3 2937try_autoload:
2f349aa0 2938 if ((autogv = gv_autoload4(GvSTASH(gv), GvNAME(gv), GvNAMELEN(gv),
7e623da3 2939 FALSE)))
2f349aa0
NC
2940 {
2941 cv = GvCV(autogv);
2942 }
2943 /* sorry */
2944 else {
2945 sub_name = sv_newmortal();
6136c704 2946 gv_efullname3(sub_name, gv, NULL);
be2597df 2947 DIE(aTHX_ "Undefined subroutine &%"SVf" called", SVfARG(sub_name));
2f349aa0
NC
2948 }
2949 }
2950 if (!cv)
2951 DIE(aTHX_ "Not a CODE reference");
2952 goto retry;
a0d0e21e
LW
2953 }
2954
54310121 2955 gimme = GIMME_V;
67caa1fe 2956 if ((PL_op->op_private & OPpENTERSUB_DB) && GvCV(PL_DBsub) && !CvNODEBUG(cv)) {
005a8a35 2957 Perl_get_db_sub(aTHX_ &sv, cv);
a9ef256d
NC
2958 if (CvISXSUB(cv))
2959 PL_curcopdb = PL_curcop;
1ad62f64 2960 if (CvLVALUE(cv)) {
2961 /* check for lsub that handles lvalue subroutines */
ae5c1e95 2962 cv = GvCV(gv_HVadd(gv_fetchpvs("DB::lsub", GV_ADDMULTI, SVt_PVHV)));
1ad62f64 2963 /* if lsub not found then fall back to DB::sub */
2964 if (!cv) cv = GvCV(PL_DBsub);
2965 } else {
2966 cv = GvCV(PL_DBsub);
2967 }
a9ef256d 2968
ccafdc96
RGS
2969 if (!cv || (!CvXSUB(cv) && !CvSTART(cv)))
2970 DIE(aTHX_ "No DB::sub routine defined");
67caa1fe 2971 }
a0d0e21e 2972
aed2304a 2973 if (!(CvISXSUB(cv))) {
f1025168 2974 /* This path taken at least 75% of the time */
a0d0e21e
LW
2975 dMARK;
2976 register I32 items = SP - MARK;
0bcc34c2 2977 AV* const padlist = CvPADLIST(cv);
a0d0e21e
LW
2978 PUSHBLOCK(cx, CXt_SUB, MARK);
2979 PUSHSUB(cx);
f39bc417 2980 cx->blk_sub.retop = PL_op->op_next;
a0d0e21e 2981 CvDEPTH(cv)++;
6b35e009
GS
2982 /* XXX This would be a natural place to set C<PL_compcv = cv> so
2983 * that eval'' ops within this sub know the correct lexical space.
a3985cdc
DM
2984 * Owing the speed considerations, we choose instead to search for
2985 * the cv using find_runcv() when calling doeval().
6b35e009 2986 */
3a76ca88
RGS
2987 if (CvDEPTH(cv) >= 2) {
2988 PERL_STACK_OVERFLOW_CHECK();
2989 pad_push(padlist, CvDEPTH(cv));
a0d0e21e 2990 }
3a76ca88
RGS
2991 SAVECOMPPAD();
2992 PAD_SET_CUR_NOSAVE(padlist, CvDEPTH(cv));
2993 if (hasargs) {
10533ace 2994 AV *const av = MUTABLE_AV(PAD_SVl(0));
221373f0
GS
2995 if (AvREAL(av)) {
2996 /* @_ is normally not REAL--this should only ever
2997 * happen when DB::sub() calls things that modify @_ */
2998 av_clear(av);
2999 AvREAL_off(av);
3000 AvREIFY_on(av);
3001 }
3280af22 3002 cx->blk_sub.savearray = GvAV(PL_defgv);
502c6561 3003 GvAV(PL_defgv) = MUTABLE_AV(SvREFCNT_inc_simple(av));
dd2155a4 3004 CX_CURPAD_SAVE(cx->blk_sub);
6d4ff0d2 3005 cx->blk_sub.argarray = av;
a0d0e21e
LW
3006 ++MARK;
3007
3008 if (items > AvMAX(av) + 1) {
504618e9 3009 SV **ary = AvALLOC(av);
a0d0e21e
LW
3010 if (AvARRAY(av) != ary) {
3011 AvMAX(av) += AvARRAY(av) - AvALLOC(av);
9c6bc640 3012 AvARRAY(av) = ary;
a0d0e21e
LW
3013 }
3014 if (items > AvMAX(av) + 1) {
3015 AvMAX(av) = items - 1;
3016 Renew(ary,items,SV*);
3017 AvALLOC(av) = ary;
9c6bc640 3018 AvARRAY(av) = ary;
a0d0e21e
LW
3019 }
3020 }
3021 Copy(MARK,AvARRAY(av),items,SV*);
93965878 3022 AvFILLp(av) = items - 1;
1c846c1f 3023
a0d0e21e
LW
3024 while (items--) {
3025 if (*MARK)
3026 SvTEMP_off(*MARK);
3027 MARK++;
3028 }
3029 }
4a925ff6
GS
3030 /* warning must come *after* we fully set up the context
3031 * stuff so that __WARN__ handlers can safely dounwind()
3032 * if they want to
3033 */
2b9dff67 3034 if (CvDEPTH(cv) == PERL_SUB_DEPTH_WARN && ckWARN(WARN_RECURSION)
4a925ff6
GS
3035 && !(PERLDB_SUB && cv == GvCV(PL_DBsub)))
3036 sub_crush_depth(cv);
a0d0e21e
LW
3037 RETURNOP(CvSTART(cv));
3038 }
f1025168 3039 else {
3a76ca88 3040 I32 markix = TOPMARK;
f1025168 3041
3a76ca88 3042 PUTBACK;
f1025168 3043
3a76ca88
RGS
3044 if (!hasargs) {
3045 /* Need to copy @_ to stack. Alternative may be to
3046 * switch stack to @_, and copy return values
3047 * back. This would allow popping @_ in XSUB, e.g.. XXXX */
3048 AV * const av = GvAV(PL_defgv);
3049 const I32 items = AvFILLp(av) + 1; /* @_ is not tieable */
3050
3051 if (items) {
3052 /* Mark is at the end of the stack. */
3053 EXTEND(SP, items);
3054 Copy(AvARRAY(av), SP + 1, items, SV*);
3055 SP += items;
3056 PUTBACK ;
3057 }
3058 }
3059 /* We assume first XSUB in &DB::sub is the called one. */
3060 if (PL_curcopdb) {
3061 SAVEVPTR(PL_curcop);
3062 PL_curcop = PL_curcopdb;
3063 PL_curcopdb = NULL;
3064 }
3065 /* Do we need to open block here? XXXX */
72df79cf 3066
3067 /* CvXSUB(cv) must not be NULL because newXS() refuses NULL xsub address */
3068 assert(CvXSUB(cv));
16c91539 3069 CvXSUB(cv)(aTHX_ cv);
3a76ca88
RGS
3070
3071 /* Enforce some sanity in scalar context. */
3072 if (gimme == G_SCALAR && ++markix != PL_stack_sp - PL_stack_base ) {
3073 if (markix > PL_stack_sp - PL_stack_base)
3074 *(PL_stack_base + markix) = &PL_sv_undef;
3075 else
3076 *(PL_stack_base + markix) = *PL_stack_sp;
3077 PL_stack_sp = PL_stack_base + markix;
3078 }
a57c6685 3079 LEAVE;
f1025168
NC
3080 return NORMAL;
3081 }
a0d0e21e
LW
3082}
3083
44a8e56a 3084void
864dbfa3 3085Perl_sub_crush_depth(pTHX_ CV *cv)
44a8e56a 3086{
7918f24d
NC
3087 PERL_ARGS_ASSERT_SUB_CRUSH_DEPTH;
3088
44a8e56a 3089 if (CvANON(cv))
9014280d 3090 Perl_warner(aTHX_ packWARN(WARN_RECURSION), "Deep recursion on anonymous subroutine");
44a8e56a 3091 else {
aec46f14 3092 SV* const tmpstr = sv_newmortal();
6136c704 3093 gv_efullname3(tmpstr, CvGV(cv), NULL);
35c1215d 3094 Perl_warner(aTHX_ packWARN(WARN_RECURSION), "Deep recursion on subroutine \"%"SVf"\"",
be2597df 3095 SVfARG(tmpstr));
44a8e56a
PP
3096 }
3097}
3098
a0d0e21e
LW
3099PP(pp_aelem)
3100{
97aff369 3101 dVAR; dSP;
a0d0e21e 3102 SV** svp;
a3b680e6 3103 SV* const elemsv = POPs;
d804643f 3104 IV elem = SvIV(elemsv);
502c6561 3105 AV *const av = MUTABLE_AV(POPs);
e1ec3a88
AL
3106 const U32 lval = PL_op->op_flags & OPf_MOD || LVRET;
3107 const U32 defer = (PL_op->op_private & OPpLVAL_DEFER) && (elem > av_len(av));
4ad10a0b
VP
3108 const bool localizing = PL_op->op_private & OPpLVAL_INTRO;
3109 bool preeminent = TRUE;
be6c24e0 3110 SV *sv;
a0d0e21e 3111
e35c1634 3112 if (SvROK(elemsv) && !SvGAMAGIC(elemsv) && ckWARN(WARN_MISC))
95b63a38
JH
3113 Perl_warner(aTHX_ packWARN(WARN_MISC),
3114 "Use of reference \"%"SVf"\" as array index",
be2597df 3115 SVfARG(elemsv));
748a9306 3116 if (elem > 0)
fc15ae8f 3117 elem -= CopARYBASE_get(PL_curcop);
a0d0e21e
LW
3118 if (SvTYPE(av) != SVt_PVAV)
3119 RETPUSHUNDEF;
4ad10a0b
VP
3120
3121 if (localizing) {
3122 MAGIC *mg;
3123 HV *stash;
3124
3125 /* If we can determine whether the element exist,
3126 * Try to preserve the existenceness of a tied array
3127 * element by using EXISTS and DELETE if possible.
3128 * Fallback to FETCH and STORE otherwise. */
3129 if (SvCANEXISTDELETE(av))
3130 preeminent = av_exists(av, elem);
3131 }
3132
68dc0745 3133 svp = av_fetch(av, elem, lval && !defer);
a0d0e21e 3134 if (lval) {
2b573ace 3135#ifdef PERL_MALLOC_WRAP
2b573ace 3136 if (SvUOK(elemsv)) {
a9c4fd4e 3137 const UV uv = SvUV(elemsv);
2b573ace
JH
3138 elem = uv > IV_MAX ? IV_MAX : uv;
3139 }
3140 else if (SvNOK(elemsv))
3141 elem = (IV)SvNV(elemsv);
a3b680e6
AL
3142 if (elem > 0) {
3143 static const char oom_array_extend[] =
3144 "Out of memory during array extend"; /* Duplicated in av.c */
2b573ace 3145 MEM_WRAP_CHECK_1(elem,SV*,oom_array_extend);
a3b680e6 3146 }
2b573ace 3147#endif
3280af22 3148 if (!svp || *svp == &PL_sv_undef) {
68dc0745
PP
3149 SV* lv;
3150 if (!defer)
cea2e8a9 3151 DIE(aTHX_ PL_no_aelem, elem);
68dc0745
PP
3152 lv = sv_newmortal();
3153 sv_upgrade(lv, SVt_PVLV);
3154 LvTYPE(lv) = 'y';
a0714e2c 3155 sv_magic(lv, NULL, PERL_MAGIC_defelem, NULL, 0);
b37c2d43 3156 LvTARG(lv) = SvREFCNT_inc_simple(av);
68dc0745
PP
3157 LvTARGOFF(lv) = elem;
3158 LvTARGLEN(lv) = 1;
3159 PUSHs(lv);
3160 RETURN;
3161 }
4ad10a0b
VP
3162 if (localizing) {
3163 if (preeminent)
3164 save_aelem(av, elem, svp);
3165 else
3166 SAVEADELETE(av, elem);
3167 }
533c011a
NIS
3168 else if (PL_op->op_private & OPpDEREF)
3169 vivify_ref(*svp, PL_op->op_private & OPpDEREF);
a0d0e21e 3170 }
3280af22 3171 sv = (svp ? *svp : &PL_sv_undef);
39cf747a 3172 if (!lval && SvRMAGICAL(av) && SvGMAGICAL(sv)) /* see note in pp_helem() */
fd69380d 3173 mg_get(sv);
be6c24e0 3174 PUSHs(sv);
a0d0e21e
LW
3175 RETURN;
3176}
3177
02a9e968 3178void
864dbfa3 3179Perl_vivify_ref(pTHX_ SV *sv, U32 to_what)
02a9e968 3180{
7918f24d
NC
3181 PERL_ARGS_ASSERT_VIVIFY_REF;
3182
5b295bef 3183 SvGETMAGIC(sv);
02a9e968
CS
3184 if (!SvOK(sv)) {
3185 if (SvREADONLY(sv))
6ad8f254 3186 Perl_croak_no_modify(aTHX);
43230e26 3187 prepare_SV_for_RV(sv);
68dc0745 3188 switch (to_what) {
5f05dabc 3189 case OPpDEREF_SV:
561b68a9 3190 SvRV_set(sv, newSV(0));
5f05dabc
PP
3191 break;
3192 case OPpDEREF_AV:
ad64d0ec 3193 SvRV_set(sv, MUTABLE_SV(newAV()));
5f05dabc
PP
3194 break;
3195 case OPpDEREF_HV:
ad64d0ec 3196 SvRV_set(sv, MUTABLE_SV(newHV()));
5f05dabc
PP
3197 break;
3198 }
02a9e968
CS
3199 SvROK_on(sv);
3200 SvSETMAGIC(sv);
3201 }
3202}
3203
a0d0e21e
LW
3204PP(pp_method)
3205{
97aff369 3206 dVAR; dSP;
890ce7af 3207 SV* const sv = TOPs;
f5d5a27c
CS
3208
3209 if (SvROK(sv)) {
890ce7af 3210 SV* const rsv = SvRV(sv);
f5d5a27c
CS
3211 if (SvTYPE(rsv) == SVt_PVCV) {
3212 SETs(rsv);
3213 RETURN;
3214 }
3215 }
3216
4608196e 3217 SETs(method_common(sv, NULL));
f5d5a27c
CS
3218 RETURN;
3219}
3220
3221PP(pp_method_named)
3222{
97aff369 3223 dVAR; dSP;
890ce7af 3224 SV* const sv = cSVOP_sv;
c158a4fd 3225 U32 hash = SvSHARED_HASH(sv);
f5d5a27c
CS
3226
3227 XPUSHs(method_common(sv, &hash));
3228 RETURN;
3229}
3230
3231STATIC SV *
3232S_method_common(pTHX_ SV* meth, U32* hashp)
3233{
97aff369 3234 dVAR;
a0d0e21e
LW
3235 SV* ob;
3236 GV* gv;
56304f61 3237 HV* stash;
6136c704 3238 const char* packname = NULL;
a0714e2c 3239 SV *packsv = NULL;
ac91690f 3240 STRLEN packlen;
46c461b5 3241 SV * const sv = *(PL_stack_base + TOPMARK + 1);
f5d5a27c 3242
7918f24d
NC
3243 PERL_ARGS_ASSERT_METHOD_COMMON;
3244
4f1b7578 3245 if (!sv)
a214957f
VP
3246 Perl_croak(aTHX_ "Can't call method \"%"SVf"\" on an undefined value",
3247 SVfARG(meth));
4f1b7578 3248
5b295bef 3249 SvGETMAGIC(sv);
a0d0e21e 3250 if (SvROK(sv))
ad64d0ec 3251 ob = MUTABLE_SV(SvRV(sv));
a0d0e21e
LW
3252 else {
3253 GV* iogv;
a0d0e21e 3254
af09ea45 3255 /* this isn't a reference */
5c144d81 3256 if(SvOK(sv) && (packname = SvPV_const(sv, packlen))) {
b464bac0 3257 const HE* const he = hv_fetch_ent(PL_stashcache, sv, 0, 0);
081fc587 3258 if (he) {
5e6396ae 3259 stash = INT2PTR(HV*,SvIV(HeVAL(he)));
081fc587
AB
3260 goto fetch;
3261 }
3262 }
3263
a0d0e21e 3264 if (!SvOK(sv) ||
05f5af9a 3265 !(packname) ||
f776e3cd 3266 !(iogv = gv_fetchsv(sv, 0, SVt_PVIO)) ||
ad64d0ec 3267 !(ob=MUTABLE_SV(GvIO(iogv))))
a0d0e21e 3268 {
af09ea45 3269 /* this isn't the name of a filehandle either */
1c846c1f 3270 if (!packname ||
fd400ab9 3271 ((UTF8_IS_START(*packname) && DO_UTF8(sv))
b86a2fa7 3272 ? !isIDFIRST_utf8((U8*)packname)
834a4ddd
LW
3273 : !isIDFIRST(*packname)
3274 ))
3275 {
a214957f
VP
3276 Perl_croak(aTHX_ "Can't call method \"%"SVf"\" %s",
3277 SVfARG(meth),
f5d5a27c
CS
3278 SvOK(sv) ? "without a package or object reference"
3279 : "on an undefined value");
834a4ddd 3280 }
af09ea45 3281 /* assume it's a package name */
da51bb9b 3282 stash = gv_stashpvn(packname, packlen, 0);
0dae17bd
GS
3283 if (!stash)
3284 packsv = sv;
081fc587 3285 else {
d4c19fe8 3286 SV* const ref = newSViv(PTR2IV(stash));
04fe65b0 3287 (void)hv_store(PL_stashcache, packname, packlen, ref, 0);
7e8961ec 3288 }
ac91690f 3289 goto fetch;
a0d0e21e 3290 }
af09ea45 3291 /* it _is_ a filehandle name -- replace with a reference */
ad64d0ec 3292 *(PL_stack_base + TOPMARK + 1) = sv_2mortal(newRV(MUTABLE_SV(iogv)));
a0d0e21e
LW
3293 }
3294
af09ea45 3295 /* if we got here, ob should be a reference or a glob */
f0d43078 3296 if (!ob || !(SvOBJECT(ob)
6e592b3a
BM
3297 || (SvTYPE(ob) == SVt_PVGV
3298 && isGV_with_GP(ob)
159b6efe 3299 && (ob = MUTABLE_SV(GvIO((const GV *)ob)))
f0d43078
GS
3300 && SvOBJECT(ob))))
3301 {
a214957f 3302 const char * const name = SvPV_nolen_const(meth);
f5d5a27c 3303 Perl_croak(aTHX_ "Can't call method \"%s\" on unblessed reference",
59e7186f 3304 (SvSCREAM(meth) && strEQ(name,"isa")) ? "DOES" :
f5d5a27c 3305 name);
f0d43078 3306 }
a0d0e21e 3307
56304f61 3308 stash = SvSTASH(ob);
a0d0e21e 3309
ac91690f 3310 fetch:
af09ea45
IK
3311 /* NOTE: stash may be null, hope hv_fetch_ent and
3312 gv_fetchmethod can cope (it seems they can) */
3313
f5d5a27c
CS
3314 /* shortcut for simple names */
3315 if (hashp) {
b464bac0 3316 const HE* const he = hv_fetch_ent(stash, meth, 0, *hashp);
f5d5a27c 3317 if (he) {
159b6efe 3318 gv = MUTABLE_GV(HeVAL(he));
f5d5a27c 3319 if (isGV(gv) && GvCV(gv) &&
e1a479c5 3320 (!GvCVGEN(gv) || GvCVGEN(gv)
dd69841b 3321 == (PL_sub_generation + HvMROMETA(stash)->cache_gen)))
ad64d0ec 3322 return MUTABLE_SV(GvCV(gv));
f5d5a27c
CS
3323 }
3324 }
3325
a214957f
VP
3326 gv = gv_fetchmethod_flags(stash ? stash : MUTABLE_HV(packsv),
3327 SvPV_nolen_const(meth),
256d1bb2 3328 GV_AUTOLOAD | GV_CROAK);
9b9d0b15 3329
256d1bb2 3330 assert(gv);
9b9d0b15 3331
ad64d0ec 3332 return isGV(gv) ? MUTABLE_SV(GvCV(gv)) : MUTABLE_SV(gv);
a0d0e21e 3333}
241d1a3b
NC
3334
3335/*
3336 * Local variables:
3337 * c-indentation-style: bsd
3338 * c-basic-offset: 4
3339 * indent-tabs-mode: t
3340 * End:
3341 *
37442d52
RGS
3342 * ex: set ts=8 sts=4 sw=4 noet:
3343 */