t/comp/parser.t

   1 #!./perl
   2
   3 # Checks if the parser behaves correctly in edge cases
   4 # (including weird syntax errors)
   5
   6 print "1..112\n";
   7
   8 sub failed {
   9     my ($got, $expected, $name) = @_;
  10
  11     print "not ok $test - $name\n";
  12     my @caller = caller(1);
  13     print "# Failed test at $caller[1] line $caller[2]\n";
  14     if (defined $got) {
  15         print "# Got '$got'\n";
  16     } else {
  17         print "# Got undef\n";
  18     }
  19     print "# Expected $expected\n";
  20     return;
  21 }
  22
  23 sub like {
  24     my ($got, $pattern, $name) = @_;
  25     $test = $test + 1;
  26     if (defined $got && $got =~ $pattern) {
  27         print "ok $test - $name\n";
  28         # Principle of least surprise - maintain the expected interface, even
  29         # though we aren't using it here (yet).
  30         return 1;
  31     }
  32     failed($got, $pattern, $name);
  33 }
  34
  35 sub is {
  36     my ($got, $expect, $name) = @_;
  37     $test = $test + 1;
  38     if (defined $expect) {
  39         if (defined $got && $got eq $expect) {
  40             print "ok $test - $name\n";
  41             return 1;
  42         }
  43         failed($got, "'$expect'", $name);
  44     } else {
  45         if (!defined $got) {
  46             print "ok $test - $name\n";
  47             return 1;
  48         }
  49         failed($got, 'undef', $name);
  50     }
  51 }
  52
  53 eval '%@x=0;';
  54 like( $@, qr/^Can't modify hash dereference in repeat \(x\)/, '%@x=0' );
  55
  56 # Bug 20010422.005
  57 eval q{{s//${}/; //}};
  58 like( $@, qr/syntax error/, 'syntax error, used to dump core' );
  59
  60 # Bug 20010528.007
  61 eval q/"\x{"/;
  62 like( $@, qr/^Missing right brace on \\x/,
  63     'syntax error in string, used to dump core' );
  64
  65 eval q/"\N{"/;
  66 like( $@, qr/^Missing right brace on \\N/,
  67     'syntax error in string with incomplete \N' );
  68 eval q/"\Nfoo"/;
  69 like( $@, qr/^Missing braces on \\N/,
  70     'syntax error in string with incomplete \N' );
  71
  72 eval "a.b.c.d.e.f;sub";
  73 like( $@, qr/^Illegal declaration of anonymous subroutine/,
  74     'found by Markov chain stress testing' );
  75
  76 # Bug 20010831.001
  77 eval '($a, b) = (1, 2);';
  78 like( $@, qr/^Can't modify constant item in list assignment/,
  79     'bareword in list assignment' );
  80
  81 eval 'tie FOO, "Foo";';
  82 like( $@, qr/^Can't modify constant item in tie /,
  83     'tying a bareword causes a segfault in 5.6.1' );
  84
  85 eval 'undef foo';
  86 like( $@, qr/^Can't modify constant item in undef operator /,
  87     'undefing constant causes a segfault in 5.6.1 [ID 20010906.019]' );
  88
  89 eval 'read($bla, FILE, 1);';
  90 like( $@, qr/^Can't modify constant item in read /,
  91     'read($var, FILE, 1) segfaults on 5.6.1 [ID 20011025.054]' );
  92
  93 # This used to dump core (bug #17920)
  94 eval q{ sub { sub { f1(f2();); my($a,$b,$c) } } };
  95 like( $@, qr/error/, 'lexical block discarded by yacc' );
  96
  97 # bug #18573, used to corrupt memory
  98 eval q{ "\c" };
  99 like( $@, qr/^Missing control char name in \\c/, q("\c" string) );
 100
 101 eval q{ qq(foo$) };
 102 like( $@, qr/Final \$ should be \\\$ or \$name/, q($ at end of "" string) );
 103
 104 # two tests for memory corruption problems in the said variables
 105 # (used to dump core or produce strange results)
 106
 107 is( "\Q\Q\Q\Q\Q\Q\Q\Q\Q\Q\Q\Q\Qa", "a", "PL_lex_casestack" );
 108
 109 eval {
 110 {{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{
 111 {{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{
 112 {{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{{
 113 }}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
 114 }}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
 115 }}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
 116 };
 117 is( $@, '', 'PL_lex_brackstack' );
 118
 119 {
 120     # tests for bug #20716
 121     undef $a;
 122     undef @b;
 123     my $a="A";
 124     is("${a}{", "A{", "interpolation, qq//");
 125     is("${a}[", "A[", "interpolation, qq//");
 126     my @b=("B");
 127     is("@{b}{", "B{", "interpolation, qq//");
 128     is(qr/${a}{/, '(?-xism:A{)', "interpolation, qr//");
 129     my $c = "A{";
 130     $c =~ /${a}{/;
 131     is($&, 'A{', "interpolation, m//");
 132     $c =~ s/${a}{/foo/;
 133     is($c, 'foo', "interpolation, s/...//");
 134     $c =~ s/foo/${a}{/;
 135     is($c, 'A{', "interpolation, s//.../");
 136     is(<<"${a}{", "A{ A[ B{\n", "interpolation, here doc");
 137 ${a}{ ${a}[ @{b}{
 138 ${a}{
 139 }
 140
 141 eval q{ sub a(;; &) { } a { } };
 142 is($@, '', "';&' sub prototype confuses the lexer");
 143
 144 # Bug #21575
 145 # ensure that the second print statement works, by playing a bit
 146 # with the test output.
 147 my %data = ( foo => "\n" );
 148 print "#";
 149 print(
 150 $data{foo});
 151 $test = $test + 1;
 152 print "ok $test\n";
 153
 154 # Bug #21875
 155 # { q.* => ... } should be interpreted as hash, not block
 156
 157 foreach my $line (split /\n/, <<'EOF')
 158 1 { foo => 'bar' }
 159 1 { qoo => 'bar' }
 160 1 { q   => 'bar' }
 161 1 { qq  => 'bar' }
 162 0 { q,'bar', }
 163 0 { q=bar= }
 164 0 { qq=bar= }
 165 1 { q=bar= => 'bar' }
 166 EOF
 167 {
 168     my ($expect, $eval) = split / /, $line, 2;
 169     my $result = eval $eval;
 170     is($@, '', "eval $eval");
 171     is(ref $result, $expect ? 'HASH' : '', $eval);
 172 }
 173
 174 # Bug #24212
 175 {
 176     local $SIG{__WARN__} = sub { }; # silence mandatory warning
 177     eval q{ my $x = -F 1; };
 178     like( $@, qr/(?i:syntax|parse) error .* near "F 1"/, "unknown filetest operators" );
 179     is(
 180         eval q{ sub F { 42 } -F 1 },
 181         '-42',
 182         '-F calls the F function'
 183     );
 184 }
 185
 186 # Bug #24762
 187 {
 188     eval q{ *foo{CODE} ? 1 : 0 };
 189     is( $@, '', "glob subscript in conditional" );
 190 }
 191
 192 # Bug #25824
 193 {
 194     eval q{ sub f { @a=@b=@c;  {use} } };
 195     like( $@, qr/syntax error/, "use without body" );
 196 }
 197
 198 # Bug #27024
 199 {
 200     # this used to segfault (because $[=1 is optimized away to a null block)
 201     my $x;
 202     $[ = 1 while $x;
 203     $test = $test + 1;
 204     print "ok $test\n";
 205     $[ = 0; # restore the original value for less side-effects
 206 }
 207
 208 # [perl #2738] perl segfautls on input
 209 {
 210     eval q{ sub _ <> {} };
 211     like($@, qr/Illegal declaration of subroutine main::_/, "readline operator as prototype");
 212
 213     eval q{ $s = sub <> {} };
 214     like($@, qr/Illegal declaration of anonymous subroutine/, "readline operator as prototype");
 215
 216     eval q{ sub _ __FILE__ {} };
 217     like($@, qr/Illegal declaration of subroutine main::_/, "__FILE__ as prototype");
 218 }
 219
 220 # [perl #36313] perl -e "1for$[=0" crash
 221 {
 222     my $x;
 223     $x = 1 for ($[) = 0;
 224     $test = $test + 1;
 225     print "ok $test - optimized assignment to \$[ used to segfault in list context\n";
 226     if ($[ = 0) { $x = 1 }
 227     $test = $test + 1;
 228     print "ok $test - optimized assignment to \$[ used to segfault in scalar context\n";
 229     $x = ($[=2.4);
 230     is($x, 2, 'scalar assignment to $[ behaves like other variables');
 231     $x = (($[) = 0);
 232     is($x, 1, 'list assignment to $[ behaves like other variables');
 233     $x = eval q{ ($[, $x) = (0) };
 234     like($@, qr/That use of \$\[ is unsupported/,
 235              'cannot assign to $[ in a list');
 236     eval q{ ($[) = (0, 1) };
 237     like($@, qr/That use of \$\[ is unsupported/,
 238              'cannot assign list of >1 elements to $[');
 239     eval q{ ($[) = () };
 240     like($@, qr/That use of \$\[ is unsupported/,
 241              'cannot assign list of <1 elements to $[');
 242 }
 243
 244 # tests for "Bad name"
 245 eval q{ foo::$bar };
 246 like( $@, qr/Bad name after foo::/, 'Bad name after foo::' );
 247 eval q{ foo''bar };
 248 like( $@, qr/Bad name after foo'/, 'Bad name after foo\'' );
 249
 250 # test for ?: context error
 251 eval q{($a ? $x : ($y)) = 5};
 252 like( $@, qr/Assignment to both a list and a scalar/, 'Assignment to both a list and a scalar' );
 253
 254 eval q{ s/x/#/e };
 255 is( $@, '', 'comments in s///e' );
 256
 257 # these five used to coredump because the op cleanup on parse error could
 258 # be to the wrong pad
 259
 260 eval q[
 261     sub { our $a= 1;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;
 262             sub { my $z
 263 ];
 264
 265 like($@, qr/Missing right curly/, 'nested sub syntax error' );
 266
 267 eval q[
 268     sub { my ($a,$b,$c,$d,$e,$f,$g,$h,$i,$j,$k,$l,$m,$n,$o,$p,$q,$r,$s,$r);
 269             sub { my $z
 270 ];
 271 like($@, qr/Missing right curly/, 'nested sub syntax error 2' );
 272
 273 eval q[
 274     sub { our $a= 1;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;$a;
 275             use DieDieDie;
 276 ];
 277
 278 like($@, qr/Can't locate DieDieDie.pm/, 'croak cleanup' );
 279
 280 eval q[
 281     sub { my ($a,$b,$c,$d,$e,$f,$g,$h,$i,$j,$k,$l,$m,$n,$o,$p,$q,$r,$s,$r);
 282             use DieDieDie;
 283 ];
 284
 285 like($@, qr/Can't locate DieDieDie.pm/, 'croak cleanup 2' );
 286
 287
 288 eval q[
 289     my @a;
 290     my ($a,$b,$c,$d,$e,$f,$g,$h,$i,$j,$k,$l,$m,$n,$o,$p,$q,$r,$s,$r);
 291     @a =~ s/a/b/; # compile-time error
 292     use DieDieDie;
 293 ];
 294
 295 like($@, qr/Can't modify/, 'croak cleanup 3' );
 296
 297 # these might leak, or have duplicate frees, depending on the bugginess of
 298 # the parser stack 'fail in reduce' cleanup code. They're here mainly as
 299 # something to be run under valgrind, with PERL_DESTRUCT_LEVEL=1.
 300
 301 eval q[ BEGIN { } ] for 1..10;
 302 is($@, "", 'BEGIN 1' );
 303
 304 eval q[ BEGIN { my $x; $x = 1 } ] for 1..10;
 305 is($@, "", 'BEGIN 2' );
 306
 307 eval q[ BEGIN { \&foo1 } ] for 1..10;
 308 is($@, "", 'BEGIN 3' );
 309
 310 eval q[ sub foo2 { } ] for 1..10;
 311 is($@, "", 'BEGIN 4' );
 312
 313 eval q[ sub foo3 { my $x; $x=1 } ] for 1..10;
 314 is($@, "", 'BEGIN 5' );
 315
 316 eval q[ BEGIN { die } ] for 1..10;
 317 like($@, qr/BEGIN failed--compilation aborted/, 'BEGIN 6' );
 318
 319 eval q[ BEGIN {\&foo4; die } ] for 1..10;
 320 like($@, qr/BEGIN failed--compilation aborted/, 'BEGIN 7' );
 321
 322 # Add new tests HERE:
 323
 324 # More awkward tests for #line. Keep these at the end, as they will screw
 325 # with sane line reporting for any other test failures
 326
 327 sub check ($$$) {
 328     my ($file, $line, $name) =  @_;
 329     my (undef, $got_file, $got_line) = caller;
 330     like ($got_file, $file, "file of $name");
 331     is ($got_line, $line, "line of $name");
 332 }
 333
 334 #line 3
 335 check(qr/parser\.t$/, 3, "bare line");
 336
 337 # line 5
 338 check(qr/parser\.t$/, 5, "bare line with leading space");
 339
 340 #line 7
 341 check(qr/parser\.t$/, 7, "trailing space still valid");
 342
 343 # line 11
 344 check(qr/parser\.t$/, 11, "leading and trailing");
 345
 346 #       line 13
 347 check(qr/parser\.t$/, 13, "leading tab");
 348
 349 #line   17
 350 check(qr/parser\.t$/, 17, "middle tab");
 351
 352 #line                                                                        19
 353 check(qr/parser\.t$/, 19, "loadsaspaces");
 354
 355 #line 23 KASHPRITZA
 356 check(qr/^KASHPRITZA$/, 23, "bare filename");
 357
 358 #line 29 "KAHEEEE"
 359 check(qr/^KAHEEEE$/, 29, "filename in quotes");
 360
 361 #line 31 "CLINK CLOINK BZZT"
 362 check(qr/^CLINK CLOINK BZZT$/, 31, "filename with spaces in quotes");
 363
 364 #line 37 "THOOM THOOM"
 365 check(qr/^THOOM THOOM$/, 37, "filename with tabs in quotes");
 366
 367 #line 41 "GLINK PLINK GLUNK DINK"
 368 check(qr/^GLINK PLINK GLUNK DINK$/, 41, "a space after the quotes");
 369
 370 #line 43 "BBFRPRAFPGHPP
 371 check(qr/^"BBFRPRAFPGHPP$/, 43, "actually missing a quote is still valid");
 372
 373 #line 47 bang eth
 374 check(qr/^"BBFRPRAFPGHPP$/, 46, "but spaces aren't allowed without quotes");
 375
 376 #line 77sevenseven
 377 check(qr/^"BBFRPRAFPGHPP$/, 49, "need a space after the line number");
 378
 379 eval <<'EOSTANZA'; die $@ if $@;
 380 #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."
 381 check(qr/^With.*down\.$/, 51, "Overflow the second small buffer check");
 382 EOSTANZA
 383
 384 # And now, turn on the debugger flag for long names
 385 $^P = 0x100;
 386
 387 #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."
 388 check(qr/^For we.*must die\.$/, 53, "Our long line is set up");
 389
 390 eval <<'EOT'; die $@ if $@;
 391 #line 59 " "
 392 check(qr/^ $/, 59, "Overflow the first small buffer check only");
 393 EOT
 394
 395 eval <<'EOSTANZA'; die $@ if $@;
 396 #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."
 397 check(qr/^Great hail!.*no more\.$/, 61, "Overflow both small buffer checks");
 398 EOSTANZA
 399
 400 {
 401     my @x = 'string';
 402     is(eval q{ "$x[0]->strung" }, 'string->strung',
 403         'literal -> after an array subscript within ""');
 404     @x = ['string'];
 405     # this used to give "string"
 406     like("$x[0]-> [0]", qr/^ARRAY\([^)]*\)-> \[0]\z/,
 407         'literal -> [0] after an array subscript within ""');
 408 }
 409
 410 __END__
 411 # Don't add new tests HERE. See note above