This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
Integrate change #7784 from mainline into maintperl.
[perl5.git] / t / op / pat.t
1 #!./perl
2 #
3 # This is a home for regular expression tests that don't fit into
4 # the format supported by op/regexp.t.  If you want to add a test
5 # that does fit that format, add it to op/re_tests, not here.
6
7 print "1..231\n";
8
9 BEGIN {
10     chdir 't' if -d 't';
11     @INC = '../lib';
12 }
13 eval 'use Config';          #  Defaults assumed if this fails
14
15 # XXX known to leak scalars
16 $ENV{PERL_DESTRUCT_LEVEL} = 0 unless $ENV{PERL_DESTRUCT_LEVEL} > 3;
17
18 $x = "abc\ndef\n";
19
20 if ($x =~ /^abc/) {print "ok 1\n";} else {print "not ok 1\n";}
21 if ($x !~ /^def/) {print "ok 2\n";} else {print "not ok 2\n";}
22
23 $* = 1;
24 if ($x =~ /^def/) {print "ok 3\n";} else {print "not ok 3\n";}
25 $* = 0;
26
27 $_ = '123';
28 if (/^([0-9][0-9]*)/) {print "ok 4\n";} else {print "not ok 4\n";}
29
30 if ($x =~ /^xxx/) {print "not ok 5\n";} else {print "ok 5\n";}
31 if ($x !~ /^abc/) {print "not ok 6\n";} else {print "ok 6\n";}
32
33 if ($x =~ /def/) {print "ok 7\n";} else {print "not ok 7\n";}
34 if ($x !~ /def/) {print "not ok 8\n";} else {print "ok 8\n";}
35
36 if ($x !~ /.def/) {print "ok 9\n";} else {print "not ok 9\n";}
37 if ($x =~ /.def/) {print "not ok 10\n";} else {print "ok 10\n";}
38
39 if ($x =~ /\ndef/) {print "ok 11\n";} else {print "not ok 11\n";}
40 if ($x !~ /\ndef/) {print "not ok 12\n";} else {print "ok 12\n";}
41
42 $_ = 'aaabbbccc';
43 if (/(a*b*)(c*)/ && $1 eq 'aaabbb' && $2 eq 'ccc') {
44         print "ok 13\n";
45 } else {
46         print "not ok 13\n";
47 }
48 if (/(a+b+c+)/ && $1 eq 'aaabbbccc') {
49         print "ok 14\n";
50 } else {
51         print "not ok 14\n";
52 }
53
54 if (/a+b?c+/) {print "not ok 15\n";} else {print "ok 15\n";}
55
56 $_ = 'aaabccc';
57 if (/a+b?c+/) {print "ok 16\n";} else {print "not ok 16\n";}
58 if (/a*b+c*/) {print "ok 17\n";} else {print "not ok 17\n";}
59
60 $_ = 'aaaccc';
61 if (/a*b?c*/) {print "ok 18\n";} else {print "not ok 18\n";}
62 if (/a*b+c*/) {print "not ok 19\n";} else {print "ok 19\n";}
63
64 $_ = 'abcdef';
65 if (/bcd|xyz/) {print "ok 20\n";} else {print "not ok 20\n";}
66 if (/xyz|bcd/) {print "ok 21\n";} else {print "not ok 21\n";}
67
68 if (m|bc/*d|) {print "ok 22\n";} else {print "not ok 22\n";}
69
70 if (/^$_$/) {print "ok 23\n";} else {print "not ok 23\n";}
71
72 $* = 1;         # test 3 only tested the optimized version--this one is for real
73 if ("ab\ncd\n" =~ /^cd/) {print "ok 24\n";} else {print "not ok 24\n";}
74 $* = 0;
75
76 $XXX{123} = 123;
77 $XXX{234} = 234;
78 $XXX{345} = 345;
79
80 @XXX = ('ok 25','not ok 25', 'ok 26','not ok 26','not ok 27');
81 while ($_ = shift(@XXX)) {
82     ?(.*)? && (print $1,"\n");
83     /not/ && reset;
84     /not ok 26/ && reset 'X';
85 }
86
87 while (($key,$val) = each(%XXX)) {
88     print "not ok 27\n";
89     exit;
90 }
91
92 print "ok 27\n";
93
94 'cde' =~ /[^ab]*/;
95 'xyz' =~ //;
96 if ($& eq 'xyz') {print "ok 28\n";} else {print "not ok 28\n";}
97
98 $foo = '[^ab]*';
99 'cde' =~ /$foo/;
100 'xyz' =~ //;
101 if ($& eq 'xyz') {print "ok 29\n";} else {print "not ok 29\n";}
102
103 $foo = '[^ab]*';
104 'cde' =~ /$foo/;
105 'xyz' =~ /$null/;
106 if ($& eq 'xyz') {print "ok 30\n";} else {print "not ok 30\n";}
107
108 $_ = 'abcdefghi';
109 /def/;          # optimized up to cmd
110 if ("$`:$&:$'" eq 'abc:def:ghi') {print "ok 31\n";} else {print "not ok 31\n";}
111
112 /cde/ + 0;      # optimized only to spat
113 if ("$`:$&:$'" eq 'ab:cde:fghi') {print "ok 32\n";} else {print "not ok 32\n";}
114
115 /[d][e][f]/;    # not optimized
116 if ("$`:$&:$'" eq 'abc:def:ghi') {print "ok 33\n";} else {print "not ok 33\n";}
117
118 $_ = 'now is the {time for all} good men to come to.';
119 / {([^}]*)}/;
120 if ($1 eq 'time for all') {print "ok 34\n";} else {print "not ok 34 $1\n";}
121
122 $_ = 'xxx {3,4}  yyy   zzz';
123 print /( {3,4})/ ? "ok 35\n" : "not ok 35\n";
124 print $1 eq '   ' ? "ok 36\n" : "not ok 36\n";
125 print /( {4,})/ ? "not ok 37\n" : "ok 37\n";
126 print /( {2,3}.)/ ? "ok 38\n" : "not ok 38\n";
127 print $1 eq '  y' ? "ok 39\n" : "not ok 39\n";
128 print /(y{2,3}.)/ ? "ok 40\n" : "not ok 40\n";
129 print $1 eq 'yyy ' ? "ok 41\n" : "not ok 41\n";
130 print /x {3,4}/ ? "not ok 42\n" : "ok 42\n";
131 print /^xxx {3,4}/ ? "not ok 43\n" : "ok 43\n";
132
133 $_ = "now is the time for all good men to come to.";
134 @words = /(\w+)/g;
135 print join(':',@words) eq "now:is:the:time:for:all:good:men:to:come:to"
136     ? "ok 44\n"
137     : "not ok 44\n";
138
139 @words = ();
140 while (/\w+/g) {
141     push(@words, $&);
142 }
143 print join(':',@words) eq "now:is:the:time:for:all:good:men:to:come:to"
144     ? "ok 45\n"
145     : "not ok 45\n";
146
147 @words = ();
148 pos = 0;
149 while (/to/g) {
150     push(@words, $&);
151 }
152 print join(':',@words) eq "to:to"
153     ? "ok 46\n"
154     : "not ok 46 `@words'\n";
155
156 pos $_ = 0;
157 @words = /to/g;
158 print join(':',@words) eq "to:to"
159     ? "ok 47\n"
160     : "not ok 47 `@words'\n";
161
162 $_ = "abcdefghi";
163
164 $pat1 = 'def';
165 $pat2 = '^def';
166 $pat3 = '.def.';
167 $pat4 = 'abc';
168 $pat5 = '^abc';
169 $pat6 = 'abc$';
170 $pat7 = 'ghi';
171 $pat8 = '\w*ghi';
172 $pat9 = 'ghi$';
173
174 $t1=$t2=$t3=$t4=$t5=$t6=$t7=$t8=$t9=0;
175
176 for $iter (1..5) {
177     $t1++ if /$pat1/o;
178     $t2++ if /$pat2/o;
179     $t3++ if /$pat3/o;
180     $t4++ if /$pat4/o;
181     $t5++ if /$pat5/o;
182     $t6++ if /$pat6/o;
183     $t7++ if /$pat7/o;
184     $t8++ if /$pat8/o;
185     $t9++ if /$pat9/o;
186 }
187
188 $x = "$t1$t2$t3$t4$t5$t6$t7$t8$t9";
189 print $x eq '505550555' ? "ok 48\n" : "not ok 48 $x\n";
190
191 $xyz = 'xyz';
192 print "abc" =~ /^abc$|$xyz/ ? "ok 49\n" : "not ok 49\n";
193
194 # perl 4.009 says "unmatched ()"
195 eval '"abc" =~ /a(bc$)|$xyz/; $result = "$&:$1"';
196 print $@ eq "" ? "ok 50\n" : "not ok 50\n";
197 print $result eq "abc:bc" ? "ok 51\n" : "not ok 51\n";
198
199
200 $_="abcfooabcbar";
201 $x=/abc/g;
202 print $` eq "" ? "ok 52\n" : "not ok 52\n" if $x;
203 $x=/abc/g;
204 print $` eq "abcfoo" ? "ok 53\n" : "not ok 53\n" if $x;
205 $x=/abc/g;
206 print $x == 0 ? "ok 54\n" : "not ok 54\n";
207 pos = 0;
208 $x=/ABC/gi;
209 print $` eq "" ? "ok 55\n" : "not ok 55\n" if $x;
210 $x=/ABC/gi;
211 print $` eq "abcfoo" ? "ok 56\n" : "not ok 56\n" if $x;
212 $x=/ABC/gi;
213 print $x == 0 ? "ok 57\n" : "not ok 57\n";
214 pos = 0;
215 $x=/abc/g;
216 print $' eq "fooabcbar" ? "ok 58\n" : "not ok 58\n" if $x;
217 $x=/abc/g;
218 print $' eq "bar" ? "ok 59\n" : "not ok 59\n" if $x;
219 $_ .= '';
220 @x=/abc/g;
221 print scalar @x == 2 ? "ok 60\n" : "not ok 60\n";
222
223 $_ = "abdc";
224 pos $_ = 2;
225 /\Gc/gc;
226 print "not " if (pos $_) != 2;
227 print "ok 61\n";
228 /\Gc/g;
229 print "not " if defined pos $_;
230 print "ok 62\n";
231
232 $out = 1;
233 'abc' =~ m'a(?{ $out = 2 })b';
234 print "not " if $out != 2;
235 print "ok 63\n";
236
237 $out = 1;
238 'abc' =~ m'a(?{ $out = 3 })c';
239 print "not " if $out != 1;
240 print "ok 64\n";
241
242 $_ = 'foobar1 bar2 foobar3 barfoobar5 foobar6';
243 @out = /(?<!foo)bar./g;
244 print "not " if "@out" ne 'bar2 barf';
245 print "ok 65\n";
246
247 # Tests which depend on REG_INFTY
248 $reg_infty = defined $Config{reg_infty} ? $Config{reg_infty} : 32767;
249 $reg_infty_m = $reg_infty - 1; $reg_infty_p = $reg_infty + 1;
250
251 # As well as failing if the pattern matches do unexpected things, the
252 # next three tests will fail if you should have picked up a lower-than-
253 # default value for $reg_infty from Config.pm, but have not.
254
255 undef $@;
256 print "not " if eval q(('aaa' =~ /(a{1,$reg_infty_m})/)[0] ne 'aaa') || $@;
257 print "ok 66\n";
258
259 undef $@;
260 print "not " if eval q(('a' x $reg_infty_m) !~ /a{$reg_infty_m}/) || $@;
261 print "ok 67\n";
262
263 undef $@;
264 print "not " if eval q(('a' x ($reg_infty_m - 1)) =~ /a{$reg_infty_m}/) || $@;
265 print "ok 68\n";
266
267 undef $@;
268 eval "'aaa' =~ /a{1,$reg_infty}/";
269 print "not " if $@ !~ m%^\QQuantifier in {,} bigger than%;
270 print "ok 69\n";
271
272 eval "'aaa' =~ /a{1,$reg_infty_p}/";
273 print "not "
274         if $@ !~ m%^\QQuantifier in {,} bigger than%;
275 print "ok 70\n";
276 undef $@;
277
278 # Poke a couple more parse failures
279
280 $context = 'x' x 256;
281 eval qq("${context}y" =~ /(?<=$context)y/);
282 print "not " if $@ !~ m%^\QLookbehind longer than 255 not%;
283 print "ok 71\n";
284
285 # removed test
286 print "ok 72\n";
287
288 # Long Monsters
289 $test = 73;
290 for $l (125, 140, 250, 270, 300000, 30) { # Ordered to free memory
291   $a = 'a' x $l;
292   print "# length=$l\nnot " unless "ba$a=" =~ /a$a=/;
293   print "ok $test\n";
294   $test++;
295   
296   print "not " if "b$a=" =~ /a$a=/;
297   print "ok $test\n";
298   $test++;
299 }
300
301 # 20000 nodes, each taking 3 words per string, and 1 per branch
302 $long_constant_len = join '|', 12120 .. 32645;
303 $long_var_len = join '|', 8120 .. 28645;
304 %ans = ( 'ax13876y25677lbc' => 1,
305          'ax13876y25677mcb' => 0, # not b.
306          'ax13876y35677nbc' => 0, # Num too big
307          'ax13876y25677y21378obc' => 1,
308          'ax13876y25677y21378zbc' => 0, # Not followed by [k-o]
309          'ax13876y25677y21378y21378kbc' => 1,
310          'ax13876y25677y21378y21378kcb' => 0, # Not b.
311          'ax13876y25677y21378y21378y21378kbc' => 0, # 5 runs
312        );
313
314 for ( keys %ans ) {
315   print "# const-len `$_' not =>  $ans{$_}\nnot " 
316     if $ans{$_} xor /a(?=([yx]($long_constant_len)){2,4}[k-o]).*b./o;
317   print "ok $test\n";
318   $test++;
319   print "# var-len   `$_' not =>  $ans{$_}\nnot " 
320     if $ans{$_} xor /a(?=([yx]($long_var_len)){2,4}[k-o]).*b./o;
321   print "ok $test\n";
322   $test++;
323 }
324
325 $_ = " a (bla()) and x(y b((l)u((e))) and b(l(e)e)e";
326 $expect = "(bla()) ((l)u((e))) (l(e)e)";
327
328 sub matchit { 
329   m/
330      (
331        \( 
332        (?{ $c = 1 })            # Initialize
333        (?:
334          (?(?{ $c == 0 })       # PREVIOUS iteration was OK, stop the loop
335            (?!
336            )                    # Fail: will unwind one iteration back
337          )          
338          (?:
339            [^()]+               # Match a big chunk
340            (?=
341              [()]
342            )                    # Do not try to match subchunks
343          |
344            \( 
345            (?{ ++$c })
346          |
347            \) 
348            (?{ --$c })
349          )
350        )+                       # This may not match with different subblocks
351      )
352      (?(?{ $c != 0 })
353        (?!
354        )                        # Fail
355      )                          # Otherwise the chunk 1 may succeed with $c>0
356    /xg;
357 }
358
359 @ans = ();
360 push @ans, $res while $res = matchit;
361
362 print "# ans='@ans'\n# expect='$expect'\nnot " if "@ans" ne "1 1 1";
363 print "ok $test\n";
364 $test++;
365
366 @ans = matchit;
367
368 print "# ans='@ans'\n# expect='$expect'\nnot " if "@ans" ne $expect;
369 print "ok $test\n";
370 $test++;
371
372 print "not " unless "abc" =~ /^(??{"a"})b/;
373 print "ok $test\n";
374 $test++;
375
376 my $matched;
377 $matched = qr/\((?:(?>[^()]+)|(??{$matched}))*\)/;
378
379 @ans = @ans1 = ();
380 push(@ans, $res), push(@ans1, $&) while $res = m/$matched/g;
381
382 print "# ans='@ans'\n# expect='$expect'\nnot " if "@ans" ne "1 1 1";
383 print "ok $test\n";
384 $test++;
385
386 print "# ans1='@ans1'\n# expect='$expect'\nnot " if "@ans1" ne $expect;
387 print "ok $test\n";
388 $test++;
389
390 @ans = m/$matched/g;
391
392 print "# ans='@ans'\n# expect='$expect'\nnot " if "@ans" ne $expect;
393 print "ok $test\n";
394 $test++;
395
396 @ans = ('a/b' =~ m%(.*/)?(.*)%);        # Stack may be bad
397 print "not " if "@ans" ne 'a/ b';
398 print "ok $test\n";
399 $test++;
400
401 $code = '{$blah = 45}';
402 $blah = 12;
403 eval { /(?$code)/ };
404 print "not " unless $@ and $@ =~ /not allowed at runtime/ and $blah == 12;
405 print "ok $test\n";
406 $test++;
407
408 for $code ('{$blah = 45}','=xx') {
409   $blah = 12;
410   $res = eval { "xx" =~ /(?$code)/o };
411   if ($code eq '=xx') {
412     print "#'$@','$res','$blah'\nnot " unless not $@ and $res;
413   } else {
414     print "#'$@','$res','$blah'\nnot " unless $@ and $@ =~ /not allowed at runtime/ and $blah == 12;    
415   }
416   print "ok $test\n";
417   $test++;
418 }
419
420 $code = '{$blah = 45}';
421 $blah = 12;
422 eval "/(?$code)/";                      
423 print "not " if $blah != 45;
424 print "ok $test\n";
425 $test++;
426
427 $blah = 12;
428 /(?{$blah = 45})/;                      
429 print "not " if $blah != 45;
430 print "ok $test\n";
431 $test++;
432
433 $x = 'banana';
434 $x =~ /.a/g;
435 print "not " unless pos($x) == 2;
436 print "ok $test\n";
437 $test++;
438
439 $x =~ /.z/gc;
440 print "not " unless pos($x) == 2;
441 print "ok $test\n";
442 $test++;
443
444 sub f {
445     my $p = $_[0];
446     return $p;
447 }
448
449 $x =~ /.a/g;
450 print "not " unless f(pos($x)) == 4;
451 print "ok $test\n";
452 $test++;
453
454 $x = $^R = 67;
455 'foot' =~ /foo(?{$x = 12; 75})[t]/;
456 print "not " unless $^R eq '75';
457 print "ok $test\n";
458 $test++;
459
460 $x = $^R = 67;
461 'foot' =~ /foo(?{$x = 12; 75})[xy]/;
462 print "not " unless $^R eq '67' and $x eq '12';
463 print "ok $test\n";
464 $test++;
465
466 $x = $^R = 67;
467 'foot' =~ /foo(?{ $^R + 12 })((?{ $x = 12; $^R + 17 })[xy])?/;
468 print "not " unless $^R eq '79' and $x eq '12';
469 print "ok $test\n";
470 $test++;
471
472 print "not " unless qr/\b\v$/i eq '(?i-xsm:\bv$)';
473 print "ok $test\n";
474 $test++;
475
476 print "not " unless qr/\b\v$/s eq '(?s-xim:\bv$)';
477 print "ok $test\n";
478 $test++;
479
480 print "not " unless qr/\b\v$/m eq '(?m-xis:\bv$)';
481 print "ok $test\n";
482 $test++;
483
484 print "not " unless qr/\b\v$/x eq '(?x-ism:\bv$)';
485 print "ok $test\n";
486 $test++;
487
488 print "not " unless qr/\b\v$/xism eq '(?msix:\bv$)';
489 print "ok $test\n";
490 $test++;
491
492 print "not " unless qr/\b\v$/ eq '(?-xism:\bv$)';
493 print "ok $test\n";
494 $test++;
495
496 $_ = 'xabcx';
497 foreach $ans ('', 'c') {
498   /(?<=(?=a)..)((?=c)|.)/g;
499   print "# \$1  ='$1'\n# \$ans='$ans'\nnot " unless $1 eq $ans;
500   print "ok $test\n";
501   $test++;
502 }
503
504 $_ = 'a';
505 foreach $ans ('', 'a', '') {
506   /^|a|$/g;
507   print "# \$&  ='$&'\n# \$ans='$ans'\nnot " unless $& eq $ans;
508   print "ok $test\n";
509   $test++;
510 }
511
512 sub prefixify {
513   my($v,$a,$b,$res) = @_; 
514   $v =~ s/\Q$a\E/$b/; 
515   print "not " unless $res eq $v; 
516   print "ok $test\n";
517   $test++;
518 }
519 prefixify('/a/b/lib/arch', "/a/b/lib", 'X/lib', 'X/lib/arch');
520 prefixify('/a/b/man/arch', "/a/b/man", 'X/man', 'X/man/arch');
521
522 $_ = 'var="foo"';
523 /(\")/;
524 print "not " unless $1 and /$1/;
525 print "ok $test\n";
526 $test++;
527
528 $a=qr/(?{++$b})/; 
529 $b = 7;
530 /$a$a/; 
531 print "not " unless $b eq '9'; 
532 print "ok $test\n";
533 $test++;
534
535 $c="$a"; 
536 /$a$a/; 
537 print "not " unless $b eq '11'; 
538 print "ok $test\n";
539 $test++;
540
541 {
542   use re "eval"; 
543   /$a$c$a/; 
544   print "not " unless $b eq '14'; 
545   print "ok $test\n";
546   $test++;
547
548   local $lex_a = 2;
549   my $lex_a = 43;
550   my $lex_b = 17;
551   my $lex_c = 27;
552   my $lex_res = ($lex_b =~ qr/$lex_b(?{ $lex_c = $lex_a++ })/);
553   print "not " unless $lex_res eq '1';
554   print "ok $test\n";
555   $test++;
556   print "not " unless $lex_a eq '44';
557   print "ok $test\n";
558   $test++;
559   print "not " unless $lex_c eq '43';
560   print "ok $test\n";
561   $test++;
562
563
564   no re "eval"; 
565   $match = eval { /$a$c$a/ };
566   print "not " 
567     unless $b eq '14' and $@ =~ /Eval-group not allowed/ and not $match;
568   print "ok $test\n";
569   $test++;
570 }
571
572 {
573   local $lex_a = 2;
574   my $lex_a = 43;
575   my $lex_b = 17;
576   my $lex_c = 27;
577   my $lex_res = ($lex_b =~ qr/17(?{ $lex_c = $lex_a++ })/);
578   print "not " unless $lex_res eq '1';
579   print "ok $test\n";
580   $test++;
581   print "not " unless $lex_a eq '44';
582   print "ok $test\n";
583   $test++;
584   print "not " unless $lex_c eq '43';
585   print "ok $test\n";
586   $test++;
587 }
588
589 {
590   package aa;
591   $c = 2;
592   $::c = 3;
593   '' =~ /(?{ $c = 4 })/;
594   print "not " unless $c == 4;
595 }
596 print "ok $test\n";
597 $test++;
598 print "not " unless $c == 3;
599 print "ok $test\n";
600 $test++;  
601   
602 sub must_warn_pat {
603     my $warn_pat = shift;
604     return sub { print "not " unless $_[0] =~ /$warn_pat/ }
605 }
606
607 sub must_warn {
608     my ($warn_pat, $code) = @_;
609     local %SIG;
610     eval 'BEGIN { use warnings; $SIG{__WARN__} = $warn_pat };' . $code;
611     print "ok $test\n";
612     $test++;
613 }
614
615
616 sub make_must_warn {
617     my $warn_pat = shift;
618     return sub { must_warn(must_warn_pat($warn_pat)) }
619 }
620
621 my $for_future = make_must_warn('reserved for future extensions');
622
623 &$for_future('q(a:[b]:) =~ /[x[:foo:]]/');
624
625 #&$for_future('q(a=[b]=) =~ /[x[=foo=]]/');
626 print "ok $test\n"; $test++; # now a fatal croak
627
628 #&$for_future('q(a.[b].) =~ /[x[.foo.]]/');
629 print "ok $test\n"; $test++; # now a fatal croak
630
631 # test if failure of patterns returns empty list
632 $_ = 'aaa';
633 @_ = /bbb/;
634 print "not " if @_;
635 print "ok $test\n";
636 $test++;
637
638 @_ = /bbb/g;
639 print "not " if @_;
640 print "ok $test\n";
641 $test++;
642
643 @_ = /(bbb)/;
644 print "not " if @_;
645 print "ok $test\n";
646 $test++;
647
648 @_ = /(bbb)/g;
649 print "not " if @_;
650 print "ok $test\n";
651 $test++;
652
653 /a(?=.$)/;
654 print "not " if $#+ != 0 or $#- != 0;
655 print "ok $test\n";
656 $test++;
657
658 print "not " if $+[0] != 2 or $-[0] != 1;
659 print "ok $test\n";
660 $test++;
661
662 print "not " 
663    if defined $+[1] or defined $-[1] or defined $+[2] or defined $-[2];
664 print "ok $test\n";
665 $test++;
666
667 /a(a)(a)/;
668 print "not " if $#+ != 2 or $#- != 2;
669 print "ok $test\n";
670 $test++;
671
672 print "not " if $+[0] != 3 or $-[0] != 0;
673 print "ok $test\n";
674 $test++;
675
676 print "not " if $+[1] != 2 or $-[1] != 1;
677 print "ok $test\n";
678 $test++;
679
680 print "not " if $+[2] != 3 or $-[2] != 2;
681 print "ok $test\n";
682 $test++;
683
684 print "not " 
685    if defined $+[3] or defined $-[3] or defined $+[4] or defined $-[4];
686 print "ok $test\n";
687 $test++;
688
689 /.(a)(b)?(a)/;
690 print "not " if $#+ != 3 or $#- != 3;
691 print "ok $test\n";
692 $test++;
693
694 print "not " if $+[0] != 3 or $-[0] != 0;
695 print "ok $test\n";
696 $test++;
697
698 print "not " if $+[1] != 2 or $-[1] != 1;
699 print "ok $test\n";
700 $test++;
701
702 print "not " if $+[3] != 3 or $-[3] != 2;
703 print "ok $test\n";
704 $test++;
705
706 print "not " 
707    if defined $+[2] or defined $-[2] or defined $+[4] or defined $-[4];
708 print "ok $test\n";
709 $test++;
710
711 /.(a)/;
712 print "not " if $#+ != 1 or $#- != 1;
713 print "ok $test\n";
714 $test++;
715
716 print "not " if $+[0] != 2 or $-[0] != 0;
717 print "ok $test\n";
718 $test++;
719
720 print "not " if $+[1] != 2 or $-[1] != 1;
721 print "ok $test\n";
722 $test++;
723
724 print "not " 
725    if defined $+[2] or defined $-[2] or defined $+[3] or defined $-[3];
726 print "ok $test\n";
727 $test++;
728
729 eval { $+[0] = 13; };
730 print "not " 
731    if $@ !~ /^Modification of a read-only value attempted/;
732 print "ok $test\n";
733 $test++;
734
735 eval { $-[0] = 13; };
736 print "not " 
737    if $@ !~ /^Modification of a read-only value attempted/;
738 print "ok $test\n";
739 $test++;
740
741 eval { @+ = (7, 6, 5); };
742 print "not " 
743    if $@ !~ /^Modification of a read-only value attempted/;
744 print "ok $test\n";
745 $test++;
746
747 eval { @- = qw(foo bar); };
748 print "not " 
749    if $@ !~ /^Modification of a read-only value attempted/;
750 print "ok $test\n";
751 $test++;
752
753 /.(a)(ba*)?/;
754 print "#$#-..$#+\nnot " if $#+ != 2 or $#- != 1;
755 print "ok $test\n";
756 $test++;
757
758 $_ = 'aaa';
759 pos = 1;
760 @a = /\Ga/g;
761 print "not " unless "@a" eq "a a";
762 print "ok $test\n";
763 $test++;
764
765 $str = 'abcde';
766 pos $str = 2;
767
768 print "not " if $str =~ /^\G/;
769 print "ok $test\n";
770 $test++;
771
772 print "not " if $str =~ /^.\G/;
773 print "ok $test\n";
774 $test++;
775
776 print "not " unless $str =~ /^..\G/;
777 print "ok $test\n";
778 $test++;
779
780 print "not " if $str =~ /^...\G/;
781 print "ok $test\n";
782 $test++;
783
784 print "not " unless $str =~ /.\G./ and $& eq 'bc';
785 print "ok $test\n";
786 $test++;
787
788 print "not " unless $str =~ /\G../ and $& eq 'cd';
789 print "ok $test\n";
790 $test++;
791
792 undef $foo; undef $bar;
793 print "#'$str','$foo','$bar'\nnot "
794     unless $str =~ /b(?{$foo = $_; $bar = pos})c/ 
795         and $foo eq 'abcde' and $bar eq 2;
796 print "ok $test\n";
797 $test++;
798
799 undef $foo; undef $bar;
800 pos $str = undef;
801 print "#'$str','$foo','$bar'\nnot "
802     unless $str =~ /b(?{$foo = $_; $bar = pos})c/g 
803         and $foo eq 'abcde' and $bar eq 2 and pos $str eq 3;
804 print "ok $test\n";
805 $test++;
806
807 $_ = $str;
808
809 undef $foo; undef $bar;
810 print "#'$str','$foo','$bar'\nnot "
811     unless /b(?{$foo = $_; $bar = pos})c/ 
812         and $foo eq 'abcde' and $bar eq 2;
813 print "ok $test\n";
814 $test++;
815
816 undef $foo; undef $bar;
817 print "#'$str','$foo','$bar'\nnot "
818     unless /b(?{$foo = $_; $bar = pos})c/g 
819         and $foo eq 'abcde' and $bar eq 2 and pos eq 3;
820 print "ok $test\n";
821 $test++;
822
823 undef $foo; undef $bar;
824 pos = undef;
825 1 while /b(?{$foo = $_; $bar = pos})c/g;
826 print "#'$str','$foo','$bar'\nnot "
827     unless $foo eq 'abcde' and $bar eq 2 and not defined pos;
828 print "ok $test\n";
829 $test++;
830
831 undef $foo; undef $bar;
832 $_ = 'abcde|abcde';
833 print "#'$str','$foo','$bar','$_'\nnot "
834     unless s/b(?{$foo = $_; $bar = pos})c/x/g and $foo eq 'abcde|abcde' 
835         and $bar eq 8 and $_ eq 'axde|axde';
836 print "ok $test\n";
837 $test++;
838
839 @res = ();
840 # List context:
841 $_ = 'abcde|abcde';
842 @dummy = /([ace]).(?{push @res, $1,$2})([ce])(?{push @res, $1,$2})/g;
843 @res = map {defined $_ ? "'$_'" : 'undef'} @res;
844 $res = "@res";
845 print "#'@res' '$_'\nnot "
846     unless "@res" eq "'a' undef 'a' 'c' 'e' undef 'a' undef 'a' 'c'";
847 print "ok $test\n";
848 $test++;
849
850 @res = ();
851 @dummy = /([ace]).(?{push @res, $`,$&,$'})([ce])(?{push @res, $`,$&,$'})/g;
852 @res = map {defined $_ ? "'$_'" : 'undef'} @res;
853 $res = "@res";
854 print "#'@res' '$_'\nnot "
855     unless "@res" eq
856   "'' 'ab' 'cde|abcde' " .
857   "'' 'abc' 'de|abcde' " .
858   "'abcd' 'e|' 'abcde' " .
859   "'abcde|' 'ab' 'cde' " .
860   "'abcde|' 'abc' 'de'" ;
861 print "ok $test\n";
862 $test++;
863
864 #Some more \G anchor checks
865 $foo='aabbccddeeffgg';
866
867 pos($foo)=1;
868
869 $foo=~/.\G(..)/g;
870 print "not " unless($1 eq 'ab');
871 print "ok $test\n";
872 $test++;
873
874 pos($foo) += 1;
875 $foo=~/.\G(..)/g;
876 print "not " unless($1 eq 'cc');
877 print "ok $test\n";
878 $test++;
879
880 pos($foo) += 1;
881 $foo=~/.\G(..)/g;
882 print "not " unless($1 eq 'de');
883 print "ok $test\n";
884 $test++;
885
886 print "not " unless $foo =~ /\Gef/g;
887 print "ok $test\n";
888 $test++;
889
890 undef pos $foo;
891
892 $foo=~/\G(..)/g;
893 print "not " unless($1  eq 'aa');
894 print "ok $test\n";
895 $test++;
896
897 $foo=~/\G(..)/g;
898 print "not " unless($1  eq 'bb');
899 print "ok $test\n";
900 $test++;
901
902 pos($foo)=5;
903 $foo=~/\G(..)/g;
904 print "not " unless($1  eq 'cd');
905 print "ok $test\n";
906 $test++;
907
908 $_='123x123'; 
909 @res = /(\d*|x)/g;
910 print "not " unless('123||x|123|' eq join '|', @res);
911 print "ok $test\n";
912 $test++;
913
914 # see if matching against temporaries (created via pp_helem()) is safe
915 { foo => "ok $test\n".$^X }->{foo} =~ /^(.*)\n/g;
916 print "$1\n";
917 $test++;
918
919 # See if $i work inside (?{}) in the presense of saved substrings and
920 # changing $_
921 @a = qw(foo bar);
922 @b = ();
923 s/(\w)(?{push @b, $1})/,$1,/g for @a;
924
925 print "# \@b='@b', expect 'f o o b a r'\nnot " unless("@b" eq "f o o b a r");
926 print "ok $test\n";
927 $test++;
928
929 print "not " unless("@a" eq ",f,,o,,o, ,b,,a,,r,");
930 print "ok $test\n";
931 $test++;
932
933 $brackets = qr{
934                  {  (?> [^{}]+ | (??{ $brackets }) )* }
935               }x;
936
937 "{{}" =~ $brackets;
938 print "ok $test\n";             # Did we survive?
939 $test++;
940
941 "something { long { and } hairy" =~ $brackets;
942 print "ok $test\n";             # Did we survive?
943 $test++;
944
945 "something { long { and } hairy" =~ m/((??{ $brackets }))/;
946 print "not " unless $1 eq "{ and }";
947 print "ok $test\n";
948 $test++;
949
950 $_ = "a-a\nxbb";
951 pos=1;
952 m/^-.*bb/mg and print "not ";
953 print "ok $test\n";
954 $test++;
955
956 $text = "aaXbXcc";
957 pos($text)=0;
958 $text =~ /\GXb*X/g and print 'not ';
959 print "ok $test\n";
960 $test++;
961
962 $text = "xA\n" x 500;
963 $text =~ /^\s*A/m and print 'not ';
964 print "ok $test\n";
965 $test++;
966
967 $text = "abc dbf";
968 @res = ($text =~ /.*?(b).*?\b/g);
969 "@res" eq 'b b' or print 'not ';
970 print "ok $test\n";
971 $test++;
972
973 @a = map chr,0..255;
974
975 @b = grep(/\S/,@a);
976 @c = grep(/[^\s]/,@a);
977 print "not " if "@b" ne "@c";
978 print "ok $test\n";
979 $test++;
980
981 @b = grep(/\S/,@a);
982 @c = grep(/[\S]/,@a);
983 print "not " if "@b" ne "@c";
984 print "ok $test\n";
985 $test++;
986
987 @b = grep(/\s/,@a);
988 @c = grep(/[^\S]/,@a);
989 print "not " if "@b" ne "@c";
990 print "ok $test\n";
991 $test++;
992
993 @b = grep(/\s/,@a);
994 @c = grep(/[\s]/,@a);
995 print "not " if "@b" ne "@c";
996 print "ok $test\n";
997 $test++;
998
999 @b = grep(/\D/,@a);
1000 @c = grep(/[^\d]/,@a);
1001 print "not " if "@b" ne "@c";
1002 print "ok $test\n";
1003 $test++;
1004
1005 @b = grep(/\D/,@a);
1006 @c = grep(/[\D]/,@a);
1007 print "not " if "@b" ne "@c";
1008 print "ok $test\n";
1009 $test++;
1010
1011 @b = grep(/\d/,@a);
1012 @c = grep(/[^\D]/,@a);
1013 print "not " if "@b" ne "@c";
1014 print "ok $test\n";
1015 $test++;
1016
1017 @b = grep(/\d/,@a);
1018 @c = grep(/[\d]/,@a);
1019 print "not " if "@b" ne "@c";
1020 print "ok $test\n";
1021 $test++;
1022
1023 @b = grep(/\W/,@a);
1024 @c = grep(/[^\w]/,@a);
1025 print "not " if "@b" ne "@c";
1026 print "ok $test\n";
1027 $test++;
1028
1029 @b = grep(/\W/,@a);
1030 @c = grep(/[\W]/,@a);
1031 print "not " if "@b" ne "@c";
1032 print "ok $test\n";
1033 $test++;
1034
1035 @b = grep(/\w/,@a);
1036 @c = grep(/[^\W]/,@a);
1037 print "not " if "@b" ne "@c";
1038 print "ok $test\n";
1039 $test++;
1040
1041 @b = grep(/\w/,@a);
1042 @c = grep(/[\w]/,@a);
1043 print "not " if "@b" ne "@c";
1044 print "ok $test\n";
1045 $test++;
1046
1047 # see if backtracking optimization works correctly
1048 "\n\n" =~ /\n  $ \n/x or print "not ";
1049 print "ok $test\n";
1050 $test++;
1051
1052 "\n\n" =~ /\n* $ \n/x or print "not ";
1053 print "ok $test\n";
1054 $test++;
1055
1056 "\n\n" =~ /\n+ $ \n/x or print "not ";
1057 print "ok $test\n";
1058 $test++;
1059
1060 [] =~ /^ARRAY/ or print "# [] \nnot ";
1061 print "ok $test\n";
1062 $test++;
1063
1064 eval << 'EOE';
1065 {
1066  package S;
1067  use overload '""' => sub { 'Object S' };
1068  sub new { bless [] }
1069 }
1070 $a = 'S'->new;
1071 EOE
1072
1073 $a and $a =~ /^Object\sS/ or print "# '$a' \nnot ";
1074 print "ok $test\n";
1075 $test++;
1076
1077 # test result of match used as match (!)
1078 'a1b' =~ ('xyz' =~ /y/) and $` eq 'a' or print "not ";
1079 print "ok $test\n";
1080 $test++;
1081
1082 'a1b' =~ ('xyz' =~ /t/) and $` eq 'a' or print "not ";
1083 print "ok $test\n";
1084 $test++;
1085
1086 $w = 0;
1087 {
1088     local $SIG{__WARN__} = sub { $w = 1 };
1089     local $^W = 1;
1090         $w = 1 if ("1\n" x 102) =~ /^\s*\n/m;
1091 }
1092 print $w ? "not " : "", "ok $test\n";
1093 $test++;
1094
1095 my %space = ( spc   => " ",
1096               tab   => "\t",
1097               cr    => "\r",
1098               lf    => "\n",
1099               ff    => "\f",
1100 # There's no \v but the vertical tabulator seems miraculously
1101 # be 11 both in ASCII and EBCDIC.
1102               vt    => chr(11),
1103               false => "space" );
1104
1105 my @space0 = sort grep { $space{$_} =~ /\s/ }          keys %space;
1106 my @space1 = sort grep { $space{$_} =~ /[[:space:]]/ } keys %space;
1107 my @space2 = sort grep { $space{$_} =~ /[[:blank:]]/ } keys %space;
1108
1109 print "not " unless "@space0" eq "cr ff lf spc tab";
1110 print "ok $test # @space0\n";
1111 $test++;
1112
1113 print "not " unless "@space1" eq "cr ff lf spc tab vt";
1114 print "ok $test # @space1\n";
1115 $test++;
1116
1117 print "not " unless "@space2" eq "spc tab";
1118 print "ok $test # @space2\n";
1119 $test++;
1120  
1121 # bugid 20001021.005 - this caused a SEGV
1122 print "not " unless undef =~ /^([^\/]*)(.*)$/;
1123 print "ok $test\n";
1124 $test++;
1125
1126 {
1127   # japhy -- added 03/03/2001
1128   () = (my $str = "abc") =~ /(...)/;
1129   $str = "def";
1130   print "not " if $1 ne "abc";
1131   print "ok $test\n";
1132   $test++;
1133 }