diff options
author | Gerard Goossen <gerard@ggoossen.net> | 2011-08-24 14:26:51 -0700 |
---|---|---|
committer | Father Chrysostomos <sprout@cpan.org> | 2011-08-24 14:26:51 -0700 |
commit | 9026059dcee814a1dd826752b902416a3eff6eb2 (patch) | |
tree | 1cb3e4b0b071f4e9f6d8d2d0b05618d382cf525b /pp_hot.c | |
parent | 835c0338f857876193eb10d8e9d5a6efe142b2a9 (diff) | |
download | perl-9026059dcee814a1dd826752b902416a3eff6eb2.tar.gz |
[perl #97088] Prevent double get-magic in various cases
This patch prevents get-magic from executing twice during autovivifi-
cation when the op doing the autovivification is not directly nested
inside the dereferencing op.
This can happen in cases like this:
${ (), $a } = 1;
Previously (as of 5.13.something), the outer op was marked with the
OPpDEREFed flag, which indicated that get-magic had already been
called by the vivifying op (calling get-magic during vivification is
inevitable):
$ perl5.14.0 -MO=Concise -e '${ $a } = 1'
8 <@> leave[1 ref] vKP/REFC ->(end)
1 <0> enter ->2
2 <;> nextstate(main 2 -e:1) v:{ ->3
7 <2> sassign vKS/2 ->8
3 <$> const[IV 1] s ->4
6 <1> rv2sv sKRM*/DREFed,1 ->7 <-- right here
- <@> scope sK ->6
- <0> ex-nextstate v ->4
5 <1> rv2sv sKM/DREFSV,1 ->6
4 <#> gv[*a] s ->5
-e syntax OK
But in the ${()...} example above, there is a list op in the way that
prevents the flag from being set inside the peephole optimizer. It’s
not even possible to set it correctly in all cases, as in this exam-
ple, which would need it both set and not set depending on which
branch of the ternary operator is executed:
${ $x ? delete $a[0] : $a[0] } = 1
Instead of setting the OPpDEREFed flag, we now make a non-magic copy
of the SV in vivify_ref (the first time get-magic is executed).
Diffstat (limited to 'pp_hot.c')
-rw-r--r-- | pp_hot.c | 31 |
1 files changed, 19 insertions, 12 deletions
@@ -311,7 +311,7 @@ PP(pp_padsv) SAVECLEARSV(PAD_SVl(PL_op->op_targ)); if (PL_op->op_private & OPpDEREF) { PUTBACK; - vivify_ref(PAD_SVl(PL_op->op_targ), PL_op->op_private & OPpDEREF); + TOPs = vivify_ref(TOPs, PL_op->op_private & OPpDEREF); SPAGAIN; } } @@ -759,8 +759,7 @@ PP(pp_rv2av) const bool is_pp_rv2av = PL_op->op_type == OP_RV2AV; const svtype type = is_pp_rv2av ? SVt_PVAV : SVt_PVHV; - if (!(PL_op->op_private & OPpDEREFed)) - SvGETMAGIC(sv); + SvGETMAGIC(sv); if (SvROK(sv)) { if (SvAMAGIC(sv)) { sv = amagic_deref_call(sv, is_pp_rv2av ? to_av_amg : to_hv_amg); @@ -1792,8 +1791,10 @@ PP(pp_helem) else SAVEHDELETE(hv, keysv); } - else if (PL_op->op_private & OPpDEREF) - vivify_ref(*svp, PL_op->op_private & OPpDEREF); + else if (PL_op->op_private & OPpDEREF) { + PUSHs(vivify_ref(*svp, PL_op->op_private & OPpDEREF)); + RETURN; + } } sv = (svp ? *svp : &PL_sv_undef); /* Originally this did a conditional C<sv = sv_mortalcopy(sv)>; this @@ -2463,14 +2464,12 @@ PP(pp_leavesub) I32 gimme; register PERL_CONTEXT *cx; SV *sv; - bool gmagic; if (CxMULTICALL(&cxstack[cxstack_ix])) return 0; POPBLOCK(cx,newpm); cxstack_ix++; /* temporarily protect top context */ - gmagic = CxLVAL(cx) & OPpENTERSUB_DEREF; TAINT_NOT; if (gimme == G_SCALAR) { @@ -2481,7 +2480,6 @@ PP(pp_leavesub) *MARK = SvREFCNT_inc(TOPs); FREETMPS; sv_2mortal(*MARK); - if (gmagic) SvGETMAGIC(*MARK); } else { sv = SvREFCNT_inc(TOPs); /* FREETMPS could clobber it */ @@ -2492,7 +2490,6 @@ PP(pp_leavesub) } else if (SvTEMP(TOPs) && SvREFCNT(TOPs) == 1) { *MARK = TOPs; - if (gmagic) SvGETMAGIC(TOPs); } else *MARK = sv_mortalcopy(TOPs); @@ -2842,8 +2839,10 @@ PP(pp_aelem) else SAVEADELETE(av, elem); } - else if (PL_op->op_private & OPpDEREF) - vivify_ref(*svp, PL_op->op_private & OPpDEREF); + else if (PL_op->op_private & OPpDEREF) { + PUSHs(vivify_ref(*svp, PL_op->op_private & OPpDEREF)); + RETURN; + } } sv = (svp ? *svp : &PL_sv_undef); if (!lval && SvRMAGICAL(av) && SvGMAGICAL(sv)) /* see note in pp_helem() */ @@ -2852,7 +2851,7 @@ PP(pp_aelem) RETURN; } -void +SV* Perl_vivify_ref(pTHX_ SV *sv, U32 to_what) { PERL_ARGS_ASSERT_VIVIFY_REF; @@ -2876,6 +2875,14 @@ Perl_vivify_ref(pTHX_ SV *sv, U32 to_what) SvROK_on(sv); SvSETMAGIC(sv); } + if (SvGMAGICAL(sv)) { + /* copy the sv without magic to prevent magic from being + executed twice */ + SV* msv = sv_newmortal(); + sv_setsv_nomg(msv, sv); + return msv; + } + return sv; } PP(pp_method) |