Make lvalue subs copy returned PADTMPs in rvalue cx
authorFather Chrysostomos <sprout@cpan.org>
Thu, 26 Apr 2012 01:29:12 +0000 (18:29 -0700)
committerFather Chrysostomos <sprout@cpan.org>
Sat, 23 Jun 2012 05:35:55 +0000 (22:35 -0700)
commitab2dde4dec2fdb7a4916f146412cf3b2d173df5a
tree789e2e3fb3945411ce356dd244d6455cf6d7a46a
parentd828bad9a3194890e274f06525bf053614b4831b
Make lvalue subs copy returned PADTMPs in rvalue cx

I was trying to write a JAPH, but did not get what I expected:

$ ./perl -Ilib -e '@UNIVERSAL::ISA = CORE; print "just another "->ucfirst, "perl hacker,\n"->ucfirst'
Perl hacker,
Perl hacker,

This happened because coresubs use leavesublv, to avoid copying the
return value wastefully.

But since this is exactly the same ucfirst op being called each time
(the one in &CORE::ucfirst’s op tree), and since ucfirst uses TARG, we
end up with the same scalar.

We have the same problem with lvalue subs:

$ ./perl -Ilib -e 'sub UNIVERSAL::ucfirst :lvalue { ucfirst $_[0] } print "just another "->ucfirst, "perl hacker,\n"->ucfirst'
Perl hacker,
Perl hacker,

(This is not a regression, as 5.14 gave ‘Can't modify ucfirst in
lvalue subroutine return’.)

So ‘fixing’ coresubs would not be a solution, but a workaround.

The solution therefore is for leavesublv to copy PADTMPs in
rvalue context.

Commit 80422e24c fixed this for potential lvalue list context (i.e.,
for(lvsub()) {...}), but it wasn’t sufficient.
pp_ctl.c
t/op/coresubs.t
t/op/sub_lval.t