t/comp/parser.t

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