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
CommitLineData
8d063cd8 1#!./perl
8d37f932
DD
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.
8d063cd8 6
4af394b4 7print "1..231\n";
8d37f932 8
e4d48cc9
GS
9BEGIN {
10 chdir 't' if -d 't';
55516df5 11 @INC = '../lib';
e4d48cc9 12}
8d37f932 13eval 'use Config'; # Defaults assumed if this fails
8d063cd8 14
9c63abab
GS
15# XXX known to leak scalars
16$ENV{PERL_DESTRUCT_LEVEL} = 0 unless $ENV{PERL_DESTRUCT_LEVEL} > 3;
eec2d3df 17
8d063cd8
LW
18$x = "abc\ndef\n";
19
20if ($x =~ /^abc/) {print "ok 1\n";} else {print "not ok 1\n";}
21if ($x !~ /^def/) {print "ok 2\n";} else {print "not ok 2\n";}
22
23$* = 1;
24if ($x =~ /^def/) {print "ok 3\n";} else {print "not ok 3\n";}
25$* = 0;
26
27$_ = '123';
28if (/^([0-9][0-9]*)/) {print "ok 4\n";} else {print "not ok 4\n";}
29
30if ($x =~ /^xxx/) {print "not ok 5\n";} else {print "ok 5\n";}
31if ($x !~ /^abc/) {print "not ok 6\n";} else {print "ok 6\n";}
32
33if ($x =~ /def/) {print "ok 7\n";} else {print "not ok 7\n";}
34if ($x !~ /def/) {print "not ok 8\n";} else {print "ok 8\n";}
35
36if ($x !~ /.def/) {print "ok 9\n";} else {print "not ok 9\n";}
37if ($x =~ /.def/) {print "not ok 10\n";} else {print "ok 10\n";}
38
39if ($x =~ /\ndef/) {print "ok 11\n";} else {print "not ok 11\n";}
40if ($x !~ /\ndef/) {print "not ok 12\n";} else {print "ok 12\n";}
41
42$_ = 'aaabbbccc';
43if (/(a*b*)(c*)/ && $1 eq 'aaabbb' && $2 eq 'ccc') {
44 print "ok 13\n";
45} else {
46 print "not ok 13\n";
47}
48if (/(a+b+c+)/ && $1 eq 'aaabbbccc') {
49 print "ok 14\n";
50} else {
51 print "not ok 14\n";
52}
53
54if (/a+b?c+/) {print "not ok 15\n";} else {print "ok 15\n";}
55
56$_ = 'aaabccc';
57if (/a+b?c+/) {print "ok 16\n";} else {print "not ok 16\n";}
58if (/a*b+c*/) {print "ok 17\n";} else {print "not ok 17\n";}
59
60$_ = 'aaaccc';
61if (/a*b?c*/) {print "ok 18\n";} else {print "not ok 18\n";}
62if (/a*b+c*/) {print "not ok 19\n";} else {print "ok 19\n";}
63
64$_ = 'abcdef';
65if (/bcd|xyz/) {print "ok 20\n";} else {print "not ok 20\n";}
66if (/xyz|bcd/) {print "ok 21\n";} else {print "not ok 21\n";}
67
68if (m|bc/*d|) {print "ok 22\n";} else {print "not ok 22\n";}
378cc40b
LW
69
70if (/^$_$/) {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
73if ("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');
c6aa4a32 81while ($_ = shift(@XXX)) {
378cc40b
LW
82 ?(.*)? && (print $1,"\n");
83 /not/ && reset;
84 /not ok 26/ && reset 'X';
85}
86
a0d0e21e 87while (($key,$val) = each(%XXX)) {
378cc40b
LW
88 print "not ok 27\n";
89 exit;
90}
91
92print "ok 27\n";
93
94'cde' =~ /[^ab]*/;
95'xyz' =~ //;
96if ($& eq 'xyz') {print "ok 28\n";} else {print "not ok 28\n";}
97
98$foo = '[^ab]*';
99'cde' =~ /$foo/;
100'xyz' =~ //;
101if ($& eq 'xyz') {print "ok 29\n";} else {print "not ok 29\n";}
102
103$foo = '[^ab]*';
104'cde' =~ /$foo/;
105'xyz' =~ /$null/;
106if ($& eq 'xyz') {print "ok 30\n";} else {print "not ok 30\n";}
a687059c
LW
107
108$_ = 'abcdefghi';
109/def/; # optimized up to cmd
110if ("$`:$&:$'" eq 'abc:def:ghi') {print "ok 31\n";} else {print "not ok 31\n";}
111
112/cde/ + 0; # optimized only to spat
113if ("$`:$&:$'" eq 'ab:cde:fghi') {print "ok 32\n";} else {print "not ok 32\n";}
114
115/[d][e][f]/; # not optimized
116if ("$`:$&:$'" 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/ {([^}]*)}/;
120if ($1 eq 'time for all') {print "ok 34\n";} else {print "not ok 34 $1\n";}
121
122$_ = 'xxx {3,4} yyy zzz';
123print /( {3,4})/ ? "ok 35\n" : "not ok 35\n";
124print $1 eq ' ' ? "ok 36\n" : "not ok 36\n";
125print /( {4,})/ ? "not ok 37\n" : "ok 37\n";
126print /( {2,3}.)/ ? "ok 38\n" : "not ok 38\n";
127print $1 eq ' y' ? "ok 39\n" : "not ok 39\n";
128print /(y{2,3}.)/ ? "ok 40\n" : "not ok 40\n";
129print $1 eq 'yyy ' ? "ok 41\n" : "not ok 41\n";
130print /x {3,4}/ ? "not ok 42\n" : "ok 42\n";
131print /^xxx {3,4}/ ? "not ok 43\n" : "ok 43\n";
352d5a3a
LW
132
133$_ = "now is the time for all good men to come to.";
134@words = /(\w+)/g;
135print 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 = ();
140while (/\w+/g) {
141 push(@words, $&);
142}
143print 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 = ();
71be2cbc 148pos = 0;
352d5a3a
LW
149while (/to/g) {
150 push(@words, $&);
151}
152print join(':',@words) eq "to:to"
153 ? "ok 46\n"
71be2cbc 154 : "not ok 46 `@words'\n";
352d5a3a 155
71be2cbc 156pos $_ = 0;
352d5a3a
LW
157@words = /to/g;
158print join(':',@words) eq "to:to"
159 ? "ok 47\n"
71be2cbc 160 : "not ok 47 `@words'\n";
352d5a3a
LW
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
176for $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";
189print $x eq '505550555' ? "ok 48\n" : "not ok 48 $x\n";
1462b684
LW
190
191$xyz = 'xyz';
192print "abc" =~ /^abc$|$xyz/ ? "ok 49\n" : "not ok 49\n";
193
194# perl 4.009 says "unmatched ()"
195eval '"abc" =~ /a(bc$)|$xyz/; $result = "$&:$1"';
196print $@ eq "" ? "ok 50\n" : "not ok 50\n";
197print $result eq "abc:bc" ? "ok 51\n" : "not ok 51\n";
a0d0e21e
LW
198
199
200$_="abcfooabcbar";
201$x=/abc/g;
202print $` eq "" ? "ok 52\n" : "not ok 52\n" if $x;
203$x=/abc/g;
204print $` eq "abcfoo" ? "ok 53\n" : "not ok 53\n" if $x;
205$x=/abc/g;
206print $x == 0 ? "ok 54\n" : "not ok 54\n";
71be2cbc 207pos = 0;
a0d0e21e
LW
208$x=/ABC/gi;
209print $` eq "" ? "ok 55\n" : "not ok 55\n" if $x;
210$x=/ABC/gi;
211print $` eq "abcfoo" ? "ok 56\n" : "not ok 56\n" if $x;
212$x=/ABC/gi;
213print $x == 0 ? "ok 57\n" : "not ok 57\n";
71be2cbc 214pos = 0;
a0d0e21e
LW
215$x=/abc/g;
216print $' eq "fooabcbar" ? "ok 58\n" : "not ok 58\n" if $x;
217$x=/abc/g;
218print $' eq "bar" ? "ok 59\n" : "not ok 59\n" if $x;
219$_ .= '';
220@x=/abc/g;
221print scalar @x == 2 ? "ok 60\n" : "not ok 60\n";
71be2cbc
PP
222
223$_ = "abdc";
224pos $_ = 2;
c90c0ff4 225/\Gc/gc;
71be2cbc
PP
226print "not " if (pos $_) != 2;
227print "ok 61\n";
c90c0ff4
PP
228/\Gc/g;
229print "not " if defined pos $_;
230print "ok 62\n";
c277df42
IZ
231
232$out = 1;
233'abc' =~ m'a(?{ $out = 2 })b';
234print "not " if $out != 2;
235print "ok 63\n";
236
237$out = 1;
238'abc' =~ m'a(?{ $out = 3 })c';
239print "not " if $out != 1;
240print "ok 64\n";
241
242$_ = 'foobar1 bar2 foobar3 barfoobar5 foobar6';
243@out = /(?<!foo)bar./g;
244print "not " if "@out" ne 'bar2 barf';
245print "ok 65\n";
246
8d37f932
DD
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
255undef $@;
256print "not " if eval q(('aaa' =~ /(a{1,$reg_infty_m})/)[0] ne 'aaa') || $@;
257print "ok 66\n";
258
259undef $@;
260print "not " if eval q(('a' x $reg_infty_m) !~ /a{$reg_infty_m}/) || $@;
261print "ok 67\n";
262
263undef $@;
264print "not " if eval q(('a' x ($reg_infty_m - 1)) =~ /a{$reg_infty_m}/) || $@;
265print "ok 68\n";
266
267undef $@;
268eval "'aaa' =~ /a{1,$reg_infty}/";
0139fc7d 269print "not " if $@ !~ m%^\QQuantifier in {,} bigger than%;
8d37f932
DD
270print "ok 69\n";
271
272eval "'aaa' =~ /a{1,$reg_infty_p}/";
273print "not "
0139fc7d 274 if $@ !~ m%^\QQuantifier in {,} bigger than%;
8d37f932
DD
275print "ok 70\n";
276undef $@;
277
278# Poke a couple more parse failures
279
280$context = 'x' x 256;
281eval qq("${context}y" =~ /(?<=$context)y/);
0139fc7d 282print "not " if $@ !~ m%^\QLookbehind longer than 255 not%;
8d37f932
DD
283print "ok 71\n";
284
b8c5462f 285# removed test
8d37f932
DD
286print "ok 72\n";
287
c277df42 288# Long Monsters
8d37f932 289$test = 73;
c277df42
IZ
290for $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
314for ( 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
328sub matchit {
cc6b7395 329 m/
c277df42
IZ
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
cc6b7395 356 /xg;
c277df42
IZ
357}
358
0f5d15d6 359@ans = ();
c277df42
IZ
360push @ans, $res while $res = matchit;
361
362print "# ans='@ans'\n# expect='$expect'\nnot " if "@ans" ne "1 1 1";
363print "ok $test\n";
364$test++;
365
366@ans = matchit;
367
368print "# ans='@ans'\n# expect='$expect'\nnot " if "@ans" ne $expect;
369print "ok $test\n";
370$test++;
371
96776eda
GS
372print "not " unless "abc" =~ /^(??{"a"})b/;
373print "ok $test\n";
374$test++;
375
0f5d15d6 376my $matched;
14455d6c 377$matched = qr/\((?:(?>[^()]+)|(??{$matched}))*\)/;
0f5d15d6
IZ
378
379@ans = @ans1 = ();
380push(@ans, $res), push(@ans1, $&) while $res = m/$matched/g;
381
382print "# ans='@ans'\n# expect='$expect'\nnot " if "@ans" ne "1 1 1";
383print "ok $test\n";
384$test++;
385
386print "# ans1='@ans1'\n# expect='$expect'\nnot " if "@ans1" ne $expect;
387print "ok $test\n";
388$test++;
389
390@ans = m/$matched/g;
391
392print "# ans='@ans'\n# expect='$expect'\nnot " if "@ans" ne $expect;
393print "ok $test\n";
394$test++;
395
c277df42
IZ
396@ans = ('a/b' =~ m%(.*/)?(.*)%); # Stack may be bad
397print "not " if "@ans" ne 'a/ b';
398print "ok $test\n";
399$test++;
400
cc6b7395 401$code = '{$blah = 45}';
c277df42 402$blah = 12;
2cd61cdb
IZ
403eval { /(?$code)/ };
404print "not " unless $@ and $@ =~ /not allowed at runtime/ and $blah == 12;
e4d48cc9
GS
405print "ok $test\n";
406$test++;
407
2cd61cdb
IZ
408for $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
e4d48cc9
GS
420$code = '{$blah = 45}';
421$blah = 12;
422eval "/(?$code)/";
cc6b7395
IZ
423print "not " if $blah != 45;
424print "ok $test\n";
425$test++;
426
427$blah = 12;
428/(?{$blah = 45})/;
c277df42
IZ
429print "not " if $blah != 45;
430print "ok $test\n";
431$test++;
432
74d6a13a
MB
433$x = 'banana';
434$x =~ /.a/g;
435print "not " unless pos($x) == 2;
436print "ok $test\n";
437$test++;
438
439$x =~ /.z/gc;
440print "not " unless pos($x) == 2;
441print "ok $test\n";
442$test++;
443
444sub f {
445 my $p = $_[0];
446 return $p;
447}
448
449$x =~ /.a/g;
450print "not " unless f(pos($x)) == 4;
451print "ok $test\n";
452$test++;
4599a1de 453
ce862d02
IZ
454$x = $^R = 67;
455'foot' =~ /foo(?{$x = 12; 75})[t]/;
456print "not " unless $^R eq '75';
457print "ok $test\n";
458$test++;
459
460$x = $^R = 67;
461'foot' =~ /foo(?{$x = 12; 75})[xy]/;
462print "not " unless $^R eq '67' and $x eq '12';
463print "ok $test\n";
464$test++;
465
466$x = $^R = 67;
467'foot' =~ /foo(?{ $^R + 12 })((?{ $x = 12; $^R + 17 })[xy])?/;
468print "not " unless $^R eq '79' and $x eq '12';
469print "ok $test\n";
470$test++;
471
8782bef2
GB
472print "not " unless qr/\b\v$/i eq '(?i-xsm:\bv$)';
473print "ok $test\n";
474$test++;
475
476print "not " unless qr/\b\v$/s eq '(?s-xim:\bv$)';
477print "ok $test\n";
478$test++;
479
480print "not " unless qr/\b\v$/m eq '(?m-xis:\bv$)';
481print "ok $test\n";
482$test++;
483
484print "not " unless qr/\b\v$/x eq '(?x-ism:\bv$)';
485print "ok $test\n";
486$test++;
487
488print "not " unless qr/\b\v$/xism eq '(?msix:\bv$)';
489print "ok $test\n";
490$test++;
491
492print "not " unless qr/\b\v$/ eq '(?-xism:\bv$)';
97197631
IZ
493print "ok $test\n";
494$test++;
495
7e5428c5
IZ
496$_ = 'xabcx';
497foreach $ans ('', 'c') {
498 /(?<=(?=a)..)((?=c)|.)/g;
3c42a273 499 print "# \$1 ='$1'\n# \$ans='$ans'\nnot " unless $1 eq $ans;
7e5428c5
IZ
500 print "ok $test\n";
501 $test++;
502}
503
504$_ = 'a';
505foreach $ans ('', 'a', '') {
506 /^|a|$/g;
3c42a273 507 print "# \$& ='$&'\n# \$ans='$ans'\nnot " unless $& eq $ans;
7e5428c5
IZ
508 print "ok $test\n";
509 $test++;
510}
511
09f25ae4
IZ
512sub 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}
519prefixify('/a/b/lib/arch', "/a/b/lib", 'X/lib', 'X/lib/arch');
520prefixify('/a/b/man/arch', "/a/b/man", 'X/man', 'X/man/arch');
521
522$_ = 'var="foo"';
523/(\")/;
524print "not " unless $1 and /$1/;
525print "ok $test\n";
526$test++;
527
8782bef2 528$a=qr/(?{++$b})/;
2cd61cdb
IZ
529$b = 7;
530/$a$a/;
531print "not " unless $b eq '9';
532print "ok $test\n";
533$test++;
534
535$c="$a";
536/$a$a/;
537print "not " unless $b eq '11';
538print "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
4af394b4
JH
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
2cd61cdb
IZ
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}
cbce877f
IZ
571
572{
4af394b4
JH
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{
cbce877f
IZ
590 package aa;
591 $c = 2;
592 $::c = 3;
593 '' =~ /(?{ $c = 4 })/;
594 print "not " unless $c == 4;
595}
596print "ok $test\n";
597$test++;
598print "not " unless $c == 3;
599print "ok $test\n";
600$test++;
2cd61cdb 601
4599a1de
JH
602sub must_warn_pat {
603 my $warn_pat = shift;
604 return sub { print "not " unless $_[0] =~ /$warn_pat/ }
605}
606
607sub must_warn {
608 my ($warn_pat, $code) = @_;
9f1b1f2d
GS
609 local %SIG;
610 eval 'BEGIN { use warnings; $SIG{__WARN__} = $warn_pat };' . $code;
4599a1de
JH
611 print "ok $test\n";
612 $test++;
613}
614
615
616sub make_must_warn {
617 my $warn_pat = shift;
618 return sub { must_warn(must_warn_pat($warn_pat)) }
619}
620
621my $for_future = make_must_warn('reserved for future extensions');
622
623&$for_future('q(a:[b]:) =~ /[x[:foo:]]/');
0139fc7d
GS
624
625#&$for_future('q(a=[b]=) =~ /[x[=foo=]]/');
626print "ok $test\n"; $test++; # now a fatal croak
627
628#&$for_future('q(a.[b].) =~ /[x[.foo.]]/');
629print "ok $test\n"; $test++; # now a fatal croak
f7e33566
GS
630
631# test if failure of patterns returns empty list
632$_ = 'aaa';
633@_ = /bbb/;
634print "not " if @_;
635print "ok $test\n";
636$test++;
637
638@_ = /bbb/g;
639print "not " if @_;
640print "ok $test\n";
641$test++;
642
643@_ = /(bbb)/;
644print "not " if @_;
645print "ok $test\n";
646$test++;
647
648@_ = /(bbb)/g;
649print "not " if @_;
650print "ok $test\n";
651$test++;
652
6cef1e77
IZ
653/a(?=.$)/;
654print "not " if $#+ != 0 or $#- != 0;
655print "ok $test\n";
656$test++;
657
658print "not " if $+[0] != 2 or $-[0] != 1;
659print "ok $test\n";
660$test++;
661
662print "not "
663 if defined $+[1] or defined $-[1] or defined $+[2] or defined $-[2];
664print "ok $test\n";
665$test++;
666
667/a(a)(a)/;
668print "not " if $#+ != 2 or $#- != 2;
669print "ok $test\n";
670$test++;
671
672print "not " if $+[0] != 3 or $-[0] != 0;
673print "ok $test\n";
674$test++;
675
676print "not " if $+[1] != 2 or $-[1] != 1;
677print "ok $test\n";
678$test++;
679
680print "not " if $+[2] != 3 or $-[2] != 2;
681print "ok $test\n";
682$test++;
683
684print "not "
685 if defined $+[3] or defined $-[3] or defined $+[4] or defined $-[4];
686print "ok $test\n";
687$test++;
688
689/.(a)(b)?(a)/;
690print "not " if $#+ != 3 or $#- != 3;
691print "ok $test\n";
692$test++;
693
694print "not " if $+[0] != 3 or $-[0] != 0;
695print "ok $test\n";
696$test++;
697
698print "not " if $+[1] != 2 or $-[1] != 1;
699print "ok $test\n";
700$test++;
701
702print "not " if $+[3] != 3 or $-[3] != 2;
703print "ok $test\n";
704$test++;
705
706print "not "
707 if defined $+[2] or defined $-[2] or defined $+[4] or defined $-[4];
708print "ok $test\n";
709$test++;
710
711/.(a)/;
712print "not " if $#+ != 1 or $#- != 1;
713print "ok $test\n";
714$test++;
715
716print "not " if $+[0] != 2 or $-[0] != 0;
717print "ok $test\n";
718$test++;
719
720print "not " if $+[1] != 2 or $-[1] != 1;
721print "ok $test\n";
722$test++;
723
724print "not "
725 if defined $+[2] or defined $-[2] or defined $+[3] or defined $-[3];
726print "ok $test\n";
727$test++;
728
5e1047cb
GS
729eval { $+[0] = 13; };
730print "not "
731 if $@ !~ /^Modification of a read-only value attempted/;
732print "ok $test\n";
733$test++;
734
735eval { $-[0] = 13; };
736print "not "
737 if $@ !~ /^Modification of a read-only value attempted/;
738print "ok $test\n";
739$test++;
740
741eval { @+ = (7, 6, 5); };
742print "not "
743 if $@ !~ /^Modification of a read-only value attempted/;
744print "ok $test\n";
745$test++;
746
747eval { @- = qw(foo bar); };
748print "not "
749 if $@ !~ /^Modification of a read-only value attempted/;
750print "ok $test\n";
751$test++;
752
8f580fb8
IZ
753/.(a)(ba*)?/;
754print "#$#-..$#+\nnot " if $#+ != 2 or $#- != 1;
755print "ok $test\n";
756$test++;
757
ad94a511
IZ
758$_ = 'aaa';
759pos = 1;
760@a = /\Ga/g;
761print "not " unless "@a" eq "a a";
762print "ok $test\n";
763$test++;
764
22e551b9
IZ
765$str = 'abcde';
766pos $str = 2;
767
768print "not " if $str =~ /^\G/;
769print "ok $test\n";
770$test++;
771
772print "not " if $str =~ /^.\G/;
773print "ok $test\n";
774$test++;
775
776print "not " unless $str =~ /^..\G/;
777print "ok $test\n";
778$test++;
779
780print "not " if $str =~ /^...\G/;
781print "ok $test\n";
782$test++;
783
784print "not " unless $str =~ /.\G./ and $& eq 'bc';
785print "ok $test\n";
786$test++;
787
788print "not " unless $str =~ /\G../ and $& eq 'cd';
789print "ok $test\n";
790$test++;
791
9661b544
IZ
792undef $foo; undef $bar;
793print "#'$str','$foo','$bar'\nnot "
794 unless $str =~ /b(?{$foo = $_; $bar = pos})c/
795 and $foo eq 'abcde' and $bar eq 2;
796print "ok $test\n";
797$test++;
798
799undef $foo; undef $bar;
800pos $str = undef;
801print "#'$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;
804print "ok $test\n";
805$test++;
806
807$_ = $str;
808
809undef $foo; undef $bar;
810print "#'$str','$foo','$bar'\nnot "
811 unless /b(?{$foo = $_; $bar = pos})c/
812 and $foo eq 'abcde' and $bar eq 2;
813print "ok $test\n";
814$test++;
815
816undef $foo; undef $bar;
817print "#'$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;
820print "ok $test\n";
821$test++;
822
823undef $foo; undef $bar;
824pos = undef;
8251 while /b(?{$foo = $_; $bar = pos})c/g;
826print "#'$str','$foo','$bar'\nnot "
827 unless $foo eq 'abcde' and $bar eq 2 and not defined pos;
828print "ok $test\n";
829$test++;
830
831undef $foo; undef $bar;
832$_ = 'abcde|abcde';
833print "#'$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';
836print "ok $test\n";
837$test++;
838
5c5e4c24
IZ
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";
845print "#'@res' '$_'\nnot "
846 unless "@res" eq "'a' undef 'a' 'c' 'e' undef 'a' undef 'a' 'c'";
847print "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";
854print "#'@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'" ;
861print "ok $test\n";
862$test++;
863
b7a35066
IZ
864#Some more \G anchor checks
865$foo='aabbccddeeffgg';
866
867pos($foo)=1;
868
869$foo=~/.\G(..)/g;
870print "not " unless($1 eq 'ab');
871print "ok $test\n";
872$test++;
873
874pos($foo) += 1;
875$foo=~/.\G(..)/g;
876print "not " unless($1 eq 'cc');
877print "ok $test\n";
878$test++;
879
880pos($foo) += 1;
881$foo=~/.\G(..)/g;
882print "not " unless($1 eq 'de');
883print "ok $test\n";
884$test++;
885
0ef3e39e
HS
886print "not " unless $foo =~ /\Gef/g;
887print "ok $test\n";
888$test++;
889
b7a35066
IZ
890undef pos $foo;
891
892$foo=~/\G(..)/g;
893print "not " unless($1 eq 'aa');
894print "ok $test\n";
895$test++;
896
897$foo=~/\G(..)/g;
898print "not " unless($1 eq 'bb');
899print "ok $test\n";
900$test++;
901
902pos($foo)=5;
903$foo=~/\G(..)/g;
904print "not " unless($1 eq 'cd');
905print "ok $test\n";
906$test++;
907
e60df1fa
IZ
908$_='123x123';
909@res = /(\d*|x)/g;
910print "not " unless('123||x|123|' eq join '|', @res);
911print "ok $test\n";
912$test++;
913
9d080a66
GS
914# see if matching against temporaries (created via pp_helem()) is safe
915{ foo => "ok $test\n".$^X }->{foo} =~ /^(.*)\n/g;
916print "$1\n";
917$test++;
918
cf93c79d
IZ
919# See if $i work inside (?{}) in the presense of saved substrings and
920# changing $_
921@a = qw(foo bar);
922@b = ();
923s/(\w)(?{push @b, $1})/,$1,/g for @a;
924
925print "# \@b='@b', expect 'f o o b a r'\nnot " unless("@b" eq "f o o b a r");
926print "ok $test\n";
927$test++;
928
929print "not " unless("@a" eq ",f,,o,,o, ,b,,a,,r,");
930print "ok $test\n";
931$test++;
932
2c914db6 933$brackets = qr{
14455d6c 934 { (?> [^{}]+ | (??{ $brackets }) )* }
2c914db6
IZ
935 }x;
936
937"{{}" =~ $brackets;
938print "ok $test\n"; # Did we survive?
939$test++;
940
941"something { long { and } hairy" =~ $brackets;
942print "ok $test\n"; # Did we survive?
943$test++;
944
14455d6c 945"something { long { and } hairy" =~ m/((??{ $brackets }))/;
2c914db6
IZ
946print "not " unless $1 eq "{ and }";
947print "ok $test\n";
948$test++;
949
30944b6d
IZ
950$_ = "a-a\nxbb";
951pos=1;
952m/^-.*bb/mg and print "not ";
953print "ok $test\n";
954$test++;
30382c73
IZ
955
956$text = "aaXbXcc";
957pos($text)=0;
958$text =~ /\GXb*X/g and print 'not ';
959print "ok $test\n";
960$test++;
3cf5c195
IZ
961
962$text = "xA\n" x 500;
963$text =~ /^\s*A/m and print 'not ';
964print "ok $test\n";
965$test++;
d506a20d
IZ
966
967$text = "abc dbf";
968@res = ($text =~ /.*?(b).*?\b/g);
969"@res" eq 'b b' or print 'not ';
970print "ok $test\n";
971$test++;
972
9442cb0e 973@a = map chr,0..255;
aeaf5620
GS
974
975@b = grep(/\S/,@a);
976@c = grep(/[^\s]/,@a);
977print "not " if "@b" ne "@c";
9442cb0e
GS
978print "ok $test\n";
979$test++;
980
aeaf5620
GS
981@b = grep(/\S/,@a);
982@c = grep(/[\S]/,@a);
983print "not " if "@b" ne "@c";
9442cb0e
GS
984print "ok $test\n";
985$test++;
986
aeaf5620
GS
987@b = grep(/\s/,@a);
988@c = grep(/[^\S]/,@a);
989print "not " if "@b" ne "@c";
9442cb0e
GS
990print "ok $test\n";
991$test++;
992
aeaf5620
GS
993@b = grep(/\s/,@a);
994@c = grep(/[\s]/,@a);
995print "not " if "@b" ne "@c";
9442cb0e
GS
996print "ok $test\n";
997$test++;
998
aeaf5620
GS
999@b = grep(/\D/,@a);
1000@c = grep(/[^\d]/,@a);
1001print "not " if "@b" ne "@c";
9442cb0e
GS
1002print "ok $test\n";
1003$test++;
1004
aeaf5620
GS
1005@b = grep(/\D/,@a);
1006@c = grep(/[\D]/,@a);
1007print "not " if "@b" ne "@c";
9442cb0e
GS
1008print "ok $test\n";
1009$test++;
1010
aeaf5620
GS
1011@b = grep(/\d/,@a);
1012@c = grep(/[^\D]/,@a);
1013print "not " if "@b" ne "@c";
9442cb0e
GS
1014print "ok $test\n";
1015$test++;
1016
aeaf5620
GS
1017@b = grep(/\d/,@a);
1018@c = grep(/[\d]/,@a);
1019print "not " if "@b" ne "@c";
9442cb0e
GS
1020print "ok $test\n";
1021$test++;
1022
aeaf5620
GS
1023@b = grep(/\W/,@a);
1024@c = grep(/[^\w]/,@a);
1025print "not " if "@b" ne "@c";
9442cb0e
GS
1026print "ok $test\n";
1027$test++;
1028
aeaf5620
GS
1029@b = grep(/\W/,@a);
1030@c = grep(/[\W]/,@a);
1031print "not " if "@b" ne "@c";
9442cb0e
GS
1032print "ok $test\n";
1033$test++;
1034
aeaf5620
GS
1035@b = grep(/\w/,@a);
1036@c = grep(/[^\W]/,@a);
1037print "not " if "@b" ne "@c";
9442cb0e
GS
1038print "ok $test\n";
1039$test++;
1040
aeaf5620
GS
1041@b = grep(/\w/,@a);
1042@c = grep(/[\w]/,@a);
1043print "not " if "@b" ne "@c";
9442cb0e
GS
1044print "ok $test\n";
1045$test++;
1aeab75a
GS
1046
1047# see if backtracking optimization works correctly
1048"\n\n" =~ /\n $ \n/x or print "not ";
1049print "ok $test\n";
1050$test++;
1051
1052"\n\n" =~ /\n* $ \n/x or print "not ";
1053print "ok $test\n";
1054$test++;
1055
1056"\n\n" =~ /\n+ $ \n/x or print "not ";
1057print "ok $test\n";
1058$test++;
014f6c88
GS
1059
1060[] =~ /^ARRAY/ or print "# [] \nnot ";
1061print "ok $test\n";
1062$test++;
1063
1064eval << 'EOE';
1065{
1066 package S;
1067 use overload '""' => sub { 'Object S' };
1068 sub new { bless [] }
1069}
1070$a = 'S'->new;
1071EOE
1072
1073$a and $a =~ /^Object\sS/ or print "# '$a' \nnot ";
1074print "ok $test\n";
1075$test++;
c16eb38b
GS
1076
1077# test result of match used as match (!)
1078'a1b' =~ ('xyz' =~ /y/) and $` eq 'a' or print "not ";
1079print "ok $test\n";
1080$test++;
1081
1082'a1b' =~ ('xyz' =~ /t/) and $` eq 'a' or print "not ";
1083print "ok $test\n";
1084$test++;
0139fc7d
GS
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}
1092print $w ? "not " : "", "ok $test\n";
1093$test++;
3a6f1039
GS
1094
1095my %space = ( spc => " ",
1096 tab => "\t",
1097 cr => "\r",
1098 lf => "\n",
1099 ff => "\f",
bb2c2f1d
GS
1100# There's no \v but the vertical tabulator seems miraculously
1101# be 11 both in ASCII and EBCDIC.
3a6f1039
GS
1102 vt => chr(11),
1103 false => "space" );
1104
1105my @space0 = sort grep { $space{$_} =~ /\s/ } keys %space;
1106my @space1 = sort grep { $space{$_} =~ /[[:space:]]/ } keys %space;
1107my @space2 = sort grep { $space{$_} =~ /[[:blank:]]/ } keys %space;
1108
1109print "not " unless "@space0" eq "cr ff lf spc tab";
3c42a273 1110print "ok $test # @space0\n";
3a6f1039
GS
1111$test++;
1112
1113print "not " unless "@space1" eq "cr ff lf spc tab vt";
3c42a273 1114print "ok $test # @space1\n";
3a6f1039
GS
1115$test++;
1116
1117print "not " unless "@space2" eq "spc tab";
3c42a273 1118print "ok $test # @space2\n";
3a6f1039
GS
1119$test++;
1120
e2439105
GS
1121# bugid 20001021.005 - this caused a SEGV
1122print "not " unless undef =~ /^([^\/]*)(.*)$/;
1123print "ok $test\n";
1124$test++;
f9c83ba1
JH
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}