This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
Move pp_leavesublv from pp_hot.c to pp_ctl.c
[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;
815dd406 2440 dstr = newSVpvn_flags(m, s-m, SVs_TEMP | (DO_UTF8(TARG) ? SVf_UTF8 : 0));
3280af22 2441 PL_curpm = pm;
a0d0e21e 2442 if (!c) {
c09156bb 2443 register PERL_CONTEXT *cx;
8ec5e241 2444 SPAGAIN;
20be6587
DM
2445 /* note that a whole bunch of local vars are saved here for
2446 * use by pp_substcont: here's a list of them in case you're
2447 * searching for places in this sub that uses a particular var:
2448 * iters maxiters r_flags oldsave rxtainted orig dstr targ
2449 * s m strend rx once */
a0d0e21e 2450 PUSHSUBST(cx);
20e98b0f 2451 RETURNOP(cPMOP->op_pmreplrootu.op_pmreplroot);
a0d0e21e 2452 }
cf93c79d 2453 r_flags |= REXEC_IGNOREPOS | REXEC_NOT_FIRST;
a0d0e21e
LW
2454 do {
2455 if (iters++ > maxiters)
cea2e8a9 2456 DIE(aTHX_ "Substitution loop");
20be6587
DM
2457 if (RX_MATCH_TAINTED(rx))
2458 rxtainted |= SUBST_TAINT_PAT;
07bc277f 2459 if (RX_MATCH_COPIED(rx) && RX_SUBBEG(rx) != orig) {
a0d0e21e
LW
2460 m = s;
2461 s = orig;
07bc277f 2462 orig = RX_SUBBEG(rx);
a0d0e21e
LW
2463 s = orig + (m - s);
2464 strend = s + (strend - m);
2465 }
07bc277f 2466 m = RX_OFFS(rx)[0].start + orig;
db79b45b
JH
2467 if (doutf8 && !SvUTF8(dstr))
2468 sv_catpvn_utf8_upgrade(dstr, s, m - s, nsv);
2469 else
2470 sv_catpvn(dstr, s, m-s);
07bc277f 2471 s = RX_OFFS(rx)[0].end + orig;
a0d0e21e
LW
2472 if (clen)
2473 sv_catpvn(dstr, c, clen);
2474 if (once)
2475 break;
f9f4320a 2476 } while (CALLREGEXEC(rx, s, strend, orig, s == m,
ffc61ed2 2477 TARG, NULL, r_flags));
db79b45b
JH
2478 if (doutf8 && !DO_UTF8(TARG))
2479 sv_catpvn_utf8_upgrade(dstr, s, strend - s, nsv);
89afcb60
A
2480 else
2481 sv_catpvn(dstr, s, strend - s);
748a9306 2482
f8c7b90f 2483#ifdef PERL_OLD_COPY_ON_WRITE
ed252734
NC
2484 /* The match may make the string COW. If so, brilliant, because that's
2485 just saved us one malloc, copy and free - the regexp has donated
2486 the old buffer, and we malloc an entirely new one, rather than the
2487 regexp malloc()ing a buffer and copying our original, only for
2488 us to throw it away here during the substitution. */
2489 if (SvIsCOW(TARG)) {
2490 sv_force_normal_flags(TARG, SV_COW_DROP_PV);
2491 } else
2492#endif
2493 {
8bd4d4c5 2494 SvPV_free(TARG);
ed252734 2495 }
f880fe2f 2496 SvPV_set(TARG, SvPVX(dstr));
748a9306
LW
2497 SvCUR_set(TARG, SvCUR(dstr));
2498 SvLEN_set(TARG, SvLEN(dstr));
f272994b 2499 doutf8 |= DO_UTF8(dstr);
6136c704 2500 SvPV_set(dstr, NULL);
748a9306 2501
f878fbec 2502 SPAGAIN;
4f4d7508
DC
2503 if (rpm->op_pmflags & PMf_NONDESTRUCT)
2504 PUSHs(TARG);
2505 else
2506 mPUSHi((I32)iters);
a0d0e21e 2507 }
f1a76097
DM
2508 (void)SvPOK_only_UTF8(TARG);
2509 if (doutf8)
2510 SvUTF8_on(TARG);
20be6587 2511
ef07e810 2512 /* See "how taint works" above */
20be6587
DM
2513 if (PL_tainting) {
2514 if ((rxtainted & SUBST_TAINT_PAT) ||
2515 ((rxtainted & (SUBST_TAINT_STR|SUBST_TAINT_RETAINT)) ==
2516 (SUBST_TAINT_STR|SUBST_TAINT_RETAINT))
2517 )
2518 (RX_MATCH_TAINTED_on(rx)); /* taint $1 et al */
2519
2520 if (!(rxtainted & SUBST_TAINT_BOOLRET)
2521 && (rxtainted & (SUBST_TAINT_STR|SUBST_TAINT_PAT))
2522 )
2523 SvTAINTED_on(TOPs); /* taint return value */
2524 else
2525 SvTAINTED_off(TOPs); /* may have got tainted earlier */
2526
2527 /* needed for mg_set below */
2528 PL_tainted =
2529 cBOOL(rxtainted & (SUBST_TAINT_STR|SUBST_TAINT_PAT|SUBST_TAINT_REPL));
2530 SvTAINT(TARG);
2531 }
2532 SvSETMAGIC(TARG); /* PL_tainted must be correctly set for this mg_set */
2533 TAINT_NOT;
f1a76097
DM
2534 LEAVE_SCOPE(oldsave);
2535 RETURN;
a0d0e21e
LW
2536}
2537
2538PP(pp_grepwhile)
2539{
27da23d5 2540 dVAR; dSP;
a0d0e21e
LW
2541
2542 if (SvTRUEx(POPs))
3280af22
NIS
2543 PL_stack_base[PL_markstack_ptr[-1]++] = PL_stack_base[*PL_markstack_ptr];
2544 ++*PL_markstack_ptr;
b2a2a901 2545 FREETMPS;
d343c3ef 2546 LEAVE_with_name("grep_item"); /* exit inner scope */
a0d0e21e
LW
2547
2548 /* All done yet? */
3280af22 2549 if (PL_stack_base + *PL_markstack_ptr > SP) {
a0d0e21e 2550 I32 items;
c4420975 2551 const I32 gimme = GIMME_V;
a0d0e21e 2552
d343c3ef 2553 LEAVE_with_name("grep"); /* exit outer scope */
a0d0e21e 2554 (void)POPMARK; /* pop src */
3280af22 2555 items = --*PL_markstack_ptr - PL_markstack_ptr[-1];
a0d0e21e 2556 (void)POPMARK; /* pop dst */
3280af22 2557 SP = PL_stack_base + POPMARK; /* pop original mark */
54310121 2558 if (gimme == G_SCALAR) {
7cc47870 2559 if (PL_op->op_private & OPpGREP_LEX) {
c4420975 2560 SV* const sv = sv_newmortal();
7cc47870
RGS
2561 sv_setiv(sv, items);
2562 PUSHs(sv);
2563 }
2564 else {
2565 dTARGET;
2566 XPUSHi(items);
2567 }
a0d0e21e 2568 }
54310121
PP
2569 else if (gimme == G_ARRAY)
2570 SP += items;
a0d0e21e
LW
2571 RETURN;
2572 }
2573 else {
2574 SV *src;
2575
d343c3ef 2576 ENTER_with_name("grep_item"); /* enter inner scope */
1d7c1841 2577 SAVEVPTR(PL_curpm);
a0d0e21e 2578
3280af22 2579 src = PL_stack_base[*PL_markstack_ptr];
a0d0e21e 2580 SvTEMP_off(src);
59f00321
RGS
2581 if (PL_op->op_private & OPpGREP_LEX)
2582 PAD_SVl(PL_op->op_targ) = src;
2583 else
414bf5ae 2584 DEFSV_set(src);
a0d0e21e
LW
2585
2586 RETURNOP(cLOGOP->op_other);
2587 }
2588}
2589
2590PP(pp_leavesub)
2591{
27da23d5 2592 dVAR; dSP;
a0d0e21e
LW
2593 SV **mark;
2594 SV **newsp;
2595 PMOP *newpm;
2596 I32 gimme;
c09156bb 2597 register PERL_CONTEXT *cx;
b0d9ce38 2598 SV *sv;
767eda44 2599 bool gmagic;
a0d0e21e 2600
9850bf21
RH
2601 if (CxMULTICALL(&cxstack[cxstack_ix]))
2602 return 0;
2603
a0d0e21e 2604 POPBLOCK(cx,newpm);
5dd42e15 2605 cxstack_ix++; /* temporarily protect top context */
767eda44 2606 gmagic = CxLVAL(cx) & OPpENTERSUB_DEREF;
1c846c1f 2607
a1f49e72 2608 TAINT_NOT;
a0d0e21e
LW
2609 if (gimme == G_SCALAR) {
2610 MARK = newsp + 1;
a29cdaf0 2611 if (MARK <= SP) {
a8bba7fa 2612 if (cx->blk_sub.cv && CvDEPTH(cx->blk_sub.cv) > 1) {
3ed94dc0 2613 if (SvTEMP(TOPs) && SvREFCNT(TOPs) == 1) {
a29cdaf0
IZ
2614 *MARK = SvREFCNT_inc(TOPs);
2615 FREETMPS;
2616 sv_2mortal(*MARK);
767eda44 2617 if (gmagic) SvGETMAGIC(*MARK);
cd06dffe
GS
2618 }
2619 else {
959e3673 2620 sv = SvREFCNT_inc(TOPs); /* FREETMPS could clobber it */
a29cdaf0 2621 FREETMPS;
959e3673
GS
2622 *MARK = sv_mortalcopy(sv);
2623 SvREFCNT_dec(sv);
a29cdaf0 2624 }
cd06dffe 2625 }
3ed94dc0 2626 else if (SvTEMP(TOPs) && SvREFCNT(TOPs) == 1) {
767eda44
FC
2627 *MARK = TOPs;
2628 if (gmagic) SvGETMAGIC(TOPs);
2629 }
cd06dffe 2630 else
767eda44 2631 *MARK = sv_mortalcopy(TOPs);
cd06dffe
GS
2632 }
2633 else {
f86702cc 2634 MEXTEND(MARK, 0);
3280af22 2635 *MARK = &PL_sv_undef;
a0d0e21e
LW
2636 }
2637 SP = MARK;
2638 }
54310121 2639 else if (gimme == G_ARRAY) {
f86702cc 2640 for (MARK = newsp + 1; MARK <= SP; MARK++) {
3ed94dc0 2641 if (!SvTEMP(*MARK) || SvREFCNT(*MARK) != 1) {
f86702cc 2642 *MARK = sv_mortalcopy(*MARK);
a1f49e72
CS
2643 TAINT_NOT; /* Each item is independent */
2644 }
f86702cc 2645 }
a0d0e21e 2646 }
f86702cc 2647 PUTBACK;
1c846c1f 2648
a57c6685 2649 LEAVE;
5dd42e15 2650 cxstack_ix--;
b0d9ce38 2651 POPSUB(cx,sv); /* Stack values are safe: release CV and @_ ... */
3280af22 2652 PL_curpm = newpm; /* ... and pop $1 et al */
a0d0e21e 2653
b0d9ce38 2654 LEAVESUB(sv);
f39bc417 2655 return cx->blk_sub.retop;
a0d0e21e
LW
2656}
2657
2658PP(pp_entersub)
2659{
27da23d5 2660 dVAR; dSP; dPOPss;
a0d0e21e 2661 GV *gv;
a0d0e21e 2662 register CV *cv;
c09156bb 2663 register PERL_CONTEXT *cx;
5d94fbed 2664 I32 gimme;
a9c4fd4e 2665 const bool hasargs = (PL_op->op_flags & OPf_STACKED) != 0;
a0d0e21e
LW
2666
2667 if (!sv)
cea2e8a9 2668 DIE(aTHX_ "Not a CODE reference");
a0d0e21e 2669 switch (SvTYPE(sv)) {
f1025168
NC
2670 /* This is overwhelming the most common case: */
2671 case SVt_PVGV:
6e592b3a
BM
2672 if (!isGV_with_GP(sv))
2673 DIE(aTHX_ "Not a CODE reference");
13be902c 2674 we_have_a_glob:
159b6efe 2675 if (!(cv = GvCVu((const GV *)sv))) {
f730a42d 2676 HV *stash;
f2c0649b 2677 cv = sv_2cv(sv, &stash, &gv, 0);
f730a42d 2678 }
f1025168 2679 if (!cv) {
a57c6685 2680 ENTER;
f1025168
NC
2681 SAVETMPS;
2682 goto try_autoload;
2683 }
2684 break;
13be902c
FC
2685 case SVt_PVLV:
2686 if(isGV_with_GP(sv)) goto we_have_a_glob;
2687 /*FALLTHROUGH*/
a0d0e21e 2688 default:
7c75014e
DM
2689 if (sv == &PL_sv_yes) { /* unfound import, ignore */
2690 if (hasargs)
2691 SP = PL_stack_base + POPMARK;
4d198de3
DM
2692 else
2693 (void)POPMARK;
7c75014e
DM
2694 RETURN;
2695 }
2696 SvGETMAGIC(sv);
2697 if (SvROK(sv)) {
93d7320b
DM
2698 if (SvAMAGIC(sv)) {
2699 sv = amagic_deref_call(sv, to_cv_amg);
2700 /* Don't SPAGAIN here. */
2701 }
7c75014e
DM
2702 }
2703 else {
a9c4fd4e 2704 const char *sym;
780a5241 2705 STRLEN len;
7c75014e 2706 sym = SvPV_nomg_const(sv, len);
15ff848f 2707 if (!sym)
cea2e8a9 2708 DIE(aTHX_ PL_no_usym, "a subroutine");
533c011a 2709 if (PL_op->op_private & HINT_STRICT_REFS)
973a7615 2710 DIE(aTHX_ "Can't use string (\"%.32s\"%s) as a subroutine ref while \"strict refs\" in use", sym, len>32 ? "..." : "");
780a5241 2711 cv = get_cvn_flags(sym, len, GV_ADD|SvUTF8(sv));
a0d0e21e
LW
2712 break;
2713 }
ea726b52 2714 cv = MUTABLE_CV(SvRV(sv));
a0d0e21e
LW
2715 if (SvTYPE(cv) == SVt_PVCV)
2716 break;
2717 /* FALL THROUGH */
2718 case SVt_PVHV:
2719 case SVt_PVAV:
cea2e8a9 2720 DIE(aTHX_ "Not a CODE reference");
f1025168 2721 /* This is the second most common case: */
a0d0e21e 2722 case SVt_PVCV:
ea726b52 2723 cv = MUTABLE_CV(sv);
a0d0e21e 2724 break;
a0d0e21e
LW
2725 }
2726
a57c6685 2727 ENTER;
a0d0e21e
LW
2728 SAVETMPS;
2729
2730 retry:
541ed3a9
FC
2731 if (CvCLONE(cv) && ! CvCLONED(cv))
2732 DIE(aTHX_ "Closure prototype called");
a0d0e21e 2733 if (!CvROOT(cv) && !CvXSUB(cv)) {
2f349aa0
NC
2734 GV* autogv;
2735 SV* sub_name;
2736
2737 /* anonymous or undef'd function leaves us no recourse */
2738 if (CvANON(cv) || !(gv = CvGV(cv)))
2739 DIE(aTHX_ "Undefined subroutine called");
2740
2741 /* autoloaded stub? */
2742 if (cv != GvCV(gv)) {
2743 cv = GvCV(gv);
2744 }
2745 /* should call AUTOLOAD now? */
2746 else {
7e623da3 2747try_autoload:
2f349aa0 2748 if ((autogv = gv_autoload4(GvSTASH(gv), GvNAME(gv), GvNAMELEN(gv),
7e623da3 2749 FALSE)))
2f349aa0
NC
2750 {
2751 cv = GvCV(autogv);
2752 }
2753 /* sorry */
2754 else {
2755 sub_name = sv_newmortal();
6136c704 2756 gv_efullname3(sub_name, gv, NULL);
be2597df 2757 DIE(aTHX_ "Undefined subroutine &%"SVf" called", SVfARG(sub_name));
2f349aa0
NC
2758 }
2759 }
2760 if (!cv)
2761 DIE(aTHX_ "Not a CODE reference");
2762 goto retry;
a0d0e21e
LW
2763 }
2764
54310121 2765 gimme = GIMME_V;
67caa1fe 2766 if ((PL_op->op_private & OPpENTERSUB_DB) && GvCV(PL_DBsub) && !CvNODEBUG(cv)) {
005a8a35 2767 Perl_get_db_sub(aTHX_ &sv, cv);
a9ef256d
NC
2768 if (CvISXSUB(cv))
2769 PL_curcopdb = PL_curcop;
1ad62f64 2770 if (CvLVALUE(cv)) {
2771 /* check for lsub that handles lvalue subroutines */
ae5c1e95 2772 cv = GvCV(gv_HVadd(gv_fetchpvs("DB::lsub", GV_ADDMULTI, SVt_PVHV)));
1ad62f64 2773 /* if lsub not found then fall back to DB::sub */
2774 if (!cv) cv = GvCV(PL_DBsub);
2775 } else {
2776 cv = GvCV(PL_DBsub);
2777 }
a9ef256d 2778
ccafdc96
RGS
2779 if (!cv || (!CvXSUB(cv) && !CvSTART(cv)))
2780 DIE(aTHX_ "No DB::sub routine defined");
67caa1fe 2781 }
a0d0e21e 2782
aed2304a 2783 if (!(CvISXSUB(cv))) {
f1025168 2784 /* This path taken at least 75% of the time */
a0d0e21e
LW
2785 dMARK;
2786 register I32 items = SP - MARK;
0bcc34c2 2787 AV* const padlist = CvPADLIST(cv);
a0d0e21e
LW
2788 PUSHBLOCK(cx, CXt_SUB, MARK);
2789 PUSHSUB(cx);
f39bc417 2790 cx->blk_sub.retop = PL_op->op_next;
a0d0e21e 2791 CvDEPTH(cv)++;
6b35e009
GS
2792 /* XXX This would be a natural place to set C<PL_compcv = cv> so
2793 * that eval'' ops within this sub know the correct lexical space.
a3985cdc
DM
2794 * Owing the speed considerations, we choose instead to search for
2795 * the cv using find_runcv() when calling doeval().
6b35e009 2796 */
3a76ca88
RGS
2797 if (CvDEPTH(cv) >= 2) {
2798 PERL_STACK_OVERFLOW_CHECK();
2799 pad_push(padlist, CvDEPTH(cv));
a0d0e21e 2800 }
3a76ca88
RGS
2801 SAVECOMPPAD();
2802 PAD_SET_CUR_NOSAVE(padlist, CvDEPTH(cv));
2803 if (hasargs) {
10533ace 2804 AV *const av = MUTABLE_AV(PAD_SVl(0));
221373f0
GS
2805 if (AvREAL(av)) {
2806 /* @_ is normally not REAL--this should only ever
2807 * happen when DB::sub() calls things that modify @_ */
2808 av_clear(av);
2809 AvREAL_off(av);
2810 AvREIFY_on(av);
2811 }
3280af22 2812 cx->blk_sub.savearray = GvAV(PL_defgv);
502c6561 2813 GvAV(PL_defgv) = MUTABLE_AV(SvREFCNT_inc_simple(av));
dd2155a4 2814 CX_CURPAD_SAVE(cx->blk_sub);
6d4ff0d2 2815 cx->blk_sub.argarray = av;
a0d0e21e
LW
2816 ++MARK;
2817
2818 if (items > AvMAX(av) + 1) {
504618e9 2819 SV **ary = AvALLOC(av);
a0d0e21e
LW
2820 if (AvARRAY(av) != ary) {
2821 AvMAX(av) += AvARRAY(av) - AvALLOC(av);
9c6bc640 2822 AvARRAY(av) = ary;
a0d0e21e
LW
2823 }
2824 if (items > AvMAX(av) + 1) {
2825 AvMAX(av) = items - 1;
2826 Renew(ary,items,SV*);
2827 AvALLOC(av) = ary;
9c6bc640 2828 AvARRAY(av) = ary;
a0d0e21e
LW
2829 }
2830 }
2831 Copy(MARK,AvARRAY(av),items,SV*);
93965878 2832 AvFILLp(av) = items - 1;
1c846c1f 2833
a0d0e21e
LW
2834 while (items--) {
2835 if (*MARK)
2836 SvTEMP_off(*MARK);
2837 MARK++;
2838 }
2839 }
4a925ff6
GS
2840 /* warning must come *after* we fully set up the context
2841 * stuff so that __WARN__ handlers can safely dounwind()
2842 * if they want to
2843 */
2b9dff67 2844 if (CvDEPTH(cv) == PERL_SUB_DEPTH_WARN && ckWARN(WARN_RECURSION)
4a925ff6
GS
2845 && !(PERLDB_SUB && cv == GvCV(PL_DBsub)))
2846 sub_crush_depth(cv);
a0d0e21e
LW
2847 RETURNOP(CvSTART(cv));
2848 }
f1025168 2849 else {
3a76ca88 2850 I32 markix = TOPMARK;
f1025168 2851
3a76ca88 2852 PUTBACK;
f1025168 2853
3a76ca88
RGS
2854 if (!hasargs) {
2855 /* Need to copy @_ to stack. Alternative may be to
2856 * switch stack to @_, and copy return values
2857 * back. This would allow popping @_ in XSUB, e.g.. XXXX */
2858 AV * const av = GvAV(PL_defgv);
2859 const I32 items = AvFILLp(av) + 1; /* @_ is not tieable */
2860
2861 if (items) {
2862 /* Mark is at the end of the stack. */
2863 EXTEND(SP, items);
2864 Copy(AvARRAY(av), SP + 1, items, SV*);
2865 SP += items;
2866 PUTBACK ;
2867 }
2868 }
2869 /* We assume first XSUB in &DB::sub is the called one. */
2870 if (PL_curcopdb) {
2871 SAVEVPTR(PL_curcop);
2872 PL_curcop = PL_curcopdb;
2873 PL_curcopdb = NULL;
2874 }
2875 /* Do we need to open block here? XXXX */
72df79cf 2876
2877 /* CvXSUB(cv) must not be NULL because newXS() refuses NULL xsub address */
2878 assert(CvXSUB(cv));
16c91539 2879 CvXSUB(cv)(aTHX_ cv);
3a76ca88
RGS
2880
2881 /* Enforce some sanity in scalar context. */
2882 if (gimme == G_SCALAR && ++markix != PL_stack_sp - PL_stack_base ) {
2883 if (markix > PL_stack_sp - PL_stack_base)
2884 *(PL_stack_base + markix) = &PL_sv_undef;
2885 else
2886 *(PL_stack_base + markix) = *PL_stack_sp;
2887 PL_stack_sp = PL_stack_base + markix;
2888 }
a57c6685 2889 LEAVE;
f1025168
NC
2890 return NORMAL;
2891 }
a0d0e21e
LW
2892}
2893
44a8e56a 2894void
864dbfa3 2895Perl_sub_crush_depth(pTHX_ CV *cv)
44a8e56a 2896{
7918f24d
NC
2897 PERL_ARGS_ASSERT_SUB_CRUSH_DEPTH;
2898
44a8e56a 2899 if (CvANON(cv))
9014280d 2900 Perl_warner(aTHX_ packWARN(WARN_RECURSION), "Deep recursion on anonymous subroutine");
44a8e56a 2901 else {
aec46f14 2902 SV* const tmpstr = sv_newmortal();
6136c704 2903 gv_efullname3(tmpstr, CvGV(cv), NULL);
35c1215d 2904 Perl_warner(aTHX_ packWARN(WARN_RECURSION), "Deep recursion on subroutine \"%"SVf"\"",
be2597df 2905 SVfARG(tmpstr));
44a8e56a
PP
2906 }
2907}
2908
a0d0e21e
LW
2909PP(pp_aelem)
2910{
97aff369 2911 dVAR; dSP;
a0d0e21e 2912 SV** svp;
a3b680e6 2913 SV* const elemsv = POPs;
d804643f 2914 IV elem = SvIV(elemsv);
502c6561 2915 AV *const av = MUTABLE_AV(POPs);
e1ec3a88
AL
2916 const U32 lval = PL_op->op_flags & OPf_MOD || LVRET;
2917 const U32 defer = (PL_op->op_private & OPpLVAL_DEFER) && (elem > av_len(av));
4ad10a0b
VP
2918 const bool localizing = PL_op->op_private & OPpLVAL_INTRO;
2919 bool preeminent = TRUE;
be6c24e0 2920 SV *sv;
a0d0e21e 2921
e35c1634 2922 if (SvROK(elemsv) && !SvGAMAGIC(elemsv) && ckWARN(WARN_MISC))
95b63a38
JH
2923 Perl_warner(aTHX_ packWARN(WARN_MISC),
2924 "Use of reference \"%"SVf"\" as array index",
be2597df 2925 SVfARG(elemsv));
748a9306 2926 if (elem > 0)
fc15ae8f 2927 elem -= CopARYBASE_get(PL_curcop);
a0d0e21e
LW
2928 if (SvTYPE(av) != SVt_PVAV)
2929 RETPUSHUNDEF;
4ad10a0b
VP
2930
2931 if (localizing) {
2932 MAGIC *mg;
2933 HV *stash;
2934
2935 /* If we can determine whether the element exist,
2936 * Try to preserve the existenceness of a tied array
2937 * element by using EXISTS and DELETE if possible.
2938 * Fallback to FETCH and STORE otherwise. */
2939 if (SvCANEXISTDELETE(av))
2940 preeminent = av_exists(av, elem);
2941 }
2942
68dc0745 2943 svp = av_fetch(av, elem, lval && !defer);
a0d0e21e 2944 if (lval) {
2b573ace 2945#ifdef PERL_MALLOC_WRAP
2b573ace 2946 if (SvUOK(elemsv)) {
a9c4fd4e 2947 const UV uv = SvUV(elemsv);
2b573ace
JH
2948 elem = uv > IV_MAX ? IV_MAX : uv;
2949 }
2950 else if (SvNOK(elemsv))
2951 elem = (IV)SvNV(elemsv);
a3b680e6
AL
2952 if (elem > 0) {
2953 static const char oom_array_extend[] =
2954 "Out of memory during array extend"; /* Duplicated in av.c */
2b573ace 2955 MEM_WRAP_CHECK_1(elem,SV*,oom_array_extend);
a3b680e6 2956 }
2b573ace 2957#endif
3280af22 2958 if (!svp || *svp == &PL_sv_undef) {
68dc0745
PP
2959 SV* lv;
2960 if (!defer)
cea2e8a9 2961 DIE(aTHX_ PL_no_aelem, elem);
68dc0745
PP
2962 lv = sv_newmortal();
2963 sv_upgrade(lv, SVt_PVLV);
2964 LvTYPE(lv) = 'y';
a0714e2c 2965 sv_magic(lv, NULL, PERL_MAGIC_defelem, NULL, 0);
b37c2d43 2966 LvTARG(lv) = SvREFCNT_inc_simple(av);
68dc0745
PP
2967 LvTARGOFF(lv) = elem;
2968 LvTARGLEN(lv) = 1;
2969 PUSHs(lv);
2970 RETURN;
2971 }
4ad10a0b
VP
2972 if (localizing) {
2973 if (preeminent)
2974 save_aelem(av, elem, svp);
2975 else
2976 SAVEADELETE(av, elem);
2977 }
533c011a
NIS
2978 else if (PL_op->op_private & OPpDEREF)
2979 vivify_ref(*svp, PL_op->op_private & OPpDEREF);
a0d0e21e 2980 }
3280af22 2981 sv = (svp ? *svp : &PL_sv_undef);
39cf747a 2982 if (!lval && SvRMAGICAL(av) && SvGMAGICAL(sv)) /* see note in pp_helem() */
fd69380d 2983 mg_get(sv);
be6c24e0 2984 PUSHs(sv);
a0d0e21e
LW
2985 RETURN;
2986}
2987
02a9e968 2988void
864dbfa3 2989Perl_vivify_ref(pTHX_ SV *sv, U32 to_what)
02a9e968 2990{
7918f24d
NC
2991 PERL_ARGS_ASSERT_VIVIFY_REF;
2992
5b295bef 2993 SvGETMAGIC(sv);
02a9e968
CS
2994 if (!SvOK(sv)) {
2995 if (SvREADONLY(sv))
6ad8f254 2996 Perl_croak_no_modify(aTHX);
43230e26 2997 prepare_SV_for_RV(sv);
68dc0745 2998 switch (to_what) {
5f05dabc 2999 case OPpDEREF_SV:
561b68a9 3000 SvRV_set(sv, newSV(0));
5f05dabc
PP
3001 break;
3002 case OPpDEREF_AV:
ad64d0ec 3003 SvRV_set(sv, MUTABLE_SV(newAV()));
5f05dabc
PP
3004 break;
3005 case OPpDEREF_HV:
ad64d0ec 3006 SvRV_set(sv, MUTABLE_SV(newHV()));
5f05dabc
PP
3007 break;
3008 }
02a9e968
CS
3009 SvROK_on(sv);
3010 SvSETMAGIC(sv);
3011 }
3012}
3013
a0d0e21e
LW
3014PP(pp_method)
3015{
97aff369 3016 dVAR; dSP;
890ce7af 3017 SV* const sv = TOPs;
f5d5a27c
CS
3018
3019 if (SvROK(sv)) {
890ce7af 3020 SV* const rsv = SvRV(sv);
f5d5a27c
CS
3021 if (SvTYPE(rsv) == SVt_PVCV) {
3022 SETs(rsv);
3023 RETURN;
3024 }
3025 }
3026
4608196e 3027 SETs(method_common(sv, NULL));
f5d5a27c
CS
3028 RETURN;
3029}
3030
3031PP(pp_method_named)
3032{
97aff369 3033 dVAR; dSP;
890ce7af 3034 SV* const sv = cSVOP_sv;
c158a4fd 3035 U32 hash = SvSHARED_HASH(sv);
f5d5a27c
CS
3036
3037 XPUSHs(method_common(sv, &hash));
3038 RETURN;
3039}
3040
3041STATIC SV *
3042S_method_common(pTHX_ SV* meth, U32* hashp)
3043{
97aff369 3044 dVAR;
a0d0e21e
LW
3045 SV* ob;
3046 GV* gv;
56304f61 3047 HV* stash;
6136c704 3048 const char* packname = NULL;
a0714e2c 3049 SV *packsv = NULL;
ac91690f 3050 STRLEN packlen;
46c461b5 3051 SV * const sv = *(PL_stack_base + TOPMARK + 1);
f5d5a27c 3052
7918f24d
NC
3053 PERL_ARGS_ASSERT_METHOD_COMMON;
3054
4f1b7578 3055 if (!sv)
a214957f
VP
3056 Perl_croak(aTHX_ "Can't call method \"%"SVf"\" on an undefined value",
3057 SVfARG(meth));
4f1b7578 3058
5b295bef 3059 SvGETMAGIC(sv);
a0d0e21e 3060 if (SvROK(sv))
ad64d0ec 3061 ob = MUTABLE_SV(SvRV(sv));
a0d0e21e
LW
3062 else {
3063 GV* iogv;
a0d0e21e 3064
af09ea45 3065 /* this isn't a reference */
5c144d81 3066 if(SvOK(sv) && (packname = SvPV_const(sv, packlen))) {
b464bac0 3067 const HE* const he = hv_fetch_ent(PL_stashcache, sv, 0, 0);
081fc587 3068 if (he) {
5e6396ae 3069 stash = INT2PTR(HV*,SvIV(HeVAL(he)));
081fc587
AB
3070 goto fetch;
3071 }
3072 }
3073
a0d0e21e 3074 if (!SvOK(sv) ||
05f5af9a 3075 !(packname) ||
f776e3cd 3076 !(iogv = gv_fetchsv(sv, 0, SVt_PVIO)) ||
ad64d0ec 3077 !(ob=MUTABLE_SV(GvIO(iogv))))
a0d0e21e 3078 {
af09ea45 3079 /* this isn't the name of a filehandle either */
1c846c1f 3080 if (!packname ||
fd400ab9 3081 ((UTF8_IS_START(*packname) && DO_UTF8(sv))
b86a2fa7 3082 ? !isIDFIRST_utf8((U8*)packname)
834a4ddd
LW
3083 : !isIDFIRST(*packname)
3084 ))
3085 {
a214957f
VP
3086 Perl_croak(aTHX_ "Can't call method \"%"SVf"\" %s",
3087 SVfARG(meth),
f5d5a27c
CS
3088 SvOK(sv) ? "without a package or object reference"
3089 : "on an undefined value");
834a4ddd 3090 }
af09ea45 3091 /* assume it's a package name */
da51bb9b 3092 stash = gv_stashpvn(packname, packlen, 0);
0dae17bd
GS
3093 if (!stash)
3094 packsv = sv;
081fc587 3095 else {
d4c19fe8 3096 SV* const ref = newSViv(PTR2IV(stash));
04fe65b0 3097 (void)hv_store(PL_stashcache, packname, packlen, ref, 0);
7e8961ec 3098 }
ac91690f 3099 goto fetch;
a0d0e21e 3100 }
af09ea45 3101 /* it _is_ a filehandle name -- replace with a reference */
ad64d0ec 3102 *(PL_stack_base + TOPMARK + 1) = sv_2mortal(newRV(MUTABLE_SV(iogv)));
a0d0e21e
LW
3103 }
3104
af09ea45 3105 /* if we got here, ob should be a reference or a glob */
f0d43078 3106 if (!ob || !(SvOBJECT(ob)
6e592b3a
BM
3107 || (SvTYPE(ob) == SVt_PVGV
3108 && isGV_with_GP(ob)
159b6efe 3109 && (ob = MUTABLE_SV(GvIO((const GV *)ob)))
f0d43078
GS
3110 && SvOBJECT(ob))))
3111 {
a214957f 3112 const char * const name = SvPV_nolen_const(meth);
f5d5a27c 3113 Perl_croak(aTHX_ "Can't call method \"%s\" on unblessed reference",
59e7186f 3114 (SvSCREAM(meth) && strEQ(name,"isa")) ? "DOES" :
f5d5a27c 3115 name);
f0d43078 3116 }
a0d0e21e 3117
56304f61 3118 stash = SvSTASH(ob);
a0d0e21e 3119
ac91690f 3120 fetch:
af09ea45
IK
3121 /* NOTE: stash may be null, hope hv_fetch_ent and
3122 gv_fetchmethod can cope (it seems they can) */
3123
f5d5a27c
CS
3124 /* shortcut for simple names */
3125 if (hashp) {
b464bac0 3126 const HE* const he = hv_fetch_ent(stash, meth, 0, *hashp);
f5d5a27c 3127 if (he) {
159b6efe 3128 gv = MUTABLE_GV(HeVAL(he));
f5d5a27c 3129 if (isGV(gv) && GvCV(gv) &&
e1a479c5 3130 (!GvCVGEN(gv) || GvCVGEN(gv)
dd69841b 3131 == (PL_sub_generation + HvMROMETA(stash)->cache_gen)))
ad64d0ec 3132 return MUTABLE_SV(GvCV(gv));
f5d5a27c
CS
3133 }
3134 }
3135
a214957f
VP
3136 gv = gv_fetchmethod_flags(stash ? stash : MUTABLE_HV(packsv),
3137 SvPV_nolen_const(meth),
256d1bb2 3138 GV_AUTOLOAD | GV_CROAK);
9b9d0b15 3139
256d1bb2 3140 assert(gv);
9b9d0b15 3141
ad64d0ec 3142 return isGV(gv) ? MUTABLE_SV(GvCV(gv)) : MUTABLE_SV(gv);
a0d0e21e 3143}
241d1a3b
NC
3144
3145/*
3146 * Local variables:
3147 * c-indentation-style: bsd
3148 * c-basic-offset: 4
3149 * indent-tabs-mode: t
3150 * End:
3151 *
37442d52
RGS
3152 * ex: set ts=8 sts=4 sw=4 noet:
3153 */