This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
Document and test *glob{NAME} and *glob{PACKAGE}
[perl5.git] / t / op / gv.t
1 #!./perl
2
3 #
4 # various typeglob tests
5 #
6
7 BEGIN {
8     chdir 't' if -d 't';
9     @INC = '../lib';
10     require './test.pl';
11 }
12
13 use warnings;
14
15 plan( tests => 241 );
16
17 # type coercion on assignment
18 $foo = 'foo';
19 $bar = *main::foo;
20 $bar = $foo;
21 is(ref(\$bar), 'SCALAR');
22 $foo = *main::bar;
23
24 # type coercion (not) on misc ops
25
26 ok($foo);
27 is(ref(\$foo), 'GLOB');
28
29 unlike ($foo, qr/abcd/);
30 is(ref(\$foo), 'GLOB');
31
32 is($foo, '*main::bar');
33 is(ref(\$foo), 'GLOB');
34
35 {
36  no warnings;
37  ${\*$foo} = undef;
38  is(ref(\$foo), 'GLOB', 'no type coercion when assigning to *{} retval');
39  $::{phake} = *bar;
40  is(
41    \$::{phake}, \*{"phake"},
42    'symbolic *{} returns symtab entry when FAKE'
43  );
44  ${\*{"phake"}} = undef;
45  is(
46    ref(\$::{phake}), 'GLOB',
47   'no type coercion when assigning to retval of symbolic *{}'
48  );
49  $::{phaque} = *bar;
50  eval '
51    is(
52      \$::{phaque}, \*phaque,
53      "compile-time *{} returns symtab entry when FAKE"
54    );
55    ${\*phaque} = undef;
56  ';
57  is(
58    ref(\$::{phaque}), 'GLOB',
59   'no type coercion when assigning to retval of compile-time *{}'
60  );
61 }
62
63 # type coercion on substitutions that match
64 $a = *main::foo;
65 $b = $a;
66 $a =~ s/^X//;
67 is(ref(\$a), 'GLOB');
68 $a =~ s/^\*//;
69 is($a, 'main::foo');
70 is(ref(\$b), 'GLOB');
71
72 # typeglobs as lvalues
73 substr($foo, 0, 1) = "XXX";
74 is(ref(\$foo), 'SCALAR');
75 is($foo, 'XXXmain::bar');
76
77 # returning glob values
78 sub foo {
79   local($bar) = *main::foo;
80   $foo = *main::bar;
81   return ($foo, $bar);
82 }
83
84 ($fuu, $baa) = foo();
85 ok(defined $fuu);
86 is(ref(\$fuu), 'GLOB');
87
88
89 ok(defined $baa);
90 is(ref(\$baa), 'GLOB');
91
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.
95 #        (I hope.)
96
97 { package Foo::Bar; no warnings 'once'; $test=1; }
98 ok(exists $Foo::{'Bar::'});
99 is($Foo::{'Bar::'}, '*Foo::Bar::');
100
101
102 # test undef operator clearing out entire glob
103 $foo = 'stuff';
104 @foo = qw(more stuff);
105 %foo = qw(even more random stuff);
106 undef *foo;
107 is ($foo, undef);
108 is (scalar @foo, 0);
109 is (scalar %foo, 0);
110
111 {
112     # test warnings from assignment of undef to glob
113     my $msg = '';
114     local $SIG{__WARN__} = sub { $msg = $_[0] };
115     use warnings;
116     *foo = 'bar';
117     is($msg, '');
118     *foo = undef;
119     like($msg, qr/Undefined value assigned to typeglob/);
120
121     no warnings 'once';
122     # test warnings for converting globs to other forms
123     my $copy = *PWOMPF;
124     foreach ($copy, *SKREEE) {
125         $msg = '';
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");
129         is($victim, 0);
130
131         $msg = '';
132         $victim = sprintf "%u", $_;
133         like($msg, qr/Argument "\*main::[A-Z]{6}" isn't numeric in sprintf/,
134              "Warning on conversion to UV");
135         is($victim, 0);
136
137         $msg = '';
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");
142
143         $msg = '';
144         $victim = sprintf "%s", $_;
145         is($msg, '', "No warning on stringification");
146         is($victim, '' . $_);
147     }
148 }
149
150 my $test = curr_test();
151 # test *glob{THING} syntax
152 $x = "ok $test\n";
153 ++$test;
154 @x = ("ok $test\n");
155 ++$test;
156 %x = ("ok $test" => "\n");
157 ++$test;
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
161 # value of test
162 ++$test;
163 format x =
164 XXX This text isn't used. Should it be?
165 .
166 curr_test($test);
167
168 is (ref *x{FORMAT}, "FORMAT");
169 *x = *STDOUT;
170 is (*{*x{GLOB}}, "*main::STDOUT");
171
172 {
173     my $test = curr_test();
174
175     print {*x{IO}} "ok $test\n";
176     ++$test;
177
178     my $warn;
179     local $SIG{__WARN__} = sub {
180         $warn .= $_[0];
181     };
182     my $val = *x{FILEHANDLE};
183     print {*x{IO}} ($warn =~ /is deprecated/
184                     ? "ok $test\n" : "not ok $test\n");
185     curr_test(++$test);
186 }
187
188 is *x{NAME}, 'x', '*foo{NAME}';
189 is *x{PACKAGE}, 'main', '*foo{PACKAGE}';
190
191 {
192     # test if defined() doesn't create any new symbols
193
194     my $a = "SYM000";
195     ok(!defined *{$a});
196
197     {
198         no warnings 'deprecated';
199         ok(!defined @{$a});
200     }
201     ok(!defined *{$a});
202
203     {
204         no warnings 'deprecated';
205         ok(!defined %{$a});
206     }
207     ok(!defined *{$a});
208
209     ok(!defined ${$a});
210     ok(!defined *{$a});
211
212     ok(!defined &{$a});
213     ok(!defined *{$a});
214
215     my $state = "not";
216     *{$a} = sub { $state = "ok" };
217     ok(defined &{$a});
218     ok(defined *{$a});
219     &{$a};
220     is ($state, 'ok');
221 }
222
223 {
224     # although it *should* if you're talking about magicals
225
226     my $a = "]";
227     ok(defined *{$a});
228     ok(defined ${$a});
229
230     $a = "1";
231     "o" =~ /(o)/;
232     ok(${$a});
233     ok(defined *{$a});
234     $a = "2";
235     ok(!${$a});
236     ok(defined *{$a});
237     $a = "1x";
238     ok(!defined ${$a});
239     ok(!defined *{$a});
240     $a = "11";
241     "o" =~ /(((((((((((o)))))))))))/;
242     ok(${$a});
243     ok(defined *{$a});
244 }
245
246 # [ID 20010526.001] localized glob loses value when assigned to
247
248 $j=1; %j=(a=>1); @j=(1); local *j=*j; *j = sub{};
249
250 is($j, 1);
251 is($j{a}, 1);
252 is($j[0], 1);
253
254 {
255     # does pp_readline() handle glob-ness correctly?
256     my $g = *foo;
257     $g = <DATA>;
258     is ($g, "Perl\n");
259 }
260
261 {
262     my $w = '';
263     local $SIG{__WARN__} = sub { $w = $_[0] };
264     sub abc1 ();
265     local *abc1 = sub { };
266     is ($w, '');
267     sub abc2 ();
268     local *abc2;
269     *abc2 = sub { };
270     is ($w, '');
271     sub abc3 ();
272     *abc3 = sub { };
273     like ($w, qr/Prototype mismatch/);
274 }
275
276 {
277     # [17375] rcatline to formerly-defined undef was broken. Fixed in
278     # do_readline by checking SvOK. AMS, 20020918
279     my $x = "not ";
280     $x  = undef;
281     $x .= <DATA>;
282     is ($x, "Rules\n");
283 }
284
285 {
286     # test the assignment of a GLOB to an LVALUE
287     my $e = '';
288     local $SIG{__DIE__} = sub { $e = $_[0] };
289     my %v;
290     sub f { $_[0] = 0; $_[0] = "a"; $_[0] = *DATA }
291     f($v{v});
292     is ($v{v}, '*main::DATA');
293     is (ref\$v{v}, 'GLOB', 'lvalue assignment preserves globs');
294     my $x = readline $v{v};
295     is ($x, "perl\n");
296     is ($e, '', '__DIE__ handler never called');
297 }
298
299 {
300     my $e = '';
301     # GLOB assignment to tied element
302     local $SIG{__DIE__} = sub { $e = $_[0] };
303     sub T::TIEARRAY  { bless [] => "T" }
304     sub T::STORE     { $_[0]->[ $_[1] ] = $_[2] }
305     sub T::FETCH     { $_[0]->[ $_[1] ] }
306     sub T::FETCHSIZE { @{$_[0]} }
307     tie my @ary => "T";
308     $ary[0] = *DATA;
309     is ($ary[0], '*main::DATA');
310     is (
311       ref\tied(@ary)->[0], 'GLOB',
312      'tied elem assignment preserves globs'
313     );
314     is ($e, '', '__DIE__ handler not called');
315     my $x = readline $ary[0];
316     is($x, "rocks\n");
317     is ($e, '', '__DIE__ handler never called');
318 }
319
320 {
321     # Need some sort of die or warn to get the global destruction text if the
322     # bug is still present
323     my $output = runperl(prog => <<'EOPROG');
324 package M;
325 $| = 1;
326 sub DESTROY {eval {die qq{Farewell $_[0]}}; print $@}
327 package main;
328
329 bless \$A::B, q{M};
330 *A:: = \*B::;
331 EOPROG
332     like($output, qr/^Farewell M=SCALAR/, "DESTROY was called");
333     unlike($output, qr/global destruction/,
334            "unreferenced symbol tables should be cleaned up immediately");
335 }
336
337 # Possibly not the correct test file for these tests.
338 # There are certain space optimisations implemented via promotion rules to
339 # GVs
340
341 foreach (qw (oonk ga_shloip)) {
342     ok(!exists $::{$_}, "no symbols of any sort to start with for $_");
343 }
344
345 # A string in place of the typeglob is promoted to the function prototype
346 $::{oonk} = "pie";
347 my $proto = eval 'prototype \&oonk';
348 die if $@;
349 is ($proto, "pie", "String is promoted to prototype");
350
351
352 # A reference to a value is used to generate a constant subroutine
353 foreach my $value (3, "Perl rules", \42, qr/whatever/, [1,2,3], {1=>2},
354                    \*STDIN, \&ok, \undef, *STDOUT) {
355     delete $::{oonk};
356     $::{oonk} = \$value;
357     $proto = eval 'prototype \&oonk';
358     die if $@;
359     is ($proto, '', "Prototype for a constant subroutine is empty");
360
361     my $got = eval 'oonk';
362     die if $@;
363     is (ref $got, ref $value, "Correct type of value (" . ref($value) . ")");
364     is ($got, $value, "Value is correctly set");
365 }
366
367 delete $::{oonk};
368 $::{oonk} = \"Value";
369
370 *{"ga_shloip"} = \&{"oonk"};
371
372 is (ref $::{ga_shloip}, 'SCALAR', "Export of proxy constant as is");
373 is (ref $::{oonk}, 'SCALAR', "Export doesn't affect original");
374 is (eval 'ga_shloip', "Value", "Constant has correct value");
375 is (ref $::{ga_shloip}, 'SCALAR',
376     "Inlining of constant doesn't change representation");
377
378 delete $::{ga_shloip};
379
380 eval 'sub ga_shloip (); 1' or die $@;
381 is ($::{ga_shloip}, '', "Prototype is stored as an empty string");
382
383 # Check that a prototype expands.
384 *{"ga_shloip"} = \&{"oonk"};
385
386 is (ref $::{oonk}, 'SCALAR', "Export doesn't affect original");
387 is (eval 'ga_shloip', "Value", "Constant has correct value");
388 is (ref \$::{ga_shloip}, 'GLOB', "Symbol table has full typeglob");
389
390
391 @::zwot = ('Zwot!');
392
393 # Check that assignment to an existing typeglob works
394 {
395   my $w = '';
396   local $SIG{__WARN__} = sub { $w = $_[0] };
397   *{"zwot"} = \&{"oonk"};
398   is($w, '', "Should be no warning");
399 }
400
401 is (ref $::{oonk}, 'SCALAR', "Export doesn't affect original");
402 is (eval 'zwot', "Value", "Constant has correct value");
403 is (ref \$::{zwot}, 'GLOB', "Symbol table has full typeglob");
404 is (join ('!', @::zwot), 'Zwot!', "Existing array still in typeglob");
405
406 sub spritsits () {
407     "Traditional";
408 }
409
410 # Check that assignment to an existing subroutine works
411 {
412   my $w = '';
413   local $SIG{__WARN__} = sub { $w = $_[0] };
414   *{"spritsits"} = \&{"oonk"};
415   like($w, qr/^Constant subroutine main::spritsits redefined/,
416        "Redefining a constant sub should warn");
417 }
418
419 is (ref $::{oonk}, 'SCALAR', "Export doesn't affect original");
420 is (eval 'spritsits', "Value", "Constant has correct value");
421 is (ref \$::{spritsits}, 'GLOB', "Symbol table has full typeglob");
422
423 # Check that assignment to an existing typeglob works
424 {
425   my $w = '';
426   local $SIG{__WARN__} = sub { $w = $_[0] };
427   *{"plunk"} = [];
428   *{"plunk"} = \&{"oonk"};
429   is($w, '', "Should be no warning");
430 }
431
432 is (ref $::{oonk}, 'SCALAR', "Export doesn't affect original");
433 is (eval 'plunk', "Value", "Constant has correct value");
434 is (ref \$::{plunk}, 'GLOB', "Symbol table has full typeglob");
435
436 my $gr = eval '\*plunk' or die;
437
438 {
439   my $w = '';
440   local $SIG{__WARN__} = sub { $w = $_[0] };
441   *{$gr} = \&{"oonk"};
442   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 }
444
445 is (ref $::{oonk}, 'SCALAR', "Export doesn't affect original");
446 is (eval 'plunk', "Value", "Constant has correct value");
447 is (ref \$::{plunk}, 'GLOB', "Symbol table has full typeglob");
448
449 # Non-void context should defeat the optimisation, and will cause the original
450 # to be promoted (what change 26482 intended)
451 my $result;
452 {
453   my $w = '';
454   local $SIG{__WARN__} = sub { $w = $_[0] };
455   $result = *{"awkkkkkk"} = \&{"oonk"};
456   is($w, '', "Should be no warning");
457 }
458
459 is (ref \$result, 'GLOB',
460     "Non void assignment should still return a typeglob");
461
462 is (ref \$::{oonk}, 'GLOB', "This export does affect original");
463 is (eval 'plunk', "Value", "Constant has correct value");
464 is (ref \$::{plunk}, 'GLOB', "Symbol table has full typeglob");
465
466 delete $::{oonk};
467 $::{oonk} = \"Value";
468
469 sub non_dangling {
470   my $w = '';
471   local $SIG{__WARN__} = sub { $w = $_[0] };
472   *{"zap"} = \&{"oonk"};
473   is($w, '', "Should be no warning");
474 }
475
476 non_dangling();
477 is (ref $::{oonk}, 'SCALAR', "Export doesn't affect original");
478 is (eval 'zap', "Value", "Constant has correct value");
479 is (ref $::{zap}, 'SCALAR', "Exported target is also a PCS");
480
481 sub dangling {
482   local $SIG{__WARN__} = sub { die $_[0] };
483   *{"biff"} = \&{"oonk"};
484 }
485
486 dangling();
487 is (ref \$::{oonk}, 'GLOB', "This export does affect original");
488 is (eval 'biff', "Value", "Constant has correct value");
489 is (ref \$::{biff}, 'GLOB', "Symbol table has full typeglob");
490
491 {
492     use vars qw($glook $smek $foof);
493     # Check reference assignment isn't affected by the SV type (bug #38439)
494     $glook = 3;
495     $smek = 4;
496     $foof = "halt and cool down";
497
498     my $rv = \*smek;
499     is($glook, 3);
500     *glook = $rv;
501     is($glook, 4);
502
503     my $pv = "";
504     $pv = \*smek;
505     is($foof, "halt and cool down");
506     *foof = $pv;
507     is($foof, 4);
508 }
509
510 format =
511 .
512
513 foreach my $value ([1,2,3], {1=>2}, *STDOUT{IO}, \&ok, *STDOUT{FORMAT}) {
514     # *STDOUT{IO} returns a reference to a PVIO. As it's blessed, ref returns
515     # IO::Handle, which isn't what we want.
516     my $type = $value;
517     $type =~ s/.*=//;
518     $type =~ s/\(.*//;
519     delete $::{oonk};
520     $::{oonk} = $value;
521     $proto = eval 'prototype \&oonk';
522     like ($@, qr/^Cannot convert a reference to $type to typeglob/,
523           "Cannot upgrade ref-to-$type to typeglob");
524 }
525
526 {
527     no warnings qw(once uninitialized);
528     my $g = \*clatter;
529     my $r = eval {no strict; ${*{$g}{SCALAR}}};
530     is ($@, '', "PERL_DONT_CREATE_GVSV shouldn't affect thingy syntax");
531
532     $g = \*vowm;
533     $r = eval {use strict; ${*{$g}{SCALAR}}};
534     is ($@, '',
535         "PERL_DONT_CREATE_GVSV shouldn't affect thingy syntax under strict");
536 }
537
538 {
539     # Bug reported by broquaint on IRC
540     *slosh::{HASH}->{ISA}=[];
541     slosh->import;
542     pass("gv_fetchmeth coped with the unexpected");
543
544     # An audit found these:
545     {
546         package slosh;
547         sub rip {
548             my $s = shift;
549             $s->SUPER::rip;
550         }
551     }
552     eval {slosh->rip;};
553     like ($@, qr/^Can't locate object method "rip"/, "Even with SUPER");
554
555     is(slosh->isa('swoosh'), '');
556
557     $CORE::GLOBAL::{"lock"}=[];
558     eval "no warnings; lock";
559     like($@, qr/^Not enough arguments for lock/,
560        "Can't trip up general keyword overloading");
561
562     $CORE::GLOBAL::{"readline"}=[];
563     eval "<STDOUT> if 0";
564     is($@, '', "Can't trip up readline overloading");
565
566     $CORE::GLOBAL::{"readpipe"}=[];
567     eval "`` if 0";
568     is($@, '', "Can't trip up readpipe overloading");
569 }
570
571 {
572     die if exists $::{BONK};
573     $::{BONK} = \"powie";
574     *{"BONK"} = \&{"BONK"};
575     eval 'is(BONK(), "powie",
576              "Assignment works when glob created midway (bug 45607)"); 1'
577         or die $@;
578 }
579
580 # For now these tests are here, but they would probably be better in a file for
581 # tests for croaks. (And in turn, that probably deserves to be in a different
582 # directory. Gerard Goossen has a point about the layout being unclear
583
584 sub coerce_integer {
585     no warnings 'numeric';
586     $_[0] |= 0;
587 }
588 sub coerce_number {
589     no warnings 'numeric';
590     $_[0] += 0;
591 }
592 sub coerce_string {
593     $_[0] .= '';
594 }
595
596 foreach my $type (qw(integer number string)) {
597     my $prog = "coerce_$type(*STDERR)";
598     is (scalar eval "$prog; 1", undef, "$prog failed...");
599     like ($@, qr/Can't coerce GLOB to $type in/,
600           "with the correct error message");
601 }
602
603 # RT #65582 anonymous glob should be defined, and not coredump when
604 # stringified. The behaviours are:
605 #
606 #        defined($glob)    "$glob"                   $glob .= ...
607 # 5.8.8     false           "" with uninit warning   "" with uninit warning
608 # 5.10.0    true            (coredump)               (coredump)
609 # 5.1[24]   true            ""                       "" with uninit warning
610 # 5.16      true            "*__ANON__::..."         "*__ANON__::..."
611
612 {
613     my $io_ref = *STDOUT{IO};
614     my $glob = *$io_ref;
615     ok(defined $glob, "RT #65582 anon glob should be defined");
616
617     my $warn = '';
618     local $SIG{__WARN__} = sub { $warn = $_[0] };
619     use warnings;
620     my $str = "$glob";
621     is($warn, '', "RT #65582 anon glob stringification shouldn't warn");
622     is($str,  '*__ANON__::__ANONIO__',
623         "RT #65582/#96326 anon glob stringification");
624 }
625
626 # [perl #71254] - Assigning a glob to a variable that has a current
627 # match position. (We are testing that Perl_magic_setmglob respects globs'
628 # special used of SvSCREAM.)
629 {
630     $m = 2; $m=~s/./0/gems; $m= *STDERR;
631     is(
632         "$m", "*main::STDERR",
633         '[perl #71254] assignment of globs to vars with pos'
634     );
635 }
636
637 # [perl #72740] - indirect object syntax, heuristically imputed due to
638 # the non-existence of a function, should not cause a stash entry to be
639 # created for the non-existent function.
640 {
641         package RT72740a;
642         my $f = bless({}, RT72740b);
643         sub s1 { s2 $f; }
644         our $s4;
645         sub s3 { s4 $f; }
646 }
647 {
648         package RT72740b;
649         sub s2 { "RT72740b::s2" }
650         sub s4 { "RT72740b::s4" }
651 }
652 ok(exists($RT72740a::{s1}), "RT72740a::s1 exists");
653 ok(!exists($RT72740a::{s2}), "RT72740a::s2 does not exist");
654 ok(exists($RT72740a::{s3}), "RT72740a::s3 exists");
655 ok(exists($RT72740a::{s4}), "RT72740a::s4 exists");
656 is(RT72740a::s1(), "RT72740b::s2", "RT72740::s1 parsed correctly");
657 is(RT72740a::s3(), "RT72740b::s4", "RT72740::s3 parsed correctly");
658
659 # [perl #71686] Globs that are in symbol table can be un-globbed
660 $sym = undef;
661 $::{fake} = *sym;
662 is (eval 'local *::fake = \"chuck"; $fake', 'chuck',
663         "Localized glob didn't coerce into a RV");
664 is ($@, '', "Can localize FAKE glob that's present in stash");
665 is (scalar $::{fake}, "*main::sym",
666         "Localized FAKE glob's value was correctly restored");
667
668 # [perl #1804] *$x assignment when $x is a copy of another glob
669 # And [perl #77508] (same thing with list assignment)
670 {
671     no warnings 'once';
672     my $x = *_random::glob_that_is_not_used_elsewhere;
673     *$x = sub{};
674     is(
675       "$x", '*_random::glob_that_is_not_used_elsewhere',
676       '[perl #1804] *$x assignment when $x is FAKE',
677     );
678     $x = *_random::glob_that_is_not_used_elsewhere;
679     (my $dummy, *$x) = (undef,[]);
680     is(
681       "$x", '*_random::glob_that_is_not_used_elsewhere',
682       '[perl #77508] *$x list assignment when $x is FAKE',
683     ) or require Devel::Peek, Devel::Peek::Dump($x);
684 }
685
686 # [perl #76540]
687 # this caused panics or 'Attempt to free unreferenced scalar'
688 # (its a compile-time issue, so the die lets us skip the prints)
689 {
690     my @warnings;
691     local $SIG{__WARN__} = sub { push @warnings, @_ };
692
693     eval <<'EOF';
694 BEGIN { $::{FOO} = \'bar' }
695 die "made it";
696 print FOO, "\n";
697 print FOO, "\n";
698 EOF
699
700     like($@, qr/made it/, "#76540 - no panic");
701     ok(!@warnings, "#76540 - no 'Attempt to free unreferenced scalar'");
702 }
703
704 # [perl #77362] various bugs related to globs as PVLVs
705 {
706  no warnings qw 'once void';
707  my %h; # We pass a key of this hash to the subroutine to get a PVLV.
708  sub { for(shift) {
709   # Set up our glob-as-PVLV
710   $_ = *hon;
711
712   # Bad symbol for array
713   ok eval{ @$_; 1 }, 'PVLV glob slots can be autovivified' or diag $@;
714
715   # This should call TIEHANDLE, not TIESCALAR
716   *thext::TIEHANDLE = sub{};
717   ok eval{ tie *$_, 'thext'; 1 }, 'PVLV globs can be tied as handles'
718    or diag $@;
719
720   # Assigning undef to the glob should not overwrite it...
721   {
722    my $w;
723    local $SIG{__WARN__} = sub { $w = shift };
724    *$_ = undef;
725    is $_, "*main::hon", 'PVLV: assigning undef to the glob does nothing';
726    like $w, qr\Undefined value assigned to typeglob\,
727     'PVLV: assigning undef to the glob warns';
728   }
729
730   # Neither should reference assignment.
731   *$_ = [];
732   is $_, "*main::hon", "PVLV: arrayref assignment assigns to the AV slot";
733
734   # Concatenation should still work.
735   ok eval { $_ .= 'thlew' }, 'PVLV concatenation does not die' or diag $@;
736   is $_, '*main::honthlew', 'PVLV concatenation works';
737
738   # And we should be able to overwrite it with a string, number, or refer-
739   # ence, too, if we omit the *.
740   $_ = *hon; $_ = 'tzor';
741   is $_, 'tzor', 'PVLV: assigning a string over a glob';
742   $_ = *hon; $_ = 23;
743   is $_, 23, 'PVLV: assigning an integer over a glob';
744   $_ = *hon; $_ = 23.23;
745   is $_, 23.23, 'PVLV: assigning a float over a glob';
746   $_ = *hon; $_ = \my $sthat;
747   is $_, \$sthat, 'PVLV: assigning a reference over a glob';
748
749   # This bug was found by code inspection. Could this ever happen in
750   # real life? :-)
751   # This duplicates a file handle, accessing it through a PVLV glob, the
752   # glob having been removed from the symbol table, so a stringified form
753   # of it does not work. This checks that sv_2io does not stringify a PVLV.
754   $_ = *quin;
755   open *quin, "test.pl"; # test.pl is as good a file as any
756   delete $::{quin};
757   ok eval { open my $zow, "<&", $_ }, 'PVLV: sv_2io stringifieth not'
758    or diag $@;
759
760   # Similar tests to make sure sv_2cv etc. do not stringify.
761   *$_ = sub { 1 };
762   ok eval { &$_ }, "PVLV glob can be called as a sub" or diag $@;
763   *flelp = sub { 2 };
764   $_ = 'flelp';
765   is eval { &$_ }, 2, 'PVLV holding a string can be called as a sub'
766    or diag $@;
767
768   # Coderef-to-glob assignment when the glob is no longer accessible
769   # under its name: These tests are to make sure the OPpASSIGN_CV_TO_GV
770   # optimisation takes PVLVs into account, which is why the RHSs have to be
771   # named subs.
772   use constant gheen => 'quare';
773   $_ = *ming;
774   delete $::{ming};
775   *$_ = \&gheen;
776   is eval { &$_ }, 'quare',
777    'PVLV: constant assignment when the glob is detached from the symtab'
778     or diag $@;
779   $_ = *bength;
780   delete $::{bength};
781   *gheck = sub { 'lon' };
782   *$_ = \&gheck;
783   is eval { &$_ }, 'lon',
784    'PVLV: coderef assignment when the glob is detached from the symtab'
785     or diag $@;
786
787 SKIP: {
788     skip_if_miniperl("no dynamic loading on miniperl, so can't load PerlIO::scalar", 1);
789     # open should accept a PVLV as its first argument
790     $_ = *hon;
791     ok eval { open $_,'<', \my $thlext }, 'PVLV can be the first arg to open'
792         or diag $@;
793   }
794
795   # -t should not stringify
796   $_ = *thlit; delete $::{thlit};
797   *$_ = *STDOUT{IO};
798   ok defined -t $_, 'PVLV: -t does not stringify';
799
800   # neither should -T
801   # but some systems don’t support this on file handles
802   my $pass;
803   ok
804     eval {
805      open my $quile, "<", 'test.pl';
806      $_ = *$quile;
807      $pass = -T $_;
808      1
809     } ? $pass : $@ =~ /not implemented on filehandles/,
810    "PVLV: -T does not stringify";
811   
812   # Unopened file handle
813   {
814    my $w;
815    local $SIG{__WARN__} = sub { $w .= shift };
816    $_ = *vor;
817    close $_;
818    like $w, qr\unopened filehandle vor\,
819     'PVLV globs get their names reported in unopened error messages';
820   }
821
822  }}->($h{k});
823 }
824
825 *aieee = 4;
826 pass('Can assign integers to typeglobs');
827 *aieee = 3.14;
828 pass('Can assign floats to typeglobs');
829 *aieee = 'pi';
830 pass('Can assign strings to typeglobs');
831
832 {
833   package thrext;
834   sub TIESCALAR{bless[]}
835   sub STORE{ die "No!"}
836   sub FETCH{ no warnings 'once'; *thrit }
837   tie my $a, "thrext";
838   () = "$a"; # do a fetch; now $a holds a glob
839   eval { *$a = sub{} };
840   untie $a;
841   eval { $a = "bar" };
842   ::is $a, "bar",
843     "[perl #77812] Globs in tied scalars can be reified if STORE dies"
844 }
845
846 # These two crashed prior to 5.13.6. In 5.13.6 they were fatal errors. They
847 # were fixed in 5.13.7.
848 ok eval {
849   my $glob = \*heen::ISA;
850   delete $::{"heen::"};
851   *$glob = *bar; 
852 }, "glob-to-*ISA assignment works when *ISA has lost its stash";
853 ok eval {
854   my $glob = \*slare::ISA;
855   delete $::{"slare::"};
856   *$glob = []; 
857 }, "array-to-*ISA assignment works when *ISA has lost its stash";
858 # These two crashed in 5.13.6. They were likewise fixed in 5.13.7.
859 ok eval {
860   sub greck;
861   my $glob = do { no warnings "once"; \*phing::foo};
862   delete $::{"phing::"};
863   *$glob = *greck; 
864 }, "Assigning a glob-with-sub to a glob that has lost its stash works";
865 ok eval {
866   sub pon::foo;
867   my $glob = \*pon::foo;
868   delete $::{"pon::"};
869   *$glob = *foo; 
870 }, "Assigning a glob to a glob-with-sub that has lost its stash works";
871
872 {
873   package Tie::Alias;
874   sub TIESCALAR{ bless \\pop }
875   sub FETCH { $${$_[0]} }
876   sub STORE { $${$_[0]} = $_[1] }
877   package main;
878   tie my $alias, 'Tie::Alias', my $var;
879   no warnings 'once';
880   $var = *galobbe;
881   {
882     local *$alias = [];
883     $var = 3;
884     is $alias, 3, "[perl #77926] Glob reification during localisation";
885   }
886 }
887
888 # This code causes gp_free to call a destructor when a glob is being
889 # restored on scope exit. The destructor used to see SVs with a refcount of
890 # zero inside the glob, which could result in crashes (though not in this
891 # test case, which just panics).
892 {
893  no warnings 'once';
894  my $survived;
895  *Trit::DESTROY = sub {
896    $thwext = 42;  # panic
897    $survived = 1;
898  };
899  {
900   local *thwext;
901   $thwext = bless[],'Trit';
902   ();
903  }
904  ok $survived,
905   'no error when gp_free calls a destructor that assigns to the gv';
906 }
907
908 # *{undef}
909 eval { *{my $undef} = 3 };
910 like $@, qr/^Can't use an undefined value as a symbol reference at /,
911   '*{ $undef } assignment';
912 eval { *{;undef} = 3 };
913 like $@, qr/^Can't use an undefined value as a symbol reference at /,
914   '*{ ;undef } assignment';
915
916 # [perl #99142] defined &{"foo"} when there is a constant stub
917 # If I break your module, you get to have it mentioned in Perl's tests. :-)
918 package HTTP::MobileAttribute::Plugin::Locator {
919     use constant LOCATOR_GPS => 1;
920     ::ok defined &{__PACKAGE__."::LOCATOR_GPS"},
921         'defined &{"name of constant"}';
922     ::ok Internals::SvREFCNT(${__PACKAGE__."::"}{LOCATOR_GPS}),
923        "stash elem for slot is not freed prematurely";
924 }
925
926 # Check that constants promoted to CVs point to the right GVs when the name
927 # contains a null.
928 package lrcg {
929   use constant x => 3;
930   # These two lines abuse the optimisation that copies the scalar ref from
931   # one stash element to another, to get a constant with a null in its name
932   *{"yz\0a"} = \&{"x"};
933   my $ref = \&{"yz\0a"};
934   ::ok !exists $lrcg::{yz},
935     'constants w/nulls in their names point 2 the right GVs when promoted';
936 }
937
938 # Look away, please.
939 # This violates perl's internal structures by fiddling with stashes in a
940 # way that should never happen, but perl should not start trying to free
941 # unallocated memory as a result.  There is no ok() or is() because the
942 # panic that used to occur only occurred during global destruction, and
943 # only with PERL_DESTRUCT_LEVEL=2.  (The panic itself was sufficient for
944 # the harness to consider this test script to have failed.)
945 $::{aoeuaoeuaoeaoeu} = __PACKAGE__; # cow
946 () = *{"aoeuaoeuaoeaoeu"};
947
948 __END__
949 Perl
950 Rules
951 perl
952 rocks