This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
Fix [perl #66970] Incorrect coderef in MODIFY_CODE_ATTRIBUTES
[perl5.git] / t / op / attrs.t
1 #!./perl
2
3 # Regression tests for attributes.pm and the C< : attrs> syntax.
4
5 BEGIN {
6     if ($ENV{PERL_CORE_MINITEST}) {
7         print "1..0 # skip: miniperl can't load attributes\n";
8         exit 0;
9     }
10     chdir 't' if -d 't';
11     @INC = '../lib';
12     require './test.pl';
13 }
14
15 use warnings;
16
17 plan 90;
18
19 $SIG{__WARN__} = sub { die @_ };
20
21 sub eval_ok ($;$) {
22     eval shift;
23     is( $@, '', @_);
24 }
25
26 our $anon1; eval_ok '$anon1 = sub : method { $_[0]++ }';
27
28 eval 'sub e1 ($) : plugh ;';
29 like $@, qr/^Invalid CODE attributes?: ["']?plugh["']? at/;
30
31 eval 'sub e2 ($) : plugh(0,0) xyzzy ;';
32 like $@, qr/^Invalid CODE attributes: ["']?plugh\(0,0\)["']? /;
33
34 eval 'sub e3 ($) : plugh(0,0 xyzzy ;';
35 like $@, qr/Unterminated attribute parameter in attribute list at/;
36
37 eval 'sub e4 ($) : plugh + xyzzy ;';
38 like $@, qr/Invalid separator character '[+]' in attribute list at/;
39
40 eval_ok 'my main $x : = 0;';
41 eval_ok 'my $x : = 0;';
42 eval_ok 'my $x ;';
43 eval_ok 'my ($x) : = 0;';
44 eval_ok 'my ($x) ;';
45 eval_ok 'my ($x) : ;';
46 eval_ok 'my ($x,$y) : = 0;';
47 eval_ok 'my ($x,$y) ;';
48 eval_ok 'my ($x,$y) : ;';
49
50 eval 'my ($x,$y) : plugh;';
51 like $@, qr/^Invalid SCALAR attribute: ["']?plugh["']? at/;
52
53 # bug #16080
54 eval '{my $x : plugh}';
55 like $@, qr/^Invalid SCALAR attribute: ["']?plugh["']? at/;
56 eval '{my ($x,$y) : plugh(})}';
57 like $@, qr/^Invalid SCALAR attribute: ["']?plugh\(}\)["']? at/;
58
59 # More syntax tests from the attributes manpage
60 eval 'my $x : switch(10,foo(7,3))  :  expensive;';
61 like $@, qr/^Invalid SCALAR attributes: ["']?switch\(10,foo\(7,3\)\) : expensive["']? at/;
62 eval q/my $x : Ugly('\(") :Bad;/;
63 like $@, qr/^Invalid SCALAR attributes: ["']?Ugly\('\\\("\) : Bad["']? at/;
64 eval 'my $x : _5x5;';
65 like $@, qr/^Invalid SCALAR attribute: ["']?_5x5["']? at/;
66 eval 'my $x : locked method;';
67 like $@, qr/^Invalid SCALAR attributes: ["']?locked : method["']? at/;
68 eval 'my $x : switch(10,foo();';
69 like $@, qr/^Unterminated attribute parameter in attribute list at/;
70 eval q/my $x : Ugly('(');/;
71 like $@, qr/^Unterminated attribute parameter in attribute list at/;
72 eval 'my $x : 5x5;';
73 like $@, qr/error/;
74 eval 'my $x : Y2::north;';
75 like $@, qr/Invalid separator character ':' in attribute list at/;
76
77 sub A::MODIFY_SCALAR_ATTRIBUTES { return }
78 eval 'my A $x : plugh;';
79 like $@, qr/^SCALAR package attribute may clash with future reserved word: ["']?plugh["']? at/;
80
81 eval 'my A $x : plugh plover;';
82 like $@, qr/^SCALAR package attributes may clash with future reserved words: ["']?plugh["']? /;
83
84 no warnings 'reserved';
85 eval 'my A $x : plugh;';
86 is $@, '';
87
88 eval 'package Cat; my Cat @socks;';
89 like $@, '';
90
91 eval 'my Cat %nap;';
92 like $@, '';
93
94 sub X::MODIFY_CODE_ATTRIBUTES { die "$_[0]" }
95 sub X::foo { 1 }
96 *Y::bar = \&X::foo;
97 *Y::bar = \&X::foo;     # second time for -w
98 eval 'package Z; sub Y::bar : foo';
99 like $@, qr/^X at /;
100
101 @attrs = eval 'attributes::get $anon1';
102 is "@attrs", "method";
103
104 sub Z::DESTROY { }
105 sub Z::FETCH_CODE_ATTRIBUTES { return 'Z' }
106 my $thunk = eval 'bless +sub : method { 1 }, "Z"';
107 is ref($thunk), "Z";
108
109 @attrs = eval 'attributes::get $thunk';
110 is "@attrs", "method Z";
111
112 # Test attributes on predeclared subroutines:
113 eval 'package A; sub PS : lvalue';
114 @attrs = eval 'attributes::get \&A::PS';
115 is "@attrs", "lvalue";
116
117 # Test ability to modify existing sub's (or XSUB's) attributes.
118 eval 'package A; sub X { $_[0] } sub X : lvalue';
119 @attrs = eval 'attributes::get \&A::X';
120 is "@attrs", "lvalue";
121
122 # Above not with just 'pure' built-in attributes.
123 sub Z::MODIFY_CODE_ATTRIBUTES { (); }
124 eval 'package Z; sub L { $_[0] } sub L : Z lvalue';
125 @attrs = eval 'attributes::get \&Z::L';
126 is "@attrs", "lvalue Z";
127
128 # Begin testing attributes that tie
129
130 {
131     package Ttie;
132     sub DESTROY {}
133     sub TIESCALAR { my $x = $_[1]; bless \$x, $_[0]; }
134     sub FETCH { ${$_[0]} }
135     sub STORE {
136         ::pass;
137         ${$_[0]} = $_[1]*2;
138     }
139     package Tloop;
140     sub MODIFY_SCALAR_ATTRIBUTES { tie ${$_[1]}, 'Ttie', -1; (); }
141 }
142
143 eval_ok '
144     package Tloop;
145     for my $i (0..2) {
146         my $x : TieLoop = $i;
147         $x != $i*2 and ::is $x, $i*2;
148     }
149 ';
150
151 # bug #15898
152 eval 'our ${""} : foo = 1';
153 like $@, qr/Can't declare scalar dereference in "our"/;
154 eval 'my $$foo : bar = 1';
155 like $@, qr/Can't declare scalar dereference in "my"/;
156
157
158 my @code = qw(lvalue method);
159 my @other = qw(shared);
160 my @deprecated = qw(locked unique);
161 my %valid;
162 $valid{CODE} = {map {$_ => 1} @code};
163 $valid{SCALAR} = {map {$_ => 1} @other};
164 $valid{ARRAY} = $valid{HASH} = $valid{SCALAR};
165 my %deprecated;
166 $deprecated{CODE} = { locked => 1 };
167 $deprecated{ARRAY} = $deprecated{HASH} = $deprecated{SCALAR} = { unique => 1 };
168
169 our ($scalar, @array, %hash);
170 foreach my $value (\&foo, \$scalar, \@array, \%hash) {
171     my $type = ref $value;
172     foreach my $negate ('', '-') {
173         foreach my $attr (@code, @other, @deprecated) {
174             my $attribute = $negate . $attr;
175             eval "use attributes __PACKAGE__, \$value, '$attribute'";
176             if ($deprecated{$type}{$attr}) {
177                 like $@, qr/^Attribute "$attr" is deprecated at \(eval \d+\)/,
178                     "$type attribute $attribute deprecated";
179             } elsif ($valid{$type}{$attr}) {
180                 if ($attribute eq '-shared') {
181                     like $@, qr/^A variable may not be unshared/;
182                 } else {
183                     is( $@, '', "$type attribute $attribute");
184                 }
185             } else {
186                 like $@, qr/^Invalid $type attribute: $attribute/,
187                     "Bogus $type attribute $attribute should fail";
188             }
189         }
190     }
191 }
192
193 # this will segfault if it fails
194 sub PVBM () { 'foo' }
195 { my $dummy = index 'foo', PVBM }
196
197 ok !defined(attributes::get(\PVBM)), 
198     'PVBMs don\'t segfault attributes::get';
199
200 # Test that code attributes always get applied to the same CV that
201 # we're left with at the end (bug#66970).
202 {
203         package bug66970;
204         our $c;
205         sub MODIFY_CODE_ATTRIBUTES { $c = $_[1]; () }
206         $c=undef; eval 'sub t0 :Foo';
207         main::ok $c == \&{"t0"};
208         $c=undef; eval 'sub t1 :Foo { }';
209         main::ok $c == \&{"t1"};
210         $c=undef; eval 'sub t2';
211         our $t2a = \&{"t2"};
212         $c=undef; eval 'sub t2 :Foo';
213         main::ok $c == \&{"t2"} && $c == $t2a;
214         $c=undef; eval 'sub t3';
215         our $t3a = \&{"t3"};
216         $c=undef; eval 'sub t3 :Foo { }';
217         main::ok $c == \&{"t3"} && $c == $t3a;
218         $c=undef; eval 'sub t4 :Foo';
219         our $t4a = \&{"t4"};
220         our $t4b = $c;
221         $c=undef; eval 'sub t4 :Foo';
222         main::ok $c == \&{"t4"} && $c == $t4b && $c == $t4a;
223         $c=undef; eval 'sub t5 :Foo';
224         our $t5a = \&{"t5"};
225         our $t5b = $c;
226         $c=undef; eval 'sub t5 :Foo { }';
227         main::ok $c == \&{"t5"} && $c == $t5b && $c == $t5a;
228 }