X-Git-Url: https://perl5.git.perl.org/perl5.git/blobdiff_plain/29a56bd6e3b2d1b7d8c6ee93c429f2f0039ed155..f2b25aae946cb16fd38f3531fea3c67b6fdd4a07:/t/op/gv.t diff --git a/t/op/gv.t b/t/op/gv.t old mode 100755 new mode 100644 index 8654dc2..c1b741a --- a/t/op/gv.t +++ b/t/op/gv.t @@ -7,46 +7,72 @@ BEGIN { chdir 't' if -d 't'; @INC = '../lib'; -} + require './test.pl'; +} use warnings; -print "1..41\n"; +plan( tests => 269 ); -# type coersion on assignment +# type coercion on assignment $foo = 'foo'; $bar = *main::foo; $bar = $foo; -print ref(\$bar) eq 'SCALAR' ? "ok 1\n" : "not ok 1\n"; +is(ref(\$bar), 'SCALAR'); $foo = *main::bar; -# type coersion (not) on misc ops +# type coercion (not) on misc ops -if ($foo) { - print ref(\$foo) eq 'GLOB' ? "ok 2\n" : "not ok 2\n"; -} +ok($foo); +is(ref(\$foo), 'GLOB'); -unless ($foo =~ /abcd/) { - print ref(\$foo) eq 'GLOB' ? "ok 3\n" : "not ok 3\n"; -} +unlike ($foo, qr/abcd/); +is(ref(\$foo), 'GLOB'); -if ($foo eq '*main::bar') { - print ref(\$foo) eq 'GLOB' ? "ok 4\n" : "not ok 4\n"; +is($foo, '*main::bar'); +is(ref(\$foo), 'GLOB'); + +{ + no warnings; + ${\*$foo} = undef; + is(ref(\$foo), 'GLOB', 'no type coercion when assigning to *{} retval'); + $::{phake} = *bar; + is( + \$::{phake}, \*{"phake"}, + 'symbolic *{} returns symtab entry when FAKE' + ); + ${\*{"phake"}} = undef; + is( + ref(\$::{phake}), 'GLOB', + 'no type coercion when assigning to retval of symbolic *{}' + ); + $::{phaque} = *bar; + eval ' + is( + \$::{phaque}, \*phaque, + "compile-time *{} returns symtab entry when FAKE" + ); + ${\*phaque} = undef; + '; + is( + ref(\$::{phaque}), 'GLOB', + 'no type coercion when assigning to retval of compile-time *{}' + ); } -# type coersion on substitutions that match +# type coercion on substitutions that match $a = *main::foo; $b = $a; $a =~ s/^X//; -print ref(\$a) eq 'GLOB' ? "ok 5\n" : "not ok 5\n"; +is(ref(\$a), 'GLOB'); $a =~ s/^\*//; -print $a eq 'main::foo' ? "ok 6\n" : "not ok 6\n"; -print ref(\$b) eq 'GLOB' ? "ok 7\n" : "not ok 7\n"; +is($a, 'main::foo'); +is(ref(\$b), 'GLOB'); # typeglobs as lvalues substr($foo, 0, 1) = "XXX"; -print ref(\$foo) eq 'SCALAR' ? "ok 8\n" : "not ok 8\n"; -print $foo eq 'XXXmain::bar' ? "ok 9\n" : "not ok 9\n"; +is(ref(\$foo), 'SCALAR'); +is($foo, 'XXXmain::bar'); # returning glob values sub foo { @@ -56,13 +82,12 @@ sub foo { } ($fuu, $baa) = foo(); -if (defined $fuu) { - print ref(\$fuu) eq 'GLOB' ? "ok 10\n" : "not ok 10\n"; -} +ok(defined $fuu); +is(ref(\$fuu), 'GLOB'); -if (defined $baa) { - print ref(\$baa) eq 'GLOB' ? "ok 11\n" : "not ok 11\n"; -} + +ok(defined $baa); +is(ref(\$baa), 'GLOB'); # nested package globs # NOTE: It's probably OK if these semantics change, because the @@ -70,120 +95,1009 @@ if (defined $baa) { # (I hope.) { package Foo::Bar; no warnings 'once'; $test=1; } -print exists $Foo::{'Bar::'} ? "ok 12\n" : "not ok 12\n"; -print $Foo::{'Bar::'} eq '*Foo::Bar::' ? "ok 13\n" : "not ok 13\n"; +ok(exists $Foo::{'Bar::'}); +is($Foo::{'Bar::'}, '*Foo::Bar::'); + # test undef operator clearing out entire glob $foo = 'stuff'; @foo = qw(more stuff); %foo = qw(even more random stuff); undef *foo; -print +($foo || @foo || %foo) ? "not ok" : "ok", " 14\n"; +is ($foo, undef); +is (scalar @foo, 0); +is (scalar %foo, 0); -# test warnings from assignment of undef to glob { - my $msg; + # test warnings from assignment of undef to glob + my $msg = ''; local $SIG{__WARN__} = sub { $msg = $_[0] }; use warnings; *foo = 'bar'; - print $msg ? "not ok" : "ok", " 15\n"; + is($msg, ''); *foo = undef; - print $msg ? "ok" : "not ok", " 16\n"; + like($msg, qr/Undefined value assigned to typeglob/); + + no warnings 'once'; + # test warnings for converting globs to other forms + my $copy = *PWOMPF; + foreach ($copy, *SKREEE) { + $msg = ''; + my $victim = sprintf "%d", $_; + like($msg, qr/Argument "\*main::[A-Z]{6}" isn't numeric in sprintf/, + "Warning on conversion to IV"); + is($victim, 0); + + $msg = ''; + $victim = sprintf "%u", $_; + like($msg, qr/Argument "\*main::[A-Z]{6}" isn't numeric in sprintf/, + "Warning on conversion to UV"); + is($victim, 0); + + $msg = ''; + $victim = sprintf "%e", $_; + like($msg, qr/Argument "\*main::[A-Z]{6}" isn't numeric in sprintf/, + "Warning on conversion to NV"); + like($victim, qr/^0\.0+E\+?00/i, "Expect floating point zero"); + + $msg = ''; + $victim = sprintf "%s", $_; + is($msg, '', "No warning on stringification"); + is($victim, '' . $_); + } } +my $test = curr_test(); # test *glob{THING} syntax -$x = "ok 17\n"; -@x = ("ok 18\n"); -%x = ("ok 19" => "\n"); -sub x { "ok 20\n" } +$x = "ok $test\n"; +++$test; +@x = ("ok $test\n"); +++$test; +%x = ("ok $test" => "\n"); +++$test; +sub x { "ok $test\n" } print ${*x{SCALAR}}, @{*x{ARRAY}}, %{*x{HASH}}, &{*x{CODE}}; +# This needs to go here, after the print, as sub x will return the current +# value of test +++$test; format x = -ok 21 +XXX This text isn't used. Should it be? . -print ref *x{FORMAT} eq "FORMAT" ? "ok 21\n" : "not ok 21\n"; +curr_test($test); + +is (ref *x{FORMAT}, "FORMAT"); +is ("@{sub { *_{ARRAY} }->(1..3)}", "1 2 3", + 'returning *_{ARRAY} from sub'); *x = *STDOUT; -print *{*x{GLOB}} eq "*main::STDOUT" ? "ok 22\n" : "not ok 22\n"; -print {*x{IO}} "ok 23\n"; +is (*{*x{GLOB}}, "*main::STDOUT"); { - my $warn; - local $SIG{__WARN__} = sub { - $warn .= $_[0]; - }; - my $val = *x{FILEHANDLE}; - print {*x{IO}} ($warn =~ /is deprecated/ ? "ok 42\n" : "not ok 42\n"); - + my $test = curr_test(); + + print {*x{IO}} "ok $test\n"; + ++$test; + + my $warn; + local $SIG{__WARN__} = sub { + $warn .= $_[0]; + }; + my $val = *x{FILEHANDLE}; + print {*x{IO}} ($warn =~ /is deprecated/ + ? "ok $test\n" : "not ok $test\n"); + curr_test(++$test); } -# test if defined() doesn't create any new symbols +is *x{NAME}, 'x', '*foo{NAME}'; +is *x{PACKAGE}, 'main', '*foo{PACKAGE}'; +{ no warnings 'once'; *x = *Foo::y; } +is *x, '*Foo::y', 'glob stringifies as assignee after glob-to-glob assign'; +is *x{NAME}, 'x', 'but *foo{NAME} still returns the original name'; +is *x{PACKAGE}, 'main', 'and *foo{PACKAGE} the original package'; { - my $test = 24; + # test if defined() doesn't create any new symbols my $a = "SYM000"; - print "not " if defined *{$a}; - ++$test; print "ok $test\n"; - - print "not " if defined @{$a} or defined *{$a}; - ++$test; print "ok $test\n"; - - print "not " if defined %{$a} or defined *{$a}; - ++$test; print "ok $test\n"; + ok(!defined *{$a}); - print "not " if defined ${$a} or defined *{$a}; - ++$test; print "ok $test\n"; + ok(!defined ${$a}); + ok(!defined *{$a}); - print "not " if defined &{$a} or defined *{$a}; - ++$test; print "ok $test\n"; + ok(!defined &{$a}); + ok(!defined *{$a}); - *{$a} = sub { print "ok $test\n" }; - print "not " unless defined &{$a} and defined *{$a}; - ++$test; &{$a}; + my $state = "not"; + *{$a} = sub { $state = "ok" }; + ok(defined &{$a}); + ok(defined *{$a}); + &{$a}; + is ($state, 'ok'); } -# although it *should* if you're talking about magicals - { - my $test = 30; + # although it *should* if you're talking about magicals my $a = "]"; - print "not " unless defined ${$a}; - ++$test; print "ok $test\n"; - print "not " unless defined *{$a}; - ++$test; print "ok $test\n"; + ok(defined *{$a}); + ok(defined ${$a}); $a = "1"; "o" =~ /(o)/; - print "not " unless ${$a}; - ++$test; print "ok $test\n"; - print "not " unless defined *{$a}; - ++$test; print "ok $test\n"; + ok(${$a}); + ok(defined *{$a}); $a = "2"; - print "not " if ${$a}; - ++$test; print "ok $test\n"; - print "not " unless defined *{$a}; - ++$test; print "ok $test\n"; + ok(!${$a}); + ok(defined *{$a}); $a = "1x"; - print "not " if defined ${$a}; - ++$test; print "ok $test\n"; - print "not " if defined *{$a}; - ++$test; print "ok $test\n"; + ok(!defined ${$a}); + ok(!defined *{$a}); $a = "11"; "o" =~ /(((((((((((o)))))))))))/; - print "not " unless ${$a}; - ++$test; print "ok $test\n"; - print "not " unless defined *{$a}; - ++$test; print "ok $test\n"; + ok(${$a}); + ok(defined *{$a}); } +# [ID 20010526.001] localized glob loses value when assigned to + +$j=1; %j=(a=>1); @j=(1); local *j=*j; *j = sub{}; -# does pp_readline() handle glob-ness correctly? +is($j, 1); +is($j{a}, 1); +is($j[0], 1); { + # does pp_readline() handle glob-ness correctly? my $g = *foo; $g = ; - print $g; + is ($g, "Perl\n"); +} + +{ + my $w = ''; + local $SIG{__WARN__} = sub { $w = $_[0] }; + sub abc1 (); + local *abc1 = sub { }; + is ($w, ''); + sub abc2 (); + local *abc2; + *abc2 = sub { }; + is ($w, ''); + sub abc3 (); + *abc3 = sub { }; + like ($w, qr/Prototype mismatch/); +} + +{ + # [17375] rcatline to formerly-defined undef was broken. Fixed in + # do_readline by checking SvOK. AMS, 20020918 + my $x = "not "; + $x = undef; + $x .= ; + is ($x, "Rules\n"); +} + +{ + # test the assignment of a GLOB to an LVALUE + my $e = ''; + local $SIG{__DIE__} = sub { $e = $_[0] }; + my %v; + sub f { $_[0] = 0; $_[0] = "a"; $_[0] = *DATA } + f($v{v}); + is ($v{v}, '*main::DATA'); + is (ref\$v{v}, 'GLOB', 'lvalue assignment preserves globs'); + my $x = readline $v{v}; + is ($x, "perl\n"); + is ($e, '', '__DIE__ handler never called'); +} + +{ + my $e = ''; + # GLOB assignment to tied element + local $SIG{__DIE__} = sub { $e = $_[0] }; + sub T::TIEARRAY { bless [] => "T" } + sub T::STORE { $_[0]->[ $_[1] ] = $_[2] } + sub T::FETCH { $_[0]->[ $_[1] ] } + sub T::FETCHSIZE { @{$_[0]} } + tie my @ary => "T"; + $ary[0] = *DATA; + is ($ary[0], '*main::DATA'); + is ( + ref\tied(@ary)->[0], 'GLOB', + 'tied elem assignment preserves globs' + ); + is ($e, '', '__DIE__ handler not called'); + my $x = readline $ary[0]; + is($x, "rocks\n"); + is ($e, '', '__DIE__ handler never called'); +} + +{ + # Need some sort of die or warn to get the global destruction text if the + # bug is still present + my $output = runperl(prog => <<'EOPROG'); +package M; +$| = 1; +sub DESTROY {eval {die qq{Farewell $_[0]}}; print $@} +package main; + +bless \$A::B, q{M}; +*A:: = \*B::; +EOPROG + like($output, qr/^Farewell M=SCALAR/, "DESTROY was called"); + unlike($output, qr/global destruction/, + "unreferenced symbol tables should be cleaned up immediately"); +} + +# Possibly not the correct test file for these tests. +# There are certain space optimisations implemented via promotion rules to +# GVs + +foreach (qw (oonk ga_shloip)) { + ok(!exists $::{$_}, "no symbols of any sort to start with for $_"); +} + +# A string in place of the typeglob is promoted to the function prototype +$::{oonk} = "pie"; +my $proto = eval 'prototype \&oonk'; +die if $@; +is ($proto, "pie", "String is promoted to prototype"); + + +# A reference to a value is used to generate a constant subroutine +foreach my $value (3, "Perl rules", \42, qr/whatever/, [1,2,3], {1=>2}, + \*STDIN, \&ok, \undef, *STDOUT) { + delete $::{oonk}; + $::{oonk} = \$value; + $proto = eval 'prototype \&oonk'; + die if $@; + is ($proto, '', "Prototype for a constant subroutine is empty"); + + my $got = eval 'oonk'; + die if $@; + is (ref $got, ref $value, "Correct type of value (" . ref($value) . ")"); + is ($got, $value, "Value is correctly set"); +} + +delete $::{oonk}; +$::{oonk} = \"Value"; + +*{"ga_shloip"} = \&{"oonk"}; + +is (ref $::{ga_shloip}, 'SCALAR', "Export of proxy constant as is"); +is (ref $::{oonk}, 'SCALAR', "Export doesn't affect original"); +is (eval 'ga_shloip', "Value", "Constant has correct value"); +is (ref $::{ga_shloip}, 'SCALAR', + "Inlining of constant doesn't change representation"); + +delete $::{ga_shloip}; + +eval 'sub ga_shloip (); 1' or die $@; +is ($::{ga_shloip}, '', "Prototype is stored as an empty string"); + +# Check that a prototype expands. +*{"ga_shloip"} = \&{"oonk"}; + +is (ref $::{oonk}, 'SCALAR', "Export doesn't affect original"); +is (eval 'ga_shloip', "Value", "Constant has correct value"); +is (ref \$::{ga_shloip}, 'GLOB', "Symbol table has full typeglob"); + + +@::zwot = ('Zwot!'); + +# Check that assignment to an existing typeglob works +{ + my $w = ''; + local $SIG{__WARN__} = sub { $w = $_[0] }; + *{"zwot"} = \&{"oonk"}; + is($w, '', "Should be no warning"); +} + +is (ref $::{oonk}, 'SCALAR', "Export doesn't affect original"); +is (eval 'zwot', "Value", "Constant has correct value"); +is (ref \$::{zwot}, 'GLOB', "Symbol table has full typeglob"); +is (join ('!', @::zwot), 'Zwot!', "Existing array still in typeglob"); + +sub spritsits () { + "Traditional"; +} + +# Check that assignment to an existing subroutine works +{ + my $w = ''; + local $SIG{__WARN__} = sub { $w = $_[0] }; + *{"spritsits"} = \&{"oonk"}; + like($w, qr/^Constant subroutine main::spritsits redefined/, + "Redefining a constant sub should warn"); +} + +is (ref $::{oonk}, 'SCALAR', "Export doesn't affect original"); +is (eval 'spritsits', "Value", "Constant has correct value"); +is (ref \$::{spritsits}, 'GLOB', "Symbol table has full typeglob"); + +# Check that assignment to an existing typeglob works +{ + my $w = ''; + local $SIG{__WARN__} = sub { $w = $_[0] }; + *{"plunk"} = []; + *{"plunk"} = \&{"oonk"}; + is($w, '', "Should be no warning"); +} + +is (ref $::{oonk}, 'SCALAR', "Export doesn't affect original"); +is (eval 'plunk', "Value", "Constant has correct value"); +is (ref \$::{plunk}, 'GLOB', "Symbol table has full typeglob"); + +my $gr = eval '\*plunk' or die; + +{ + my $w = ''; + local $SIG{__WARN__} = sub { $w = $_[0] }; + *{$gr} = \&{"oonk"}; + is($w, '', "Redefining a constant sub to another constant sub with the same underlying value should not warn (It's just re-exporting, and that was always legal)"); +} + +is (ref $::{oonk}, 'SCALAR', "Export doesn't affect original"); +is (eval 'plunk', "Value", "Constant has correct value"); +is (ref \$::{plunk}, 'GLOB', "Symbol table has full typeglob"); + +# Non-void context should defeat the optimisation, and will cause the original +# to be promoted (what change 26482 intended) +my $result; +{ + my $w = ''; + local $SIG{__WARN__} = sub { $w = $_[0] }; + $result = *{"awkkkkkk"} = \&{"oonk"}; + is($w, '', "Should be no warning"); +} + +is (ref \$result, 'GLOB', + "Non void assignment should still return a typeglob"); + +is (ref \$::{oonk}, 'GLOB', "This export does affect original"); +is (eval 'plunk', "Value", "Constant has correct value"); +is (ref \$::{plunk}, 'GLOB', "Symbol table has full typeglob"); + +delete $::{oonk}; +$::{oonk} = \"Value"; + +sub non_dangling { + my $w = ''; + local $SIG{__WARN__} = sub { $w = $_[0] }; + *{"zap"} = \&{"oonk"}; + is($w, '', "Should be no warning"); +} + +non_dangling(); +is (ref $::{oonk}, 'SCALAR', "Export doesn't affect original"); +is (eval 'zap', "Value", "Constant has correct value"); +is (ref $::{zap}, 'SCALAR', "Exported target is also a PCS"); + +sub dangling { + local $SIG{__WARN__} = sub { die $_[0] }; + *{"biff"} = \&{"oonk"}; +} + +dangling(); +is (ref \$::{oonk}, 'GLOB', "This export does affect original"); +is (eval 'biff', "Value", "Constant has correct value"); +is (ref \$::{biff}, 'GLOB', "Symbol table has full typeglob"); + +$::{yarrow} = [4,5,6]; +is join("-", eval "yarrow()"), '4-5-6', 'array ref as stash elem'; +is ref $::{yarrow}, "ARRAY", 'stash elem is still array ref after use'; +is join("-", eval "&yarrow"), '4-5-6', 'calling const list with &'; +is join("-", eval "&yarrow(1..10)"), '4-5-6', 'const list ignores & args'; +is prototype "yarrow", "", 'const list has "" prototype'; +is eval "yarrow", 3, 'const list in scalar cx returns length'; + +{ + use vars qw($glook $smek $foof); + # Check reference assignment isn't affected by the SV type (bug #38439) + $glook = 3; + $smek = 4; + $foof = "halt and cool down"; + + my $rv = \*smek; + is($glook, 3); + *glook = $rv; + is($glook, 4); + + my $pv = ""; + $pv = \*smek; + is($foof, "halt and cool down"); + *foof = $pv; + is($foof, 4); } +format = +. + +foreach my $value ({1=>2}, *STDOUT{IO}, \&ok, *STDOUT{FORMAT}) { + # *STDOUT{IO} returns a reference to a PVIO. As it's blessed, ref returns + # IO::Handle, which isn't what we want. + my $type = $value; + $type =~ s/.*=//; + $type =~ s/\(.*//; + delete $::{oonk}; + $::{oonk} = $value; + $proto = eval 'prototype \&oonk'; + like ($@, qr/^Cannot convert a reference to $type to typeglob/, + "Cannot upgrade ref-to-$type to typeglob"); +} + +{ + no warnings qw(once uninitialized); + my $g = \*clatter; + my $r = eval {no strict; ${*{$g}{SCALAR}}}; + is ($@, '', "PERL_DONT_CREATE_GVSV shouldn't affect thingy syntax"); + + $g = \*vowm; + $r = eval {use strict; ${*{$g}{SCALAR}}}; + is ($@, '', + "PERL_DONT_CREATE_GVSV shouldn't affect thingy syntax under strict"); +} + +{ + # Bug reported by broquaint on IRC + *slosh::{HASH}->{ISA}=[]; + slosh->import; + pass("gv_fetchmeth coped with the unexpected"); + + # An audit found these: + { + package slosh; + sub rip { + my $s = shift; + $s->SUPER::rip; + } + } + eval {slosh->rip;}; + like ($@, qr/^Can't locate object method "rip"/, "Even with SUPER"); + + is(slosh->isa('swoosh'), ''); + + $CORE::GLOBAL::{"lock"}=[]; + eval "no warnings; lock"; + like($@, qr/^Not enough arguments for lock/, + "Can't trip up general keyword overloading"); + + $CORE::GLOBAL::{"readline"}=[]; + eval " if 0"; + is($@, '', "Can't trip up readline overloading"); + + $CORE::GLOBAL::{"readpipe"}=[]; + eval "`` if 0"; + is($@, '', "Can't trip up readpipe overloading"); +} + +{ + die if exists $::{BONK}; + $::{BONK} = \"powie"; + *{"BONK"} = \&{"BONK"}; + eval 'is(BONK(), "powie", + "Assignment works when glob created midway (bug 45607)"); 1' + or die $@; +} + +# For now these tests are here, but they would probably be better in a file for +# tests for croaks. (And in turn, that probably deserves to be in a different +# directory. Gerard Goossen has a point about the layout being unclear + +sub coerce_integer { + no warnings 'numeric'; + $_[0] |= 0; +} +sub coerce_number { + no warnings 'numeric'; + $_[0] += 0; +} +sub coerce_string { + $_[0] .= ''; +} + +foreach my $type (qw(integer number string)) { + my $prog = "coerce_$type(*STDERR)"; + is (scalar eval "$prog; 1", undef, "$prog failed..."); + like ($@, qr/Can't coerce GLOB to $type in/, + "with the correct error message"); +} + +# RT #65582 anonymous glob should be defined, and not coredump when +# stringified. The behaviours are: +# +# defined($glob) "$glob" $glob .= ... +# 5.8.8 false "" with uninit warning "" with uninit warning +# 5.10.0 true (coredump) (coredump) +# 5.1[24] true "" "" with uninit warning +# 5.16 true "*__ANON__::..." "*__ANON__::..." + +{ + my $io_ref = *STDOUT{IO}; + my $glob = *$io_ref; + ok(defined $glob, "RT #65582 anon glob should be defined"); + + my $warn = ''; + local $SIG{__WARN__} = sub { $warn = $_[0] }; + use warnings; + my $str = "$glob"; + is($warn, '', "RT #65582 anon glob stringification shouldn't warn"); + is($str, '*__ANON__::__ANONIO__', + "RT #65582/#96326 anon glob stringification"); +} + +# Another stringification bug: Test that recursion does not cause lexical +# handles to lose their names. +sub r { + my @output; + @output = r($_[0]-1) if $_[0]; + open my $fh, "TEST"; + push @output, $$fh; + close $fh; + @output; +} +is join(' ', r(4)), + '*main::$fh *main::$fh *main::$fh *main::$fh *main::$fh', + 'recursion does not cause lex handles to lose their names'; + +# And sub cloning, too; not just recursion +my $close_over_me; +is join(' ', sub { + () = $close_over_me; + my @output; + @output = CORE::__SUB__->($_[0]-1) if $_[0]; + open my $fh, "TEST"; + push @output, $$fh; + close $fh; + @output; + }->(4)), + '*main::$fh *main::$fh *main::$fh *main::$fh *main::$fh', + 'sub cloning does not cause lex handles to lose their names'; + +# [perl #71254] - Assigning a glob to a variable that has a current +# match position. (We are testing that Perl_magic_setmglob respects globs' +# special used of SvSCREAM.) +{ + $m = 2; $m=~s/./0/gems; $m= *STDERR; + is( + "$m", "*main::STDERR", + '[perl #71254] assignment of globs to vars with pos' + ); +} + +# [perl #72740] - indirect object syntax, heuristically imputed due to +# the non-existence of a function, should not cause a stash entry to be +# created for the non-existent function. +{ + package RT72740a; + my $f = bless({}, RT72740b); + sub s1 { s2 $f; } + our $s4; + sub s3 { s4 $f; } +} +{ + package RT72740b; + sub s2 { "RT72740b::s2" } + sub s4 { "RT72740b::s4" } +} +ok(exists($RT72740a::{s1}), "RT72740a::s1 exists"); +ok(!exists($RT72740a::{s2}), "RT72740a::s2 does not exist"); +ok(exists($RT72740a::{s3}), "RT72740a::s3 exists"); +ok(exists($RT72740a::{s4}), "RT72740a::s4 exists"); +is(RT72740a::s1(), "RT72740b::s2", "RT72740::s1 parsed correctly"); +is(RT72740a::s3(), "RT72740b::s4", "RT72740::s3 parsed correctly"); + +# [perl #71686] Globs that are in symbol table can be un-globbed +$sym = undef; +$::{fake} = *sym; +is (eval 'local *::fake = \"chuck"; $fake', 'chuck', + "Localized glob didn't coerce into a RV"); +is ($@, '', "Can localize FAKE glob that's present in stash"); +is (scalar $::{fake}, "*main::sym", + "Localized FAKE glob's value was correctly restored"); + +# [perl #1804] *$x assignment when $x is a copy of another glob +# And [perl #77508] (same thing with list assignment) +{ + no warnings 'once'; + my $x = *_random::glob_that_is_not_used_elsewhere; + *$x = sub{}; + is( + "$x", '*_random::glob_that_is_not_used_elsewhere', + '[perl #1804] *$x assignment when $x is FAKE', + ); + $x = *_random::glob_that_is_not_used_elsewhere; + (my $dummy, *$x) = (undef,[]); + is( + "$x", '*_random::glob_that_is_not_used_elsewhere', + '[perl #77508] *$x list assignment when $x is FAKE', + ) or require Devel::Peek, Devel::Peek::Dump($x); +} + +# [perl #76540] +# this caused panics or 'Attempt to free unreferenced scalar' +# (its a compile-time issue, so the die lets us skip the prints) +{ + my @warnings; + local $SIG{__WARN__} = sub { push @warnings, @_ }; + + eval <<'EOF'; +BEGIN { $::{FOO} = \'bar' } +die "made it"; +print FOO, "\n"; +print FOO, "\n"; +EOF + + like($@, qr/made it/, "#76540 - no panic"); + ok(!@warnings, "#76540 - no 'Attempt to free unreferenced scalar'"); +} + +# [perl #77362] various bugs related to globs as PVLVs +{ + no warnings qw 'once void'; + my %h; # We pass a key of this hash to the subroutine to get a PVLV. + sub { for(shift) { + # Set up our glob-as-PVLV + $_ = *hon; + + # Bad symbol for array + ok eval{ @$_; 1 }, 'PVLV glob slots can be autovivified' or diag $@; + + # This should call TIEHANDLE, not TIESCALAR + *thext::TIEHANDLE = sub{}; + ok eval{ tie *$_, 'thext'; 1 }, 'PVLV globs can be tied as handles' + or diag $@; + + # Assigning undef to the glob should not overwrite it... + { + my $w; + local $SIG{__WARN__} = sub { $w = shift }; + *$_ = undef; + is $_, "*main::hon", 'PVLV: assigning undef to the glob does nothing'; + like $w, qr\Undefined value assigned to typeglob\, + 'PVLV: assigning undef to the glob warns'; + } + + # Neither should reference assignment. + *$_ = []; + is $_, "*main::hon", "PVLV: arrayref assignment assigns to the AV slot"; + + # Concatenation should still work. + ok eval { $_ .= 'thlew' }, 'PVLV concatenation does not die' or diag $@; + is $_, '*main::honthlew', 'PVLV concatenation works'; + + # And we should be able to overwrite it with a string, number, or refer- + # ence, too, if we omit the *. + $_ = *hon; $_ = 'tzor'; + is $_, 'tzor', 'PVLV: assigning a string over a glob'; + $_ = *hon; $_ = 23; + is $_, 23, 'PVLV: assigning an integer over a glob'; + $_ = *hon; $_ = 23.23; + is $_, 23.23, 'PVLV: assigning a float over a glob'; + $_ = *hon; $_ = \my $sthat; + is $_, \$sthat, 'PVLV: assigning a reference over a glob'; + + # This bug was found by code inspection. Could this ever happen in + # real life? :-) + # This duplicates a file handle, accessing it through a PVLV glob, the + # glob having been removed from the symbol table, so a stringified form + # of it does not work. This checks that sv_2io does not stringify a PVLV. + $_ = *quin; + open *quin, "test.pl"; # test.pl is as good a file as any + delete $::{quin}; + ok eval { open my $zow, "<&", $_ }, 'PVLV: sv_2io stringifieth not' + or diag $@; + + # Similar tests to make sure sv_2cv etc. do not stringify. + *$_ = sub { 1 }; + ok eval { &$_ }, "PVLV glob can be called as a sub" or diag $@; + *flelp = sub { 2 }; + $_ = 'flelp'; + is eval { &$_ }, 2, 'PVLV holding a string can be called as a sub' + or diag $@; + + # Coderef-to-glob assignment when the glob is no longer accessible + # under its name: These tests are to make sure the OPpASSIGN_CV_TO_GV + # optimisation takes PVLVs into account, which is why the RHSs have to be + # named subs. + use constant gheen => 'quare'; + $_ = *ming; + delete $::{ming}; + *$_ = \&gheen; + is eval { &$_ }, 'quare', + 'PVLV: constant assignment when the glob is detached from the symtab' + or diag $@; + $_ = *bength; + delete $::{bength}; + *gheck = sub { 'lon' }; + *$_ = \&gheck; + is eval { &$_ }, 'lon', + 'PVLV: coderef assignment when the glob is detached from the symtab' + or diag $@; + +SKIP: { + skip_if_miniperl("no dynamic loading on miniperl, so can't load PerlIO::scalar", 1); + # open should accept a PVLV as its first argument + $_ = *hon; + ok eval { open $_,'<', \my $thlext }, 'PVLV can be the first arg to open' + or diag $@; + } + + # -t should not stringify + $_ = *thlit; delete $::{thlit}; + *$_ = *STDOUT{IO}; + ok defined -t $_, 'PVLV: -t does not stringify'; + + # neither should -T + # but some systems don’t support this on file handles + my $pass; + ok + eval { + open my $quile, "<", 'test.pl'; + $_ = *$quile; + $pass = -T $_; + 1 + } ? $pass : $@ =~ /not implemented on filehandles/, + "PVLV: -T does not stringify"; + + # Unopened file handle + { + my $w; + local $SIG{__WARN__} = sub { $w .= shift }; + $_ = *vor; + close $_; + like $w, qr\unopened filehandle vor\, + 'PVLV globs get their names reported in unopened error messages'; + } + + }}->($h{k}); +} + +*aieee = 4; +pass('Can assign integers to typeglobs'); +*aieee = 3.14; +pass('Can assign floats to typeglobs'); +*aieee = 'pi'; +pass('Can assign strings to typeglobs'); + +{ + package thrext; + sub TIESCALAR{bless[]} + sub STORE{ die "No!"} + sub FETCH{ no warnings 'once'; *thrit } + tie my $a, "thrext"; + () = "$a"; # do a fetch; now $a holds a glob + eval { *$a = sub{} }; + untie $a; + eval { $a = "bar" }; + ::is $a, "bar", + "[perl #77812] Globs in tied scalars can be reified if STORE dies" +} + +# These two crashed prior to 5.13.6. In 5.13.6 they were fatal errors. They +# were fixed in 5.13.7. +ok eval { + my $glob = \*heen::ISA; + delete $::{"heen::"}; + *$glob = *bar; +}, "glob-to-*ISA assignment works when *ISA has lost its stash"; +ok eval { + my $glob = \*slare::ISA; + delete $::{"slare::"}; + *$glob = []; +}, "array-to-*ISA assignment works when *ISA has lost its stash"; +# These two crashed in 5.13.6. They were likewise fixed in 5.13.7. +ok eval { + sub greck; + my $glob = do { no warnings "once"; \*phing::foo}; + delete $::{"phing::"}; + *$glob = *greck; +}, "Assigning a glob-with-sub to a glob that has lost its stash works"; +ok eval { + sub pon::foo; + my $glob = \*pon::foo; + delete $::{"pon::"}; + *$glob = *foo; +}, "Assigning a glob to a glob-with-sub that has lost its stash works"; + +{ + package Tie::Alias; + sub TIESCALAR{ bless \\pop } + sub FETCH { $${$_[0]} } + sub STORE { $${$_[0]} = $_[1] } + package main; + tie my $alias, 'Tie::Alias', my $var; + no warnings 'once'; + $var = *galobbe; + { + local *$alias = []; + $var = 3; + is $alias, 3, "[perl #77926] Glob reification during localisation"; + } +} + +# This code causes gp_free to call a destructor when a glob is being +# restored on scope exit. The destructor used to see SVs with a refcount of +# zero inside the glob, which could result in crashes (though not in this +# test case, which just panics). +{ + no warnings 'once'; + my $survived; + *Trit::DESTROY = sub { + $thwext = 42; # panic + $survived = 1; + }; + { + local *thwext; + $thwext = bless[],'Trit'; + (); + } + ok $survived, + 'no error when gp_free calls a destructor that assigns to the gv'; +} + +# This is a similar test, for destructors seeing a GV without a reference +# count on its gp. +sub undefine_me_if_you_dare {} +bless \&undefine_me_if_you_dare, "Undefiner"; +sub Undefiner::DESTROY { + undef *undefine_me_if_you_dare; +} +{ + my $w; + local $SIG{__WARN__} = sub { $w .= shift }; + undef *undefine_me_if_you_dare; + is $w, undef, + 'undeffing a gv in DESTROY triggered by undeffing the same gv' +} + +# [perl #121242] +# More gp_free madness. gp_free could call a destructor that frees the gv +# whose gp is being freed. +sub Fred::AUTOLOAD { $Fred::AUTOLOAD } +undef *{"Fred::AUTOLOAD"}; +pass 'no crash from gp_free triggering gv_try_downgrade'; +sub _121242::DESTROY { delete $_121242::{$_[0][0]} }; +${"_121242::foo"} = bless ["foo"], _121242::; +undef *{"_121242::foo"}; +pass 'no crash from pp_undef/gp_free freeing the gv'; +${"_121242::bar"} = bless ["bar"], _121242::; +*{"_121242::bar"} = "bar"; +pass 'no crash from sv_setsv/gp_free freeing the gv'; +${"_121242::baz"} = bless ["baz"], _121242::; +*{"_121242::baz"} = *foo; +pass 'no crash from glob_assign_glob/gp_free freeing the gv'; +{ + my $foo; + undef *_121242::DESTROY; + *_121242::DESTROY = sub { undef $foo }; + my $set_up_foo = sub { + # Make $$foo into a fake glob whose array slot holds a blessed + # array that undefines $foo, freeing the fake glob. + $foo = undef; + $$foo = do {local *bar}; + *$$foo = bless [], _121242::; + }; + &$set_up_foo; + $$foo = 3; + pass 'no crash from sv_setsv/sv_unglob/gp_free freeing the gv'; + &$set_up_foo; + utf8::encode $$foo; + pass 'no crash from sv_utf8_encode/sv_unglob/gp_free freeing the gv'; + &$set_up_foo; + open BAR, "TEST"; + $$foo .= ; + pass 'no crash from do_readline/sv_unglob/gp_free freeing the gv'; + close BAR; + &$set_up_foo; + $$foo .= 3; + pass 'no crash from pp_concat/sv_unglob/gp_free freeing the gv'; + &$set_up_foo; + no warnings; + $$foo++; + pass 'no crash from sv_inc/sv_unglob/gp_free freeing the gv'; + &$set_up_foo; + $$foo--; + pass 'no crash from sv_dec/sv_unglob/gp_free freeing the gv'; + &$set_up_foo; + undef $$foo; + pass 'no crash from pp_undef/sv_unglob/gp_free freeing the gv'; + $foo = undef; + $$foo = 3; + $$foo =~ s/3/$$foo = do {local *bar}; *$$foo = bless [],_121242::; 4/e; + pass 'no crash from pp_substcont/sv_unglob/gp_free freeing the gv'; +} + +# *{undef} +eval { *{my $undef} = 3 }; +like $@, qr/^Can't use an undefined value as a symbol reference at /, + '*{ $undef } assignment'; +eval { *{;undef} = 3 }; +like $@, qr/^Can't use an undefined value as a symbol reference at /, + '*{ ;undef } assignment'; + +# [perl #99142] defined &{"foo"} when there is a constant stub +# If I break your module, you get to have it mentioned in Perl's tests. :-) +package HTTP::MobileAttribute::Plugin::Locator { + use constant LOCATOR_GPS => 1; + ::ok defined &{__PACKAGE__."::LOCATOR_GPS"}, + 'defined &{"name of constant"}'; + ::ok Internals::SvREFCNT(${__PACKAGE__."::"}{LOCATOR_GPS}), + "stash elem for slot is not freed prematurely"; +} + +# Check that constants promoted to CVs point to the right GVs when the name +# contains a null. +package lrcg { + use constant x => 3; + # These two lines abuse the optimisation that copies the scalar ref from + # one stash element to another, to get a constant with a null in its name + *{"yz\0a"} = \&{"x"}; + my $ref = \&{"yz\0a"}; + ::ok !exists $lrcg::{yz}, + 'constants w/nulls in their names point 2 the right GVs when promoted'; +} + +{ + no warnings 'io'; + stat *{"try_downgrade"}; + -T _; + $bang = $!; + eval "*try_downgrade if 0"; + -T _; + is "$!",$bang, + 'try_downgrade does not touch PL_statgv (last stat handle)'; + readline *{"try_downgrade2"}; + my $lastfh = "${^LAST_FH}"; + eval "*try_downgrade2 if 0"; + is ${^LAST_FH}, $lastfh, 'try_downgrade does not touch PL_last_in_gv'; +} + +is runperl(prog => '$s = STDERR; close $s; undef *$s;' + .'eval q-*STDERR if 0-; *$s = *STDOUT{IO}; warn'), + "Warning: something's wrong at -e line 1.\n", + "try_downgrade does not touch PL_stderrgv"; + +is runperl(prog => + 'use constant foo=>1; BEGIN { $x = \&foo } undef &$x; $x->()', + stderr=>1), + "Undefined subroutine &main::foo called at -e line 1.\n", + "gv_try_downgrade does not anonymise CVs referenced elsewhere"; + +package glob_constant_test { + sub foo { 42 } + use constant bar => *foo; + BEGIN { undef *foo } + ::is eval { bar->() }, eval { &{+bar} }, + 'glob_constant->() is not mangled at compile time'; + ::is "$@", "", 'no error from eval { &{+glob_constant} }'; +} + +# Look away, please. +# This violates perl's internal structures by fiddling with stashes in a +# way that should never happen, but perl should not start trying to free +# unallocated memory as a result. There is no ok() or is() because the +# panic that used to occur only occurred during global destruction, and +# only with PERL_DESTRUCT_LEVEL=2. (The panic itself was sufficient for +# the harness to consider this test script to have failed.) +$::{aoeuaoeuaoeaoeu} = __PACKAGE__; # cow +() = *{"aoeuaoeuaoeaoeu"}; + +$x = *_119051; +$y = \&$x; +undef $x; +eval { &$y }; +pass "No crash due to CvGV(vivified stub) pointing to flattened glob copy"; +# Not really supported, but this should not crash either: +$x = *_119051again; +delete $::{_119051again}; +$::{_119051again} = $x; # now we have a fake glob under the right name +$y = \&$x; # so when this tries to look up the right GV for +undef $::{_119051again}; # CvGV, it still gets a fake one +eval { $y->() }; +pass "No crash due to CvGV pointing to glob copy in the stash"; + __END__ -ok 41 +Perl +Rules +perl +rocks