4 # various typeglob tests
17 # type coercion on assignment
21 is(ref(\$bar), 'SCALAR');
24 # type coercion (not) on misc ops
27 is(ref(\$foo), 'GLOB');
29 unlike ($foo, qr/abcd/);
30 is(ref(\$foo), 'GLOB');
32 is($foo, '*main::bar');
33 is(ref(\$foo), 'GLOB');
38 is(ref(\$foo), 'GLOB', 'no type coercion when assigning to *{} retval');
41 \$::{phake}, \*{"phake"},
42 'symbolic *{} returns symtab entry when FAKE'
44 ${\*{"phake"}} = undef;
46 ref(\$::{phake}), 'GLOB',
47 'no type coercion when assigning to retval of symbolic *{}'
52 \$::{phaque}, \*phaque,
53 "compile-time *{} returns symtab entry when FAKE"
58 ref(\$::{phaque}), 'GLOB',
59 'no type coercion when assigning to retval of compile-time *{}'
63 # type coercion on substitutions that match
72 # typeglobs as lvalues
73 substr($foo, 0, 1) = "XXX";
74 is(ref(\$foo), 'SCALAR');
75 is($foo, 'XXXmain::bar');
77 # returning glob values
79 local($bar) = *main::foo;
86 is(ref(\$fuu), 'GLOB');
90 is(ref(\$baa), 'GLOB');
92 # nested package globs
93 # NOTE: It's probably OK if these semantics change, because the
94 # fact that %X::Y:: is stored in %X:: isn't documented.
97 { package Foo::Bar; no warnings 'once'; $test=1; }
98 ok(exists $Foo::{'Bar::'});
99 is($Foo::{'Bar::'}, '*Foo::Bar::');
102 # test undef operator clearing out entire glob
104 @foo = qw(more stuff);
105 %foo = qw(even more random stuff);
112 # test warnings from assignment of undef to glob
114 local $SIG{__WARN__} = sub { $msg = $_[0] };
119 like($msg, qr/Undefined value assigned to typeglob/);
122 # test warnings for converting globs to other forms
124 foreach ($copy, *SKREEE) {
126 my $victim = sprintf "%d", $_;
127 like($msg, qr/Argument "\*main::[A-Z]{6}" isn't numeric in sprintf/,
128 "Warning on conversion to IV");
132 $victim = sprintf "%u", $_;
133 like($msg, qr/Argument "\*main::[A-Z]{6}" isn't numeric in sprintf/,
134 "Warning on conversion to UV");
138 $victim = sprintf "%e", $_;
139 like($msg, qr/Argument "\*main::[A-Z]{6}" isn't numeric in sprintf/,
140 "Warning on conversion to NV");
141 like($victim, qr/^0\.0+E\+?00/i, "Expect floating point zero");
144 $victim = sprintf "%s", $_;
145 is($msg, '', "No warning on stringification");
146 is($victim, '' . $_);
150 my $test = curr_test();
151 # test *glob{THING} syntax
156 %x = ("ok $test" => "\n");
158 sub x { "ok $test\n" }
159 print ${*x{SCALAR}}, @{*x{ARRAY}}, %{*x{HASH}}, &{*x{CODE}};
160 # This needs to go here, after the print, as sub x will return the current
164 XXX This text isn't used. Should it be?
168 is (ref *x{FORMAT}, "FORMAT");
170 is (*{*x{GLOB}}, "*main::STDOUT");
173 my $test = curr_test();
175 print {*x{IO}} "ok $test\n";
179 local $SIG{__WARN__} = sub {
182 my $val = *x{FILEHANDLE};
183 print {*x{IO}} ($warn =~ /is deprecated/
184 ? "ok $test\n" : "not ok $test\n");
190 # test if defined() doesn't create any new symbols
196 no warnings 'deprecated';
202 no warnings 'deprecated';
214 *{$a} = sub { $state = "ok" };
222 # although it *should* if you're talking about magicals
239 "o" =~ /(((((((((((o)))))))))))/;
244 # [ID 20010526.001] localized glob loses value when assigned to
246 $j=1; %j=(a=>1); @j=(1); local *j=*j; *j = sub{};
253 # does pp_readline() handle glob-ness correctly?
261 local $SIG{__WARN__} = sub { $w = $_[0] };
263 local *abc1 = sub { };
271 like ($w, qr/Prototype mismatch/);
275 # [17375] rcatline to formerly-defined undef was broken. Fixed in
276 # do_readline by checking SvOK. AMS, 20020918
284 # test the assignment of a GLOB to an LVALUE
286 local $SIG{__DIE__} = sub { $e = $_[0] };
288 sub f { $_[0] = 0; $_[0] = "a"; $_[0] = *DATA }
290 is ($v{v}, '*main::DATA');
291 is (ref\$v{v}, 'GLOB', 'lvalue assignment preserves globs');
292 my $x = readline $v{v};
294 is ($e, '', '__DIE__ handler never called');
299 # GLOB assignment to tied element
300 local $SIG{__DIE__} = sub { $e = $_[0] };
301 sub T::TIEARRAY { bless [] => "T" }
302 sub T::STORE { $_[0]->[ $_[1] ] = $_[2] }
303 sub T::FETCH { $_[0]->[ $_[1] ] }
304 sub T::FETCHSIZE { @{$_[0]} }
307 is ($ary[0], '*main::DATA');
309 ref\tied(@ary)->[0], 'GLOB',
310 'tied elem assignment preserves globs'
312 is ($e, '', '__DIE__ handler not called');
313 my $x = readline $ary[0];
315 is ($e, '', '__DIE__ handler never called');
319 # Need some sort of die or warn to get the global destruction text if the
320 # bug is still present
321 my $output = runperl(prog => <<'EOPROG');
324 sub DESTROY {eval {die qq{Farewell $_[0]}}; print $@}
330 like($output, qr/^Farewell M=SCALAR/, "DESTROY was called");
331 unlike($output, qr/global destruction/,
332 "unreferenced symbol tables should be cleaned up immediately");
335 # Possibly not the correct test file for these tests.
336 # There are certain space optimisations implemented via promotion rules to
339 foreach (qw (oonk ga_shloip)) {
340 ok(!exists $::{$_}, "no symbols of any sort to start with for $_");
343 # A string in place of the typeglob is promoted to the function prototype
345 my $proto = eval 'prototype \&oonk';
347 is ($proto, "pie", "String is promoted to prototype");
350 # A reference to a value is used to generate a constant subroutine
351 foreach my $value (3, "Perl rules", \42, qr/whatever/, [1,2,3], {1=>2},
352 \*STDIN, \&ok, \undef, *STDOUT) {
355 $proto = eval 'prototype \&oonk';
357 is ($proto, '', "Prototype for a constant subroutine is empty");
359 my $got = eval 'oonk';
361 is (ref $got, ref $value, "Correct type of value (" . ref($value) . ")");
362 is ($got, $value, "Value is correctly set");
366 $::{oonk} = \"Value";
368 *{"ga_shloip"} = \&{"oonk"};
370 is (ref $::{ga_shloip}, 'SCALAR', "Export of proxy constant as is");
371 is (ref $::{oonk}, 'SCALAR', "Export doesn't affect original");
372 is (eval 'ga_shloip', "Value", "Constant has correct value");
373 is (ref $::{ga_shloip}, 'SCALAR',
374 "Inlining of constant doesn't change representation");
376 delete $::{ga_shloip};
378 eval 'sub ga_shloip (); 1' or die $@;
379 is ($::{ga_shloip}, '', "Prototype is stored as an empty string");
381 # Check that a prototype expands.
382 *{"ga_shloip"} = \&{"oonk"};
384 is (ref $::{oonk}, 'SCALAR', "Export doesn't affect original");
385 is (eval 'ga_shloip', "Value", "Constant has correct value");
386 is (ref \$::{ga_shloip}, 'GLOB', "Symbol table has full typeglob");
391 # Check that assignment to an existing typeglob works
394 local $SIG{__WARN__} = sub { $w = $_[0] };
395 *{"zwot"} = \&{"oonk"};
396 is($w, '', "Should be no warning");
399 is (ref $::{oonk}, 'SCALAR', "Export doesn't affect original");
400 is (eval 'zwot', "Value", "Constant has correct value");
401 is (ref \$::{zwot}, 'GLOB', "Symbol table has full typeglob");
402 is (join ('!', @::zwot), 'Zwot!', "Existing array still in typeglob");
408 # Check that assignment to an existing subroutine works
411 local $SIG{__WARN__} = sub { $w = $_[0] };
412 *{"spritsits"} = \&{"oonk"};
413 like($w, qr/^Constant subroutine main::spritsits redefined/,
414 "Redefining a constant sub should warn");
417 is (ref $::{oonk}, 'SCALAR', "Export doesn't affect original");
418 is (eval 'spritsits', "Value", "Constant has correct value");
419 is (ref \$::{spritsits}, 'GLOB', "Symbol table has full typeglob");
421 # Check that assignment to an existing typeglob works
424 local $SIG{__WARN__} = sub { $w = $_[0] };
426 *{"plunk"} = \&{"oonk"};
427 is($w, '', "Should be no warning");
430 is (ref $::{oonk}, 'SCALAR', "Export doesn't affect original");
431 is (eval 'plunk', "Value", "Constant has correct value");
432 is (ref \$::{plunk}, 'GLOB', "Symbol table has full typeglob");
434 my $gr = eval '\*plunk' or die;
438 local $SIG{__WARN__} = sub { $w = $_[0] };
440 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)");
443 is (ref $::{oonk}, 'SCALAR', "Export doesn't affect original");
444 is (eval 'plunk', "Value", "Constant has correct value");
445 is (ref \$::{plunk}, 'GLOB', "Symbol table has full typeglob");
447 # Non-void context should defeat the optimisation, and will cause the original
448 # to be promoted (what change 26482 intended)
452 local $SIG{__WARN__} = sub { $w = $_[0] };
453 $result = *{"awkkkkkk"} = \&{"oonk"};
454 is($w, '', "Should be no warning");
457 is (ref \$result, 'GLOB',
458 "Non void assignment should still return a typeglob");
460 is (ref \$::{oonk}, 'GLOB', "This export does affect original");
461 is (eval 'plunk', "Value", "Constant has correct value");
462 is (ref \$::{plunk}, 'GLOB', "Symbol table has full typeglob");
465 $::{oonk} = \"Value";
469 local $SIG{__WARN__} = sub { $w = $_[0] };
470 *{"zap"} = \&{"oonk"};
471 is($w, '', "Should be no warning");
475 is (ref $::{oonk}, 'SCALAR', "Export doesn't affect original");
476 is (eval 'zap', "Value", "Constant has correct value");
477 is (ref $::{zap}, 'SCALAR', "Exported target is also a PCS");
480 local $SIG{__WARN__} = sub { die $_[0] };
481 *{"biff"} = \&{"oonk"};
485 is (ref \$::{oonk}, 'GLOB', "This export does affect original");
486 is (eval 'biff', "Value", "Constant has correct value");
487 is (ref \$::{biff}, 'GLOB', "Symbol table has full typeglob");
490 use vars qw($glook $smek $foof);
491 # Check reference assignment isn't affected by the SV type (bug #38439)
494 $foof = "halt and cool down";
503 is($foof, "halt and cool down");
511 foreach my $value ([1,2,3], {1=>2}, *STDOUT{IO}, \&ok, *STDOUT{FORMAT}) {
512 # *STDOUT{IO} returns a reference to a PVIO. As it's blessed, ref returns
513 # IO::Handle, which isn't what we want.
519 $proto = eval 'prototype \&oonk';
520 like ($@, qr/^Cannot convert a reference to $type to typeglob/,
521 "Cannot upgrade ref-to-$type to typeglob");
525 no warnings qw(once uninitialized);
527 my $r = eval {no strict; ${*{$g}{SCALAR}}};
528 is ($@, '', "PERL_DONT_CREATE_GVSV shouldn't affect thingy syntax");
531 $r = eval {use strict; ${*{$g}{SCALAR}}};
533 "PERL_DONT_CREATE_GVSV shouldn't affect thingy syntax under strict");
537 # Bug reported by broquaint on IRC
538 *slosh::{HASH}->{ISA}=[];
540 pass("gv_fetchmeth coped with the unexpected");
542 # An audit found these:
551 like ($@, qr/^Can't locate object method "rip"/, "Even with SUPER");
553 is(slosh->isa('swoosh'), '');
555 $CORE::GLOBAL::{"lock"}=[];
556 eval "no warnings; lock";
557 like($@, qr/^Not enough arguments for lock/,
558 "Can't trip up general keyword overloading");
560 $CORE::GLOBAL::{"readline"}=[];
561 eval "<STDOUT> if 0";
562 is($@, '', "Can't trip up readline overloading");
564 $CORE::GLOBAL::{"readpipe"}=[];
566 is($@, '', "Can't trip up readpipe overloading");
570 die if exists $::{BONK};
571 $::{BONK} = \"powie";
572 *{"BONK"} = \&{"BONK"};
573 eval 'is(BONK(), "powie",
574 "Assignment works when glob created midway (bug 45607)"); 1'
578 # For now these tests are here, but they would probably be better in a file for
579 # tests for croaks. (And in turn, that probably deserves to be in a different
580 # directory. Gerard Goossen has a point about the layout being unclear
583 no warnings 'numeric';
587 no warnings 'numeric';
594 foreach my $type (qw(integer number string)) {
595 my $prog = "coerce_$type(*STDERR)";
596 is (scalar eval "$prog; 1", undef, "$prog failed...");
597 like ($@, qr/Can't coerce GLOB to $type in/,
598 "with the correct error message");
601 # RT #65582 anonymous glob should be defined, and not coredump when
602 # stringified. The behaviours are:
604 # defined($glob) "$glob" $glob .= ...
605 # 5.8.8 false "" with uninit warning "" with uninit warning
606 # 5.10.0 true (coredump) (coredump)
607 # 5.1[24] true "" "" with uninit warning
608 # 5.16 true "*__ANON__::..." "*__ANON__::..."
611 my $io_ref = *STDOUT{IO};
613 ok(defined $glob, "RT #65582 anon glob should be defined");
616 local $SIG{__WARN__} = sub { $warn = $_[0] };
619 is($warn, '', "RT #65582 anon glob stringification shouldn't warn");
620 is($str, '*__ANON__::__ANONIO__',
621 "RT #65582/#96326 anon glob stringification");
624 # [perl #71254] - Assigning a glob to a variable that has a current
625 # match position. (We are testing that Perl_magic_setmglob respects globs'
626 # special used of SvSCREAM.)
628 $m = 2; $m=~s/./0/gems; $m= *STDERR;
630 "$m", "*main::STDERR",
631 '[perl #71254] assignment of globs to vars with pos'
635 # [perl #72740] - indirect object syntax, heuristically imputed due to
636 # the non-existence of a function, should not cause a stash entry to be
637 # created for the non-existent function.
640 my $f = bless({}, RT72740b);
647 sub s2 { "RT72740b::s2" }
648 sub s4 { "RT72740b::s4" }
650 ok(exists($RT72740a::{s1}), "RT72740a::s1 exists");
651 ok(!exists($RT72740a::{s2}), "RT72740a::s2 does not exist");
652 ok(exists($RT72740a::{s3}), "RT72740a::s3 exists");
653 ok(exists($RT72740a::{s4}), "RT72740a::s4 exists");
654 is(RT72740a::s1(), "RT72740b::s2", "RT72740::s1 parsed correctly");
655 is(RT72740a::s3(), "RT72740b::s4", "RT72740::s3 parsed correctly");
657 # [perl #71686] Globs that are in symbol table can be un-globbed
660 is (eval 'local *::fake = \"chuck"; $fake', 'chuck',
661 "Localized glob didn't coerce into a RV");
662 is ($@, '', "Can localize FAKE glob that's present in stash");
663 is (scalar $::{fake}, "*main::sym",
664 "Localized FAKE glob's value was correctly restored");
666 # [perl #1804] *$x assignment when $x is a copy of another glob
667 # And [perl #77508] (same thing with list assignment)
670 my $x = *_random::glob_that_is_not_used_elsewhere;
673 "$x", '*_random::glob_that_is_not_used_elsewhere',
674 '[perl #1804] *$x assignment when $x is FAKE',
676 $x = *_random::glob_that_is_not_used_elsewhere;
677 (my $dummy, *$x) = (undef,[]);
679 "$x", '*_random::glob_that_is_not_used_elsewhere',
680 '[perl #77508] *$x list assignment when $x is FAKE',
681 ) or require Devel::Peek, Devel::Peek::Dump($x);
685 # this caused panics or 'Attempt to free unreferenced scalar'
686 # (its a compile-time issue, so the die lets us skip the prints)
689 local $SIG{__WARN__} = sub { push @warnings, @_ };
692 BEGIN { $::{FOO} = \'bar' }
698 like($@, qr/made it/, "#76540 - no panic");
699 ok(!@warnings, "#76540 - no 'Attempt to free unreferenced scalar'");
702 # [perl #77362] various bugs related to globs as PVLVs
704 no warnings qw 'once void';
705 my %h; # We pass a key of this hash to the subroutine to get a PVLV.
707 # Set up our glob-as-PVLV
710 # Bad symbol for array
711 ok eval{ @$_; 1 }, 'PVLV glob slots can be autovivified' or diag $@;
713 # This should call TIEHANDLE, not TIESCALAR
714 *thext::TIEHANDLE = sub{};
715 ok eval{ tie *$_, 'thext'; 1 }, 'PVLV globs can be tied as handles'
718 # Assigning undef to the glob should not overwrite it...
721 local $SIG{__WARN__} = sub { $w = shift };
723 is $_, "*main::hon", 'PVLV: assigning undef to the glob does nothing';
724 like $w, qr\Undefined value assigned to typeglob\,
725 'PVLV: assigning undef to the glob warns';
728 # Neither should reference assignment.
730 is $_, "*main::hon", "PVLV: arrayref assignment assigns to the AV slot";
732 # Concatenation should still work.
733 ok eval { $_ .= 'thlew' }, 'PVLV concatenation does not die' or diag $@;
734 is $_, '*main::honthlew', 'PVLV concatenation works';
736 # And we should be able to overwrite it with a string, number, or refer-
737 # ence, too, if we omit the *.
738 $_ = *hon; $_ = 'tzor';
739 is $_, 'tzor', 'PVLV: assigning a string over a glob';
741 is $_, 23, 'PVLV: assigning an integer over a glob';
742 $_ = *hon; $_ = 23.23;
743 is $_, 23.23, 'PVLV: assigning a float over a glob';
744 $_ = *hon; $_ = \my $sthat;
745 is $_, \$sthat, 'PVLV: assigning a reference over a glob';
747 # This bug was found by code inspection. Could this ever happen in
749 # This duplicates a file handle, accessing it through a PVLV glob, the
750 # glob having been removed from the symbol table, so a stringified form
751 # of it does not work. This checks that sv_2io does not stringify a PVLV.
753 open *quin, "test.pl"; # test.pl is as good a file as any
755 ok eval { open my $zow, "<&", $_ }, 'PVLV: sv_2io stringifieth not'
758 # Similar tests to make sure sv_2cv etc. do not stringify.
760 ok eval { &$_ }, "PVLV glob can be called as a sub" or diag $@;
763 is eval { &$_ }, 2, 'PVLV holding a string can be called as a sub'
766 # Coderef-to-glob assignment when the glob is no longer accessible
767 # under its name: These tests are to make sure the OPpASSIGN_CV_TO_GV
768 # optimisation takes PVLVs into account, which is why the RHSs have to be
770 use constant gheen => 'quare';
774 is eval { &$_ }, 'quare',
775 'PVLV: constant assignment when the glob is detached from the symtab'
779 *gheck = sub { 'lon' };
781 is eval { &$_ }, 'lon',
782 'PVLV: coderef assignment when the glob is detached from the symtab'
786 skip_if_miniperl("no dynamic loading on miniperl, so can't load PerlIO::scalar", 1);
787 # open should accept a PVLV as its first argument
789 ok eval { open $_,'<', \my $thlext }, 'PVLV can be the first arg to open'
793 # -t should not stringify
794 $_ = *thlit; delete $::{thlit};
796 ok defined -t $_, 'PVLV: -t does not stringify';
799 # but some systems don’t support this on file handles
803 open my $quile, "<", 'test.pl';
807 } ? $pass : $@ =~ /not implemented on filehandles/,
808 "PVLV: -T does not stringify";
810 # Unopened file handle
813 local $SIG{__WARN__} = sub { $w .= shift };
816 like $w, qr\unopened filehandle vor\,
817 'PVLV globs get their names reported in unopened error messages';
824 pass('Can assign integers to typeglobs');
826 pass('Can assign floats to typeglobs');
828 pass('Can assign strings to typeglobs');
832 sub TIESCALAR{bless[]}
833 sub STORE{ die "No!"}
834 sub FETCH{ no warnings 'once'; *thrit }
836 () = "$a"; # do a fetch; now $a holds a glob
837 eval { *$a = sub{} };
841 "[perl #77812] Globs in tied scalars can be reified if STORE dies"
844 # These two crashed prior to 5.13.6. In 5.13.6 they were fatal errors. They
845 # were fixed in 5.13.7.
847 my $glob = \*heen::ISA;
848 delete $::{"heen::"};
850 }, "glob-to-*ISA assignment works when *ISA has lost its stash";
852 my $glob = \*slare::ISA;
853 delete $::{"slare::"};
855 }, "array-to-*ISA assignment works when *ISA has lost its stash";
856 # These two crashed in 5.13.6. They were likewise fixed in 5.13.7.
859 my $glob = do { no warnings "once"; \*phing::foo};
860 delete $::{"phing::"};
862 }, "Assigning a glob-with-sub to a glob that has lost its stash works";
865 my $glob = \*pon::foo;
868 }, "Assigning a glob to a glob-with-sub that has lost its stash works";
872 sub TIESCALAR{ bless \\pop }
873 sub FETCH { $${$_[0]} }
874 sub STORE { $${$_[0]} = $_[1] }
876 tie my $alias, 'Tie::Alias', my $var;
882 is $alias, 3, "[perl #77926] Glob reification during localisation";
886 # This code causes gp_free to call a destructor when a glob is being
887 # restored on scope exit. The destructor used to see SVs with a refcount of
888 # zero inside the glob, which could result in crashes (though not in this
889 # test case, which just panics).
893 *Trit::DESTROY = sub {
894 $thwext = 42; # panic
899 $thwext = bless[],'Trit';
903 'no error when gp_free calls a destructor that assigns to the gv';
907 eval { *{my $undef} = 3 };
908 like $@, qr/^Can't use an undefined value as a symbol reference at /,
909 '*{ $undef } assignment';
910 eval { *{;undef} = 3 };
911 like $@, qr/^Can't use an undefined value as a symbol reference at /,
912 '*{ ;undef } assignment';
914 # [perl #99142] defined &{"foo"} when there is a constant stub
915 # If I break your module, you get to have it mentioned in Perl's tests. :-)
916 package HTTP::MobileAttribute::Plugin::Locator {
917 use constant LOCATOR_GPS => 1;
918 ::ok defined &{__PACKAGE__."::LOCATOR_GPS"},
919 'defined &{"name of constant"}';
920 ::ok Internals::SvREFCNT(${__PACKAGE__."::"}{LOCATOR_GPS}),
921 "stash elem for slot is not freed prematurely";
924 # Check that constants promoted to CVs point to the right GVs when the name
928 # These two lines abuse the optimisation that copies the scalar ref from
929 # one stash element to another, to get a constant with a null in its name
930 *{"yz\0a"} = \&{"x"};
931 my $ref = \&{"yz\0a"};
932 ::ok !exists $lrcg::{yz},
933 'constants w/nulls in their names point 2 the right GVs when promoted';
937 # This violates perl's internal structures by fiddling with stashes in a
938 # way that should never happen, but perl should not start trying to free
939 # unallocated memory as a result. There is no ok() or is() because the
940 # panic that used to occur only occurred during global destruction, and
941 # only with PERL_DESTRUCT_LEVEL=2. (The panic itself was sufficient for
942 # the harness to consider this test script to have failed.)
943 $::{aoeuaoeuaoeaoeu} = __PACKAGE__; # cow
944 () = *{"aoeuaoeuaoeaoeu"};