print "1..67\n"; BEGIN { chdir 't' if -d 't'; @INC = '../lib'; } sub a : lvalue { my $a = 34; ${\(bless \$a)} } # Return a temporary sub b : lvalue { ${\shift} } my $out = a(b()); # Check that temporaries are allowed. print "# `$out'\nnot " unless ref $out eq 'main'; # Not reached if error. print "ok 1\n"; my @out = grep /main/, a(b()); # Check that temporaries are allowed. print "# `@out'\nnot " unless @out==1; # Not reached if error. print "ok 2\n"; my $in; # Check that we can return localized values from subroutines: sub in : lvalue { $in = shift; } sub neg : lvalue { #(num_str) return num_str local $_ = shift; s/^\+/-/; $_; } in(neg("+2")); print "# `$in'\nnot " unless $in eq '-2'; print "ok 3\n"; sub get_lex : lvalue { $in } sub get_st : lvalue { $blah } sub id : lvalue { ${\shift} } sub id1 : lvalue { $_[0] } sub inc : lvalue { ${\++$_[0]} } $in = 5; $blah = 3; get_st = 7; print "# `$blah' ne 7\nnot " unless $blah == 7; print "ok 4\n"; get_lex = 7; print "# `$in' ne 7\nnot " unless $in == 7; print "ok 5\n"; ++get_st; print "# `$blah' ne 8\nnot " unless $blah == 8; print "ok 6\n"; ++get_lex; print "# `$in' ne 8\nnot " unless $in == 8; print "ok 7\n"; id(get_st) = 10; print "# `$blah' ne 10\nnot " unless $blah == 10; print "ok 8\n"; id(get_lex) = 10; print "# `$in' ne 10\nnot " unless $in == 10; print "ok 9\n"; ++id(get_st); print "# `$blah' ne 11\nnot " unless $blah == 11; print "ok 10\n"; ++id(get_lex); print "# `$in' ne 11\nnot " unless $in == 11; print "ok 11\n"; id1(get_st) = 20; print "# `$blah' ne 20\nnot " unless $blah == 20; print "ok 12\n"; id1(get_lex) = 20; print "# `$in' ne 20\nnot " unless $in == 20; print "ok 13\n"; ++id1(get_st); print "# `$blah' ne 21\nnot " unless $blah == 21; print "ok 14\n"; ++id1(get_lex); print "# `$in' ne 21\nnot " unless $in == 21; print "ok 15\n"; inc(get_st); print "# `$blah' ne 22\nnot " unless $blah == 22; print "ok 16\n"; inc(get_lex); print "# `$in' ne 22\nnot " unless $in == 22; print "ok 17\n"; inc(id(get_st)); print "# `$blah' ne 23\nnot " unless $blah == 23; print "ok 18\n"; inc(id(get_lex)); print "# `$in' ne 23\nnot " unless $in == 23; print "ok 19\n"; ++inc(id1(id(get_st))); print "# `$blah' ne 25\nnot " unless $blah == 25; print "ok 20\n"; ++inc(id1(id(get_lex))); print "# `$in' ne 25\nnot " unless $in == 25; print "ok 21\n"; @a = (1) x 3; @b = (undef) x 2; $#c = 3; # These slots are not fillable. # Explanation: empty slots contain &sv_undef. =for disabled constructs sub a3 :lvalue {@a} sub b2 : lvalue {@b} sub c4: lvalue {@c} $_ = ''; eval <<'EOE' or $_ = $@; ($x, a3, $y, b2, $z, c4, $t) = (34 .. 78); 1; EOE #@out = ($x, a3, $y, b2, $z, c4, $t); #@in = (34 .. 41, (undef) x 4, 46); #print "# `@out' ne `@in'\nnot " unless "@out" eq "@in"; print "# '$_'.\nnot " unless /Can\'t return an uninitialized value from lvalue subroutine/; =cut print "ok 22\n"; my $var; sub a::var : lvalue { $var } "a"->var = 45; print "# `$var' ne 45\nnot " unless $var == 45; print "ok 23\n"; my $oo; $o = bless \$oo, "a"; $o->var = 47; print "# `$var' ne 47\nnot " unless $var == 47; print "ok 24\n"; sub o : lvalue { $o } o->var = 49; print "# `$var' ne 49\nnot " unless $var == 49; print "ok 25\n"; sub nolv () { $x0, $x1 } # Not lvalue $_ = ''; eval <<'EOE' or $_ = $@; nolv = (2,3); 1; EOE print "not " unless /Can\'t modify non-lvalue subroutine call in scalar assignment/; print "ok 26\n"; $_ = ''; eval <<'EOE' or $_ = $@; nolv = (2,3) if $_; 1; EOE print "not " unless /Can\'t modify non-lvalue subroutine call in scalar assignment/; print "ok 27\n"; $_ = ''; eval <<'EOE' or $_ = $@; &nolv = (2,3) if $_; 1; EOE print "not " unless /Can\'t modify non-lvalue subroutine call in scalar assignment/; print "ok 28\n"; $x0 = $x1 = $_ = undef; $nolv = \&nolv; eval <<'EOE' or $_ = $@; $nolv->() = (2,3) if $_; 1; EOE print "# '$_', '$x0', '$x1'.\nnot " if defined $_; print "ok 29\n"; $x0 = $x1 = $_ = undef; $nolv = \&nolv; eval <<'EOE' or $_ = $@; $nolv->() = (2,3); 1; EOE print "# '$_', '$x0', '$x1'.\nnot " unless /Can\'t modify non-lvalue subroutine call/; print "ok 30\n"; sub lv0 : lvalue { } # Converted to lv10 in scalar context $_ = undef; eval <<'EOE' or $_ = $@; lv0 = (2,3); 1; EOE print "# '$_'.\nnot " unless /Empty array returned from lvalue subroutine in scalar context/; print "ok 31\n"; sub lv10 : lvalue {} $_ = undef; eval <<'EOE' or $_ = $@; (lv0) = (2,3); 1; EOE print "# '$_'.\nnot " if defined $_; print "ok 32\n"; sub lv1u :lvalue { undef } $_ = undef; eval <<'EOE' or $_ = $@; lv1u = (2,3); 1; EOE print "# '$_'.\nnot " unless /Can\'t return a readonly value from lvalue subroutine/; print "ok 33\n"; $_ = undef; eval <<'EOE' or $_ = $@; (lv1u) = (2,3); 1; EOE # Fixed by change @10777 #print "# '$_'.\nnot " # unless /Can\'t return an uninitialized value from lvalue subroutine/; print "ok 34 # Skip: removed test\n"; $x = '1234567'; $_ = undef; eval <<'EOE' or $_ = $@; sub lv1t : lvalue { index $x, 2 } lv1t = (2,3); 1; EOE print "# '$_'.\nnot " unless /Can\'t modify index in lvalue subroutine return/; print "ok 35\n"; $_ = undef; eval <<'EOE' or $_ = $@; sub lv2t : lvalue { shift } (lv2t) = (2,3); 1; EOE print "# '$_'.\nnot " unless /Can\'t modify shift in lvalue subroutine return/; print "ok 36\n"; $xxx = 'xxx'; sub xxx () { $xxx } # Not lvalue $_ = undef; eval <<'EOE' or $_ = $@; sub lv1tmp : lvalue { xxx } # is it a TEMP? lv1tmp = (2,3); 1; EOE print "# '$_'.\nnot " unless /Can\'t modify non-lvalue subroutine call in lvalue subroutine return/; print "ok 37\n"; $_ = undef; eval <<'EOE' or $_ = $@; (lv1tmp) = (2,3); 1; EOE print "# '$_'.\nnot " unless /Can\'t return a temporary from lvalue subroutine/; print "ok 38\n"; sub yyy () { 'yyy' } # Const, not lvalue $_ = undef; eval <<'EOE' or $_ = $@; sub lv1tmpr : lvalue { yyy } # is it read-only? lv1tmpr = (2,3); 1; EOE print "# '$_'.\nnot " unless /Can\'t modify constant item in lvalue subroutine return/; print "ok 39\n"; $_ = undef; eval <<'EOE' or $_ = $@; (lv1tmpr) = (2,3); 1; EOE print "# '$_'.\nnot " unless /Can\'t return a readonly value from lvalue subroutine/; print "ok 40\n"; sub lva : lvalue {@a} $_ = undef; @a = (); $a[1] = 12; eval <<'EOE' or $_ = $@; (lva) = (2,3); 1; EOE print "# '$_'.\nnot " unless "'@a' $_" eq "'2 3' "; print "ok 41\n"; $_ = undef; @a = (); $a[0] = undef; $a[1] = 12; eval <<'EOE' or $_ = $@; (lva) = (2,3); 1; EOE print "# '$_'.\nnot " unless "'@a' $_" eq "'2 3' "; print "ok 42\n"; $_ = undef; @a = (); $a[0] = undef; $a[1] = 12; eval <<'EOE' or $_ = $@; (lva) = (2,3); 1; EOE print "# '$_'.\nnot " unless "'@a' $_" eq "'2 3' "; print "ok 43\n"; sub lv1n : lvalue { $newvar } $_ = undef; eval <<'EOE' or $_ = $@; lv1n = (3,4); 1; EOE print "# '$_', '$newvar'.\nnot " unless "'$newvar' $_" eq "'4' "; print "ok 44\n"; sub lv1nn : lvalue { $nnewvar } $_ = undef; eval <<'EOE' or $_ = $@; (lv1nn) = (3,4); 1; EOE print "# '$_'.\nnot " unless "'$nnewvar' $_" eq "'3' "; print "ok 45\n"; $a = \&lv1nn; $a->() = 8; print "# '$nnewvar'.\nnot " unless $nnewvar eq '8'; print "ok 46\n"; # This must happen at run time eval { sub AUTOLOAD : lvalue { $newvar }; }; foobar() = 12; print "# '$newvar'.\nnot " unless $newvar eq "12"; print "ok 47\n"; print "ok 48 # Skip: removed test\n"; print "ok 49 # Skip: removed test\n"; { my %hash; my @array; sub alv : lvalue { $array[1] } sub alv2 : lvalue { $array[$_[0]] } sub hlv : lvalue { $hash{"foo"} } sub hlv2 : lvalue { $hash{$_[0]} } $array[1] = "not ok 51\n"; alv() = "ok 50\n"; print alv(); alv2(20) = "ok 51\n"; print $array[20]; $hash{"foo"} = "not ok 52\n"; hlv() = "ok 52\n"; print $hash{foo}; $hash{bar} = "not ok 53\n"; hlv("bar") = "ok 53\n"; print hlv("bar"); sub array : lvalue { @array } sub array2 : lvalue { @array2 } # This is a global. sub hash : lvalue { %hash } sub hash2 : lvalue { %hash2 } # So's this. @array2 = qw(foo bar); %hash2 = qw(foo bar); (array()) = qw(ok 54); print "not " unless "@array" eq "ok 54"; print "ok 54\n"; (array2()) = qw(ok 55); print "not " unless "@array2" eq "ok 55"; print "ok 55\n"; (hash()) = qw(ok 56); print "not " unless $hash{ok} == 56; print "ok 56\n"; (hash2()) = qw(ok 57); print "not " unless $hash2{ok} == 57; print "ok 57\n"; @array = qw(a b c d); sub aslice1 : lvalue { @array[0,2] }; (aslice1()) = ("ok", "already"); print "# @array\nnot " unless "@array" eq "ok b already d"; print "ok 58\n"; @array2 = qw(a B c d); sub aslice2 : lvalue { @array2[0,2] }; (aslice2()) = ("ok", "already"); print "not " unless "@array2" eq "ok B already d"; print "ok 59\n"; %hash = qw(a Alpha b Beta c Gamma); sub hslice : lvalue { @hash{"c", "b"} } (hslice()) = ("CISC", "BogoMIPS"); print "not " unless join("/",@hash{"c","a","b"}) eq "CISC/Alpha/BogoMIPS"; print "ok 60\n"; } $str = "Hello, world!"; sub sstr : lvalue { substr($str, 1, 4) } sstr() = "i"; print "not " unless $str eq "Hi, world!"; print "ok 61\n"; $str = "Made w/ JavaScript"; sub veclv : lvalue { vec($str, 2, 32) } if (ord('A') != 193) { veclv() = 0x5065726C; } else { # EBCDIC? veclv() = 0xD7859993; } print "# $str\nnot " unless $str eq "Made w/ PerlScript"; print "ok 62\n"; sub position : lvalue { pos } @p = (); $_ = "fee fi fo fum"; while (/f/g) { push @p, position; position() += 6; } print "# @p\nnot " unless "@p" eq "1 8"; print "ok 63\n"; # Bug 20001223.002: split thought that the list had only one element @ary = qw(4 5 6); sub lval1 : lvalue { $ary[0]; } sub lval2 : lvalue { $ary[1]; } (lval1(), lval2()) = split ' ', "1 2 3 4"; print "not " unless join(':', @ary) eq "1:2:6"; print "ok 64\n"; require './test.pl'; curr_test(65); TODO: { local $TODO = 'test explicit return of lval expr'; # subs are corrupted copies from tests 1-~4 sub bad_get_lex : lvalue { return $in }; sub bad_get_st : lvalue { return $blah } sub bad_id : lvalue { return ${\shift} } sub bad_id1 : lvalue { return $_[0] } sub bad_inc : lvalue { return ${\++$_[0]} } $in = 5; $blah = 3; bad_get_st = 7; is( $blah, 7 ); bad_get_lex = 7; is($in, 7, "yada"); ++bad_get_st; is($blah, 8, "yada"); }