8 sub a : lvalue { my $a = 34; bless \$a } # Return a temporary
9 sub b : lvalue { shift }
11 my $out = a(b()); # Check that temporaries are allowed.
12 print "# `$out'\nnot " unless ref $out eq 'main'; # Not reached if error.
15 my @out = grep /main/, a(b()); # Check that temporaries are allowed.
16 print "# `@out'\nnot " unless @out==1; # Not reached if error.
21 # Check that we can return localized values from subroutines:
23 sub in : lvalue { $in = shift; }
24 sub neg : lvalue { #(num_str) return num_str
32 print "# `$in'\nnot " unless $in eq '-2';
35 sub get_lex : lvalue { $in }
36 sub get_st : lvalue { $blah }
37 sub id : lvalue { shift }
38 sub id1 : lvalue { $_[0] }
39 sub inc : lvalue { ++$_[0] }
46 print "# `$blah' ne 7\nnot " unless $blah eq 7;
51 print "# `$in' ne 7\nnot " unless $in eq 7;
56 print "# `$blah' ne 8\nnot " unless $blah eq 8;
61 print "# `$in' ne 8\nnot " unless $in eq 8;
66 print "# `$blah' ne 10\nnot " unless $blah eq 10;
71 print "# `$in' ne 10\nnot " unless $in eq 10;
76 print "# `$blah' ne 11\nnot " unless $blah eq 11;
81 print "# `$in' ne 11\nnot " unless $in eq 11;
86 print "# `$blah' ne 20\nnot " unless $blah eq 20;
91 print "# `$in' ne 20\nnot " unless $in eq 20;
96 print "# `$blah' ne 21\nnot " unless $blah eq 21;
101 print "# `$in' ne 21\nnot " unless $in eq 21;
106 print "# `$blah' ne 22\nnot " unless $blah eq 22;
111 print "# `$in' ne 22\nnot " unless $in eq 22;
116 print "# `$blah' ne 23\nnot " unless $blah eq 23;
121 print "# `$in' ne 23\nnot " unless $in eq 23;
124 ++inc(id1(id(get_st)));
126 print "# `$blah' ne 25\nnot " unless $blah eq 25;
129 ++inc(id1(id(get_lex)));
131 print "# `$in' ne 25\nnot " unless $in eq 25;
136 $#c = 3; # These slots are not fillable.
138 # Explanation: empty slots contain &sv_undef.
140 =for disabled constructs
148 eval <<'EOE' or $_ = $@;
149 ($x, a3, $y, b2, $z, c4, $t) = (34 .. 78);
153 #@out = ($x, a3, $y, b2, $z, c4, $t);
154 #@in = (34 .. 41, (undef) x 4, 46);
155 #print "# `@out' ne `@in'\nnot " unless "@out" eq "@in";
157 print "# '$_'.\nnot "
158 unless /Can\'t return an uninitialized value from lvalue subroutine/;
165 sub a::var : lvalue { $var }
169 print "# `$var' ne 45\nnot " unless $var eq 45;
173 $o = bless \$oo, "a";
177 print "# `$var' ne 47\nnot " unless $var eq 47;
180 sub o : lvalue { $o }
184 print "# `$var' ne 49\nnot " unless $var eq 49;
187 sub nolv () { $x0, $x1 } # Not lvalue
191 eval <<'EOE' or $_ = $@;
197 unless /Can\'t modify non-lvalue subroutine call in scalar assignment/;
202 eval <<'EOE' or $_ = $@;
208 unless /Can\'t modify non-lvalue subroutine call in scalar assignment/;
213 eval <<'EOE' or $_ = $@;
219 unless /Can\'t modify non-lvalue subroutine call in scalar assignment/;
222 $x0 = $x1 = $_ = undef;
225 eval <<'EOE' or $_ = $@;
226 $nolv->() = (2,3) if $_;
230 print "# '$_', '$x0', '$x1'.\nnot " if defined $_;
233 $x0 = $x1 = $_ = undef;
236 eval <<'EOE' or $_ = $@;
241 print "# '$_', '$x0', '$x1'.\nnot "
242 unless /Can\'t modify non-lvalue subroutine call/;
245 sub lv0 : lvalue { } # Converted to lv10 in scalar context
248 eval <<'EOE' or $_ = $@;
253 print "# '$_'.\nnot "
254 unless /Can\'t return a readonly value from lvalue subroutine/;
260 eval <<'EOE' or $_ = $@;
265 print "# '$_'.\nnot " if defined $_;
268 sub lv1u :lvalue { undef }
271 eval <<'EOE' or $_ = $@;
276 print "# '$_'.\nnot "
277 unless /Can\'t return a readonly value from lvalue subroutine/;
281 eval <<'EOE' or $_ = $@;
286 print "# '$_'.\nnot "
287 unless /Can\'t return an uninitialized value from lvalue subroutine/;
291 sub lv1t : lvalue { index $x, 2 }
294 eval <<'EOE' or $_ = $@;
299 print "# '$_'.\nnot "
300 unless /Can\'t return a temporary from lvalue subroutine/;
304 eval <<'EOE' or $_ = $@;
309 print "# '$_'.\nnot "
310 unless /Can\'t return a temporary from lvalue subroutine/;
314 sub xxx () { $xxx } # Not lvalue
315 sub lv1tmp : lvalue { xxx } # is it a TEMP?
318 eval <<'EOE' or $_ = $@;
323 print "# '$_'.\nnot "
324 unless /Can\'t return a temporary from lvalue subroutine/;
328 eval <<'EOE' or $_ = $@;
333 print "# '$_'.\nnot "
334 unless /Can\'t return a temporary from lvalue subroutine/;
337 sub yyy () { 'yyy' } # Const, not lvalue
338 sub lv1tmpr : lvalue { yyy } # is it read-only?
341 eval <<'EOE' or $_ = $@;
346 print "# '$_'.\nnot "
347 unless /Can\'t return a readonly value from lvalue subroutine/;
351 eval <<'EOE' or $_ = $@;
356 print "# '$_'.\nnot "
357 unless /Can\'t return a readonly value from lvalue subroutine/;
360 =for disabled constructs
362 sub lva : lvalue {@a}
367 eval <<'EOE' or $_ = $@;
372 print "# '$_'.\nnot "
373 unless /Can\'t return an uninitialized value from lvalue subroutine/;
380 eval <<'EOE' or $_ = $@;
385 print "# '$_'.\nnot " unless "'@a' $_" eq "'2 3' ";
392 eval <<'EOE' or $_ = $@;
397 print "# '$_'.\nnot " unless "'@a' $_" eq "'2 3' ";
402 print "ok $_\n" for 41..43;
404 sub lv1n : lvalue { $newvar }
407 eval <<'EOE' or $_ = $@;
412 print "# '$_', '$newvar'.\nnot " unless "'$newvar' $_" eq "'4' ";
415 sub lv1nn : lvalue { $nnewvar }
418 eval <<'EOE' or $_ = $@;
423 print "# '$_'.\nnot " unless "'$nnewvar' $_" eq "'3' ";
428 print "# '$nnewvar'.\nnot " unless $nnewvar eq '8';
431 # This must happen at run time
433 sub AUTOLOAD : lvalue { $newvar };
436 print "# '$newvar'.\nnot " unless $newvar eq "12";