X-Git-Url: https://perl5.git.perl.org/perl5.git/blobdiff_plain/abc667d141be9d100fa9e0402f7809147d1f69b9..c9de86d555b2cc844acfe134ffe61228163a50ea:/t/comp/parser.t diff --git a/t/comp/parser.t b/t/comp/parser.t index b50d8af..6cbba9b 100644 --- a/t/comp/parser.t +++ b/t/comp/parser.t @@ -3,13 +3,52 @@ # Checks if the parser behaves correctly in edge cases # (including weird syntax errors) -BEGIN { - chdir 't' if -d 't'; - @INC = '../lib'; +print "1..104\n"; + +sub failed { + my ($got, $expected, $name) = @_; + + print "not ok $test - $name\n"; + my @caller = caller(1); + print "# Failed test at $caller[1] line $caller[2]\n"; + if (defined $got) { + print "# Got '$got'\n"; + } else { + print "# Got undef\n"; + } + print "# Expected $expected\n"; + return; } -require "./test.pl"; -plan( tests => 37 ); +sub like { + my ($got, $pattern, $name) = @_; + $test = $test + 1; + if (defined $got && $got =~ $pattern) { + print "ok $test - $name\n"; + # Principle of least surprise - maintain the expected interface, even + # though we aren't using it here (yet). + return 1; + } + failed($got, $pattern, $name); +} + +sub is { + my ($got, $expect, $name) = @_; + $test = $test + 1; + if (defined $expect) { + if (defined $got && $got eq $expect) { + print "ok $test - $name\n"; + return 1; + } + failed($got, "'$expect'", $name); + } else { + if (!defined $got) { + print "ok $test - $name\n"; + return 1; + } + failed($got, 'undef', $name); + } +} eval '%@x=0;'; like( $@, qr/^Can't modify hash dereference in repeat \(x\)/, '%@x=0' ); @@ -23,6 +62,13 @@ eval q/"\x{"/; like( $@, qr/^Missing right brace on \\x/, 'syntax error in string, used to dump core' ); +eval q/"\N{"/; +like( $@, qr/^Missing right brace on \\N/, + 'syntax error in string with incomplete \N' ); +eval q/"\Nfoo"/; +like( $@, qr/^Missing braces on \\N/, + 'syntax error in string with incomplete \N' ); + eval "a.b.c.d.e.f;sub"; like( $@, qr/^Illegal declaration of anonymous subroutine/, 'found by Markov chain stress testing' ); @@ -52,6 +98,9 @@ like( $@, qr/error/, 'lexical block discarded by yacc' ); eval q{ "\c" }; like( $@, qr/^Missing control char name in \\c/, q("\c" string) ); +eval q{ qq(foo$) }; +like( $@, qr/Final \$ should be \\\$ or \$name/, q($ at end of "" string) ); + # two tests for memory corruption problems in the said variables # (used to dump core or produce strange results) @@ -89,6 +138,9 @@ ${a}{ ${a}[ @{b}{ ${a}{ } +eval q{ sub a(;; &) { } a { } }; +is($@, '', "';&' sub prototype confuses the lexer"); + # Bug #21575 # ensure that the second print statement works, by playing a bit # with the test output. @@ -96,7 +148,8 @@ my %data = ( foo => "\n" ); print "#"; print( $data{foo}); -pass(); +$test = $test + 1; +print "ok $test\n"; # Bug #21875 # { q.* => ... } should be interpreted as hash, not block @@ -114,6 +167,212 @@ EOF { my ($expect, $eval) = split / /, $line, 2; my $result = eval $eval; - ok($@ eq '', "eval $eval"); + is($@, '', "eval $eval"); is(ref $result, $expect ? 'HASH' : '', $eval); } + +# Bug #24212 +{ + local $SIG{__WARN__} = sub { }; # silence mandatory warning + eval q{ my $x = -F 1; }; + like( $@, qr/(?i:syntax|parse) error .* near "F 1"/, "unknown filetest operators" ); + is( + eval q{ sub F { 42 } -F 1 }, + '-42', + '-F calls the F function' + ); +} + +# Bug #24762 +{ + eval q{ *foo{CODE} ? 1 : 0 }; + is( $@, '', "glob subscript in conditional" ); +} + +# Bug #25824 +{ + eval q{ sub f { @a=@b=@c; {use} } }; + like( $@, qr/syntax error/, "use without body" ); +} + +# [perl #2738] perl segfautls on input +{ + eval q{ sub _ <> {} }; + like($@, qr/Illegal declaration of subroutine main::_/, "readline operator as prototype"); + + eval q{ $s = sub <> {} }; + like($@, qr/Illegal declaration of anonymous subroutine/, "readline operator as prototype"); + + eval q{ sub _ __FILE__ {} }; + like($@, qr/Illegal declaration of subroutine main::_/, "__FILE__ as prototype"); +} + +# tests for "Bad name" +eval q{ foo::$bar }; +like( $@, qr/Bad name after foo::/, 'Bad name after foo::' ); +eval q{ foo''bar }; +like( $@, qr/Bad name after foo'/, 'Bad name after foo\'' ); + +# test for ?: context error +eval q{($a ? $x : ($y)) = 5}; +like( $@, qr/Assignment to both a list and a scalar/, 'Assignment to both a list and a scalar' ); + +eval q{ s/x/#/e }; +is( $@, '', 'comments in s///e' ); + +# these five used to coredump because the op cleanup on parse error could +# be to the wrong pad + +eval q[ + sub { our $a= 1;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a; + sub { my $z +]; + +like($@, qr/Missing right curly/, 'nested sub syntax error' ); + +eval q[ + sub { my ($a,$b,$c,$d,$e,$f,$g,$h,$i,$j,$k,$l,$m,$n,$o,$p,$q,$r,$s,$r); + sub { my $z +]; +like($@, qr/Missing right curly/, 'nested sub syntax error 2' ); + +eval q[ + sub { our $a= 1;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a; + use DieDieDie; +]; + +like($@, qr/Can't locate DieDieDie.pm/, 'croak cleanup' ); + +eval q[ + sub { my ($a,$b,$c,$d,$e,$f,$g,$h,$i,$j,$k,$l,$m,$n,$o,$p,$q,$r,$s,$r); + use DieDieDie; +]; + +like($@, qr/Can't locate DieDieDie.pm/, 'croak cleanup 2' ); + + +eval q[ + my @a; + my ($a,$b,$c,$d,$e,$f,$g,$h,$i,$j,$k,$l,$m,$n,$o,$p,$q,$r,$s,$r); + @a =~ s/a/b/; # compile-time error + use DieDieDie; +]; + +like($@, qr/Can't modify/, 'croak cleanup 3' ); + +# these might leak, or have duplicate frees, depending on the bugginess of +# the parser stack 'fail in reduce' cleanup code. They're here mainly as +# something to be run under valgrind, with PERL_DESTRUCT_LEVEL=1. + +eval q[ BEGIN { } ] for 1..10; +is($@, "", 'BEGIN 1' ); + +eval q[ BEGIN { my $x; $x = 1 } ] for 1..10; +is($@, "", 'BEGIN 2' ); + +eval q[ BEGIN { \&foo1 } ] for 1..10; +is($@, "", 'BEGIN 3' ); + +eval q[ sub foo2 { } ] for 1..10; +is($@, "", 'BEGIN 4' ); + +eval q[ sub foo3 { my $x; $x=1 } ] for 1..10; +is($@, "", 'BEGIN 5' ); + +eval q[ BEGIN { die } ] for 1..10; +like($@, qr/BEGIN failed--compilation aborted/, 'BEGIN 6' ); + +eval q[ BEGIN {\&foo4; die } ] for 1..10; +like($@, qr/BEGIN failed--compilation aborted/, 'BEGIN 7' ); + +# Add new tests HERE: + +# More awkward tests for #line. Keep these at the end, as they will screw +# with sane line reporting for any other test failures + +sub check ($$$) { + my ($file, $line, $name) = @_; + my (undef, $got_file, $got_line) = caller; + like ($got_file, $file, "file of $name"); + is ($got_line, $line, "line of $name"); +} + +my $this_file = qr/parser\.t(?:\.[bl]eb?)?$/; +#line 3 +check($this_file, 3, "bare line"); + +# line 5 +check($this_file, 5, "bare line with leading space"); + +#line 7 +check($this_file, 7, "trailing space still valid"); + +# line 11 +check($this_file, 11, "leading and trailing"); + +# line 13 +check($this_file, 13, "leading tab"); + +#line 17 +check($this_file, 17, "middle tab"); + +#line 19 +check($this_file, 19, "loadsaspaces"); + +#line 23 KASHPRITZA +check(qr/^KASHPRITZA$/, 23, "bare filename"); + +#line 29 "KAHEEEE" +check(qr/^KAHEEEE$/, 29, "filename in quotes"); + +#line 31 "CLINK CLOINK BZZT" +check(qr/^CLINK CLOINK BZZT$/, 31, "filename with spaces in quotes"); + +#line 37 "THOOM THOOM" +check(qr/^THOOM THOOM$/, 37, "filename with tabs in quotes"); + +#line 41 "GLINK PLINK GLUNK DINK" +check(qr/^GLINK PLINK GLUNK DINK$/, 41, "a space after the quotes"); + +#line 43 "BBFRPRAFPGHPP +check(qr/^"BBFRPRAFPGHPP$/, 43, "actually missing a quote is still valid"); + +#line 47 bang eth +check(qr/^"BBFRPRAFPGHPP$/, 46, "but spaces aren't allowed without quotes"); + +#line 77sevenseven +check(qr/^"BBFRPRAFPGHPP$/, 49, "need a space after the line number"); + +eval <<'EOSTANZA'; die $@ if $@; +#line 51 "With wonderful deathless ditties|We build up the world's great cities,|And out of a fabulous story|We fashion an empire's glory:|One man with a dream, at pleasure,|Shall go forth and conquer a crown;|And three with a new song's measure|Can trample a kingdom down." +check(qr/^With.*down\.$/, 51, "Overflow the second small buffer check"); +EOSTANZA + +# And now, turn on the debugger flag for long names +$^P = 0x100; + +#line 53 "For we are afar with the dawning|And the suns that are not yet high,|And out of the infinite morning|Intrepid you hear us cry-|How, spite of your human scorning,|Once more God's future draws nigh,|And already goes forth the warning|That ye of the past must die." +check(qr/^For we.*must die\.$/, 53, "Our long line is set up"); + +eval <<'EOT'; die $@ if $@; +#line 59 " " +check(qr/^ $/, 59, "Overflow the first small buffer check only"); +EOT + +eval <<'EOSTANZA'; die $@ if $@; +#line 61 "Great hail! we cry to the comers|From the dazzling unknown shore;|Bring us hither your sun and your summers;|And renew our world as of yore;|You shall teach us your song's new numbers,|And things that we dreamed not before:|Yea, in spite of a dreamer who slumbers,|And a singer who sings no more." +check(qr/^Great hail!.*no more\.$/, 61, "Overflow both small buffer checks"); +EOSTANZA + +{ + my @x = 'string'; + is(eval q{ "$x[0]->strung" }, 'string->strung', + 'literal -> after an array subscript within ""'); + @x = ['string']; + # this used to give "string" + like("$x[0]-> [0]", qr/^ARRAY\([^)]*\)-> \[0]\z/, + 'literal -> [0] after an array subscript within ""'); +} + +__END__ +# Don't add new tests HERE. See note above