This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
PATCH: [perl #133995], Assertion failure in regmatch
[perl5.git] / t / re / pat.t
1 #!./perl
2 #
3 # This is a home for regular expression tests that don't fit into
4 # the format supported by re/regexp.t.  If you want to add a test
5 # that does fit that format, add it to re/re_tests, not here.
6
7 use strict;
8 use warnings;
9 no warnings 'experimental::vlb';
10 use 5.010;
11
12 sub run_tests;
13
14 $| = 1;
15
16
17 BEGIN {
18     chdir 't' if -d 't';
19     require Config; import Config;
20     require './test.pl'; require './charset_tools.pl';
21     require './loc_tools.pl';
22     set_up_inc('../lib', '.', '../ext/re');
23 }
24
25 skip_all('no re module') unless defined &DynaLoader::boot_DynaLoader;
26 skip_all_without_unicode_tables();
27
28 plan tests => 862;  # Update this when adding/deleting tests.
29
30 run_tests() unless caller;
31
32 #
33 # Tests start here.
34 #
35 sub run_tests {
36
37     my $sharp_s = uni_to_native("\xdf");
38
39     {
40         my $x = "abc\ndef\n";
41         (my $x_pretty = $x) =~ s/\n/\\n/g;
42
43         ok $x =~ /^abc/,  qq ["$x_pretty" =~ /^abc/];
44         ok $x !~ /^def/,  qq ["$x_pretty" !~ /^def/];
45
46         # used to be a test for $*
47         ok $x =~ /^def/m, qq ["$x_pretty" =~ /^def/m];
48
49         ok(!($x =~ /^xxx/), qq ["$x_pretty" =~ /^xxx/]);
50         ok(!($x !~ /^abc/), qq ["$x_pretty" !~ /^abc/]);
51
52          ok $x =~ /def/, qq ["$x_pretty" =~ /def/];
53         ok(!($x !~ /def/), qq ["$x_pretty" !~ /def/]);
54
55          ok $x !~ /.def/, qq ["$x_pretty" !~ /.def/];
56         ok(!($x =~ /.def/), qq ["$x_pretty" =~ /.def/]);
57
58          ok $x =~ /\ndef/, qq ["$x_pretty" =~ /\\ndef/];
59         ok(!($x !~ /\ndef/), qq ["$x_pretty" !~ /\\ndef/]);
60     }
61
62     {
63         $_ = '123';
64         ok /^([0-9][0-9]*)/, qq [\$_ = '$_'; /^([0-9][0-9]*)/];
65     }
66
67     {
68         $_ = 'aaabbbccc';
69          ok /(a*b*)(c*)/ && $1 eq 'aaabbb' && $2 eq 'ccc',
70                                              qq [\$_ = '$_'; /(a*b*)(c*)/];
71          ok /(a+b+c+)/ && $1 eq 'aaabbbccc', qq [\$_ = '$_'; /(a+b+c+)/];
72         unlike($_, qr/a+b?c+/, qq [\$_ = '$_'; /a+b?c+/]);
73
74         $_ = 'aaabccc';
75          ok /a+b?c+/, qq [\$_ = '$_'; /a+b?c+/];
76          ok /a*b?c*/, qq [\$_ = '$_'; /a*b?c*/];
77
78         $_ = 'aaaccc';
79          ok /a*b?c*/, qq [\$_ = '$_'; /a*b?c*/];
80         unlike($_, qr/a*b+c*/, qq [\$_ = '$_'; /a*b+c*/]);
81
82         $_ = 'abcdef';
83          ok /bcd|xyz/, qq [\$_ = '$_'; /bcd|xyz/];
84          ok /xyz|bcd/, qq [\$_ = '$_'; /xyz|bcd/];
85          ok m|bc/*d|,  qq [\$_ = '$_'; m|bc/*d|];
86          ok /^$_$/,    qq [\$_ = '$_'; /^\$_\$/];
87     }
88
89     {
90         # used to be a test for $*
91         ok "ab\ncd\n" =~ /^cd/m, q ["ab\ncd\n" =~ /^cd/m];
92     }
93
94     {
95         our %XXX = map {($_ => $_)} 123, 234, 345;
96
97         our @XXX = ('ok 1','not ok 1', 'ok 2','not ok 2','not ok 3');
98         while ($_ = shift(@XXX)) {
99             my $e = index ($_, 'not') >= 0 ? '' : 1;
100             my $r = m?(.*)?;
101             is($r, $e, "?(.*)?");
102             /not/ && reset;
103             if (/not ok 2/) {
104                 if ($^O eq 'VMS') {
105                     $_ = shift(@XXX);
106                 }
107                 else {
108                     reset 'X';
109                 }
110             }
111         }
112
113         SKIP: {
114             if ($^O eq 'VMS') {
115                 skip "Reset 'X'", 1;
116             }
117             ok !keys %XXX, "%XXX is empty";
118         }
119
120     }
121
122     {
123         my $message = "Test empty pattern";
124         my $xyz = 'xyz';
125         my $cde = 'cde';
126
127         $cde =~ /[^ab]*/;
128         $xyz =~ //;
129         is($&, $xyz, $message);
130
131         my $foo = '[^ab]*';
132         $cde =~ /$foo/;
133         $xyz =~ //;
134         is($&, $xyz, $message);
135
136         $cde =~ /$foo/;
137         my $null;
138         no warnings 'uninitialized';
139         $xyz =~ /$null/;
140         is($&, $xyz, $message);
141
142         $null = "";
143         $xyz =~ /$null/;
144         is($&, $xyz, $message);
145
146         # each entry: regexp, match string, $&, //o match success
147         my @tests =
148           (
149            [ "", "xy", "x", 1 ],
150            [ "y", "yz", "y", !1 ],
151           );
152         for my $test (@tests) {
153             my ($re, $str, $matched, $omatch) = @$test;
154             $xyz =~ /x/o;
155             ok($str =~ /$re/, "$str matches /$re/");
156             is($&, $matched, "on $matched");
157             $xyz =~ /x/o;
158             is($str =~ /$re/o, $omatch, "$str matches /$re/o (or not)");
159         }
160     }
161
162     {
163         my $message = q !Check $`, $&, $'!;
164         $_ = 'abcdefghi';
165         /def/;        # optimized up to cmd
166         is("$`:$&:$'", 'abc:def:ghi', $message);
167
168         no warnings 'void';
169         /cde/ + 0;    # optimized only to spat
170         is("$`:$&:$'", 'ab:cde:fghi', $message);
171
172         /[d][e][f]/;    # not optimized
173         is("$`:$&:$'", 'abc:def:ghi', $message);
174     }
175
176     {
177         $_ = 'now is the {time for all} good men to come to.';
178         / \{([^}]*)}/;
179         is($1, 'time for all', "Match braces");
180     }
181
182     {
183         my $message = "{N,M} quantifier";
184         $_ = 'xxx {3,4}  yyy   zzz';
185         ok(/( {3,4})/, $message);
186         is($1, '   ', $message);
187         unlike($_, qr/( {4,})/, $message);
188         ok(/( {2,3}.)/, $message);
189         is($1, '  y', $message);
190         ok(/(y{2,3}.)/, $message);
191         is($1, 'yyy ', $message);
192         unlike($_, qr/x {3,4}/, $message);
193         unlike($_, qr/^xxx {3,4}/, $message);
194     }
195
196     {
197         my $message = "Test /g";
198         local $" = ":";
199         $_ = "now is the time for all good men to come to.";
200         my @words = /(\w+)/g;
201         my $exp   = "now:is:the:time:for:all:good:men:to:come:to";
202
203         is("@words", $exp, $message);
204
205         @words = ();
206         while (/\w+/g) {
207             push (@words, $&);
208         }
209         is("@words", $exp, $message);
210
211         @words = ();
212         pos = 0;
213         while (/to/g) {
214             push(@words, $&);
215         }
216         is("@words", "to:to", $message);
217
218         pos $_ = 0;
219         @words = /to/g;
220         is("@words", "to:to", $message);
221     }
222
223     {
224         $_ = "abcdefghi";
225
226         my $pat1 = 'def';
227         my $pat2 = '^def';
228         my $pat3 = '.def.';
229         my $pat4 = 'abc';
230         my $pat5 = '^abc';
231         my $pat6 = 'abc$';
232         my $pat7 = 'ghi';
233         my $pat8 = '\w*ghi';
234         my $pat9 = 'ghi$';
235
236         my $t1 = my $t2 = my $t3 = my $t4 = my $t5 =
237         my $t6 = my $t7 = my $t8 = my $t9 = 0;
238
239         for my $iter (1 .. 5) {
240             $t1++ if /$pat1/o;
241             $t2++ if /$pat2/o;
242             $t3++ if /$pat3/o;
243             $t4++ if /$pat4/o;
244             $t5++ if /$pat5/o;
245             $t6++ if /$pat6/o;
246             $t7++ if /$pat7/o;
247             $t8++ if /$pat8/o;
248             $t9++ if /$pat9/o;
249         }
250         my $x = "$t1$t2$t3$t4$t5$t6$t7$t8$t9";
251         is($x, '505550555', "Test /o");
252     }
253
254     {
255         my $xyz = 'xyz';
256         ok "abc" =~ /^abc$|$xyz/, "| after \$";
257
258         # perl 4.009 says "unmatched ()"
259         my $message = '$ inside ()';
260
261         my $result;
262         eval '"abc" =~ /a(bc$)|$xyz/; $result = "$&:$1"';
263         is($@, "", $message);
264         is($result, "abc:bc", $message);
265     }
266
267     {
268         my $message = "Scalar /g";
269         $_ = "abcfooabcbar";
270
271         ok( /abc/g && $` eq "", $message);
272         ok( /abc/g && $` eq "abcfoo", $message);
273         ok(!/abc/g, $message);
274
275         $message = "Scalar /gi";
276         pos = 0;
277         ok( /ABC/gi && $` eq "", $message);
278         ok( /ABC/gi && $` eq "abcfoo", $message);
279         ok(!/ABC/gi, $message);
280
281         $message = "Scalar /g";
282         pos = 0;
283         ok( /abc/g && $' eq "fooabcbar", $message);
284         ok( /abc/g && $' eq "bar", $message);
285
286         $_ .= '';
287         my @x = /abc/g;
288         is(@x, 2, "/g reset after assignment");
289     }
290
291     {
292         my $message = '/g, \G and pos';
293         $_ = "abdc";
294         pos $_ = 2;
295         /\Gc/gc;
296         is(pos $_, 2, $message);
297         /\Gc/g;
298         is(pos $_, undef, $message);
299     }
300
301     {
302         my $message = '(?{ })';
303         our $out = 1;
304         'abc' =~ m'a(?{ $out = 2 })b';
305         is($out, 2, $message);
306
307         $out = 1;
308         'abc' =~ m'a(?{ $out = 3 })c';
309         is($out, 1, $message);
310     }
311
312     {
313         $_ = 'foobar1 bar2 foobar3 barfoobar5 foobar6';
314         my @out = /(?<!foo)bar./g;
315         is("@out", 'bar2 barf', "Negative lookbehind");
316     }
317
318     {
319         my $message = "REG_INFTY tests";
320         # Tests which depend on REG_INFTY
321
322         #  Defaults assumed if this fails
323         eval { require Config; };
324         $::reg_infty   = $Config::Config{reg_infty} // 65535;
325         $::reg_infty_m = $::reg_infty - 1;
326         $::reg_infty_p = $::reg_infty + 1;
327         $::reg_infty_m = $::reg_infty_m;   # Suppress warning.
328
329         # As well as failing if the pattern matches do unexpected things, the
330         # next three tests will fail if you should have picked up a lower-than-
331         # default value for $reg_infty from Config.pm, but have not.
332
333         is(eval q{('aaa' =~ /(a{1,$::reg_infty_m})/)[0]}, 'aaa', $message);
334         is($@, '', $message);
335         is(eval q{('a' x $::reg_infty_m) =~ /a{$::reg_infty_m}/}, 1, $message);
336         is($@, '', $message);
337         isnt(q{('a' x ($::reg_infty_m - 1)) !~ /a{$::reg_infty_m}/}, 1, $message);
338         is($@, '', $message);
339
340         eval "'aaa' =~ /a{1,$::reg_infty}/";
341         like($@, qr/^\QQuantifier in {,} bigger than/, $message);
342         eval "'aaa' =~ /a{1,$::reg_infty_p}/";
343         like($@, qr/^\QQuantifier in {,} bigger than/, $message);
344
345         # It should be 'a' x 2147483647, but that exhausts memory on
346         # reasonably sized modern machines
347         like('a' x $::reg_infty_p, qr/a{1,}/,
348              "{1,} matches more times than REG_INFTY");
349     }
350
351     {
352         # Poke a couple more parse failures
353         my $context = 'x' x 256;
354         eval qq("${context}y" =~ /(?<=$context)y/);
355         ok $@ =~ /^\QLookbehind longer than 255 not/, "Lookbehind limit";
356     }
357
358     {
359         # Long Monsters
360         for my $l (125, 140, 250, 270, 300000, 30) { # Ordered to free memory
361             my $a = 'a' x $l;
362             my $message = "Long monster, length = $l";
363             like("ba$a=", qr/a$a=/, $message);
364             unlike("b$a=", qr/a$a=/, $message);
365             like("b$a=", qr/ba+=/, $message);
366
367             like("ba$a=", qr/b(?:a|b)+=/, $message);
368         }
369     }
370
371     {
372         # 20000 nodes, each taking 3 words per string, and 1 per branch
373         my $long_constant_len = join '|', 12120 .. 32645;
374         my $long_var_len = join '|', 8120 .. 28645;
375         my %ans = ( 'ax13876y25677lbc' => 1,
376                     'ax13876y25677mcb' => 0, # not b.
377                     'ax13876y35677nbc' => 0, # Num too big
378                     'ax13876y25677y21378obc' => 1,
379                     'ax13876y25677y21378zbc' => 0,    # Not followed by [k-o]
380                     'ax13876y25677y21378y21378kbc' => 1,
381                     'ax13876y25677y21378y21378kcb' => 0, # Not b.
382                     'ax13876y25677y21378y21378y21378kbc' => 0, # 5 runs
383                   );
384
385         for (keys %ans) {
386             my $message = "20000 nodes, const-len '$_'";
387             ok !($ans{$_} xor /a(?=([yx]($long_constant_len)){2,4}[k-o]).*b./o), $message;
388
389             $message = "20000 nodes, var-len '$_'";
390             ok !($ans{$_} xor /a(?=([yx]($long_var_len)){2,4}[k-o]).*b./o,), $message;
391         }
392     }
393
394     {
395         my $message = "Complicated backtracking";
396         $_ = " a (bla()) and x(y b((l)u((e))) and b(l(e)e)e";
397         my $expect = "(bla()) ((l)u((e))) (l(e)e)";
398
399         our $c;
400         sub matchit {
401           m/
402              (
403                \(
404                (?{ $c = 1 })    # Initialize
405                (?:
406                  (?(?{ $c == 0 })   # PREVIOUS iteration was OK, stop the loop
407                    (?!
408                    )        # Fail: will unwind one iteration back
409                  )
410                  (?:
411                    [^()]+        # Match a big chunk
412                    (?=
413                      [()]
414                    )        # Do not try to match subchunks
415                  |
416                    \(
417                    (?{ ++$c })
418                  |
419                    \)
420                    (?{ --$c })
421                  )
422                )+        # This may not match with different subblocks
423              )
424              (?(?{ $c != 0 })
425                (?!
426                )        # Fail
427              )            # Otherwise the chunk 1 may succeed with $c>0
428            /xg;
429         }
430
431         my @ans = ();
432         my $res;
433         push @ans, $res while $res = matchit;
434         is("@ans", "1 1 1", $message);
435
436         @ans = matchit;
437         is("@ans", $expect, $message);
438
439         $message = "Recursion with (??{ })";
440         our $matched;
441         $matched = qr/\((?:(?>[^()]+)|(??{$matched}))*\)/;
442
443         @ans = my @ans1 = ();
444         push (@ans, $res), push (@ans1, $&) while $res = m/$matched/g;
445
446         is("@ans", "1 1 1", $message);
447         is("@ans1", $expect, $message);
448
449         @ans = m/$matched/g;
450         is("@ans", $expect, $message);
451
452     }
453
454     {
455         ok "abc" =~ /^(??{"a"})b/, '"abc" =~ /^(??{"a"})b/';
456     }
457
458     {
459         my @ans = ('a/b' =~ m%(.*/)?(.*)%);    # Stack may be bad
460         is("@ans", 'a/ b', "Stack may be bad");
461     }
462
463     {
464         my $message = "Eval-group not allowed at runtime";
465         my $code = '{$blah = 45}';
466         our $blah = 12;
467         eval { /(?$code)/ };
468         ok($@ && $@ =~ /not allowed at runtime/ && $blah == 12, $message);
469
470         $blah = 12;
471         my $res = eval { "xx" =~ /(?$code)/o };
472         {
473             no warnings 'uninitialized';
474             chomp $@; my $message = "$message '$@', '$res', '$blah'";
475             ok($@ && $@ =~ /not allowed at runtime/ && $blah == 12, $message);
476         }
477
478         $code = '=xx';
479         $blah = 12;
480         $res = eval { "xx" =~ /(?$code)/o };
481         {
482             no warnings 'uninitialized';
483             my $message = "$message '$@', '$res', '$blah'";
484             ok(!$@ && $res, $message);
485         }
486
487         $code = '{$blah = 45}';
488         $blah = 12;
489         eval "/(?$code)/";
490         is($blah, 45, $message);
491
492         $blah = 12;
493         /(?{$blah = 45})/;
494         is($blah, 45, $message);
495     }
496
497     {
498         my $message = "Pos checks";
499         my $x = 'banana';
500         $x =~ /.a/g;
501         is(pos $x, 2, $message);
502
503         $x =~ /.z/gc;
504         is(pos $x, 2, $message);
505
506         sub f {
507             my $p = $_[0];
508             return $p;
509         }
510
511         $x =~ /.a/g;
512         is(f (pos $x), 4, $message);
513     }
514
515     {
516         my $message = 'Checking $^R';
517         our $x = $^R = 67;
518         'foot' =~ /foo(?{$x = 12; 75})[t]/;
519         is($^R, 75, $message);
520
521         $x = $^R = 67;
522         'foot' =~ /foo(?{$x = 12; 75})[xy]/;
523         ok($^R eq '67' && $x eq '12', $message);
524
525         $x = $^R = 67;
526         'foot' =~ /foo(?{ $^R + 12 })((?{ $x = 12; $^R + 17 })[xy])?/;
527         ok($^R eq '79' && $x eq '12', $message);
528     }
529
530     {
531         is(qr/\b\v$/i,    '(?^i:\b\v$)', 'qr/\b\v$/i');
532         is(qr/\b\v$/s,    '(?^s:\b\v$)', 'qr/\b\v$/s');
533         is(qr/\b\v$/m,    '(?^m:\b\v$)', 'qr/\b\v$/m');
534         is(qr/\b\v$/x,    '(?^x:\b\v$)', 'qr/\b\v$/x');
535         is(qr/\b\v$/xism, '(?^msix:\b\v$)',  'qr/\b\v$/xism');
536         is(qr/\b\v$/,     '(?^:\b\v$)', 'qr/\b\v$/');
537     }
538
539     {   # Test that charset modifier work, and are interpolated
540         is(qr/\b\v$/, '(?^:\b\v$)', 'Verify no locale, no unicode_strings gives default modifier');
541         is(qr/(?l:\b\v$)/, '(?^:(?l:\b\v$))', 'Verify infix l modifier compiles');
542         is(qr/(?u:\b\v$)/, '(?^:(?u:\b\v$))', 'Verify infix u modifier compiles');
543         is(qr/(?l)\b\v$/, '(?^:(?l)\b\v$)', 'Verify (?l) compiles');
544         is(qr/(?u)\b\v$/, '(?^:(?u)\b\v$)', 'Verify (?u) compiles');
545
546         my $dual = qr/\b\v$/;
547         my $locale;
548
549       SKIP: {
550             skip 'Locales not available', 1 unless locales_enabled('LC_CTYPE');
551
552             use locale;
553             $locale = qr/\b\v$/;
554             is($locale,    '(?^l:\b\v$)', 'Verify has l modifier when compiled under use locale');
555             no locale;
556         }
557
558         use feature 'unicode_strings';
559         my $unicode = qr/\b\v$/;
560         is($unicode,    '(?^u:\b\v$)', 'Verify has u modifier when compiled under unicode_strings');
561         is(qr/abc$dual/,    '(?^u:abc(?^:\b\v$))', 'Verify retains d meaning when interpolated under locale');
562
563       SKIP: {
564             skip 'Locales not available', 1 unless locales_enabled('LC_CTYPE');
565
566             is(qr/abc$locale/,    '(?^u:abc(?^l:\b\v$))', 'Verify retains l when interpolated under unicode_strings');
567         }
568
569         no feature 'unicode_strings';
570       SKIP: {
571             skip 'Locales not available', 1 unless locales_enabled('LC_CTYPE');
572             is(qr/abc$locale/,    '(?^:abc(?^l:\b\v$))', 'Verify retains l when interpolated outside locale and unicode strings');
573         }
574
575         is(qr/def$unicode/,    '(?^:def(?^u:\b\v$))', 'Verify retains u when interpolated outside locale and unicode strings');
576
577       SKIP: {
578             skip 'Locales not available', 2 unless locales_enabled('LC_CTYPE');
579
580              use locale;
581             is(qr/abc$dual/,    '(?^l:abc(?^:\b\v$))', 'Verify retains d meaning when interpolated under locale');
582             is(qr/abc$unicode/,    '(?^l:abc(?^u:\b\v$))', 'Verify retains u when interpolated under locale');
583         }
584     }
585
586     {
587         my $message = "Look around";
588         $_ = 'xabcx';
589         foreach my $ans ('', 'c') {
590             ok(/(?<=(?=a)..)((?=c)|.)/g, $message);
591             is($1, $ans, $message);
592         }
593     }
594
595     {
596         my $message = "Empty clause";
597         $_ = 'a';
598         foreach my $ans ('', 'a', '') {
599             ok(/^|a|$/g, $message);
600             is($&, $ans, $message);
601         }
602     }
603
604     {
605         sub prefixify {
606         my $message = "Prefixify";
607             {
608                 my ($v, $a, $b, $res) = @_;
609                 ok($v =~ s/\Q$a\E/$b/, $message);
610                 is($v, $res, $message);
611             }
612         }
613
614         prefixify ('/a/b/lib/arch', "/a/b/lib", 'X/lib', 'X/lib/arch');
615         prefixify ('/a/b/man/arch', "/a/b/man", 'X/man', 'X/man/arch');
616     }
617
618     {
619         $_ = 'var="foo"';
620         /(\")/;
621         ok $1 && /$1/, "Capture a quote";
622     }
623
624     {
625         no warnings 'closure';
626         my $message = '(?{ $var } refers to package vars';
627         package aa;
628         our $c = 2;
629         $::c = 3;
630         '' =~ /(?{ $c = 4 })/;
631         main::is($c, 4, $message);
632         main::is($::c, 3, $message);
633     }
634
635     {
636         is(eval 'q(a:[b]:) =~ /[x[:foo:]]/', undef);
637         like ($@, qr/POSIX class \[:[^:]+:\] unknown in regex/,
638               'POSIX class [: :] must have valid name');
639
640         for my $d (qw [= .]) {
641             is(eval "/[[${d}foo${d}]]/", undef);
642             like ($@, qr/\QPOSIX syntax [$d $d] is reserved for future extensions/,
643                   "POSIX syntax [[$d $d]] is an error");
644         }
645     }
646
647     {
648         # test if failure of patterns returns empty list
649         my $message = "Failed pattern returns empty list";
650         $_ = 'aaa';
651         @_ = /bbb/;
652         is("@_", "", $message);
653
654         @_ = /bbb/g;
655         is("@_", "", $message);
656
657         @_ = /(bbb)/;
658         is("@_", "", $message);
659
660         @_ = /(bbb)/g;
661         is("@_", "", $message);
662     }
663
664     {
665         my $message = '@- and @+ and @{^CAPTURE} tests';
666
667         $_= "ace";
668         /c(?=.$)/;
669         is($#{^CAPTURE}, -1, $message);
670         is($#+, 0, $message);
671         is($#-, 0, $message);
672         is($+ [0], 2, $message);
673         is($- [0], 1, $message);
674         ok(!defined $+ [1] && !defined $- [1] &&
675            !defined $+ [2] && !defined $- [2], $message);
676
677         /a(c)(e)/;
678         is($#{^CAPTURE}, 1, $message); # one less than $#-
679         is($#+, 2, $message);
680         is($#-, 2, $message);
681         is($+ [0], 3, $message);
682         is($- [0], 0, $message);
683         is(${^CAPTURE}[0], "c", $message);
684         is($+ [1], 2, $message);
685         is($- [1], 1, $message);
686         is(${^CAPTURE}[1], "e", $message);
687         is($+ [2], 3, $message);
688         is($- [2], 2, $message);
689         ok(!defined $+ [3] && !defined $- [3] &&
690            !defined ${^CAPTURE}[2] && !defined ${^CAPTURE}[3] &&
691            !defined $+ [4] && !defined $- [4], $message);
692
693         # Exists has a special check for @-/@+ - bug 45147
694         ok(exists $-[0], $message);
695         ok(exists $+[0], $message);
696         ok(exists ${^CAPTURE}[0], $message);
697         ok(exists ${^CAPTURE}[1], $message);
698         ok(exists $-[2], $message);
699         ok(exists $+[2], $message);
700         ok(!exists ${^CAPTURE}[2], $message);
701         ok(!exists $-[3], $message);
702         ok(!exists $+[3], $message);
703         ok(exists ${^CAPTURE}[-1], $message);
704         ok(exists ${^CAPTURE}[-2], $message);
705         ok(exists $-[-1], $message);
706         ok(exists $+[-1], $message);
707         ok(exists $-[-3], $message);
708         ok(exists $+[-3], $message);
709         ok(!exists $-[-4], $message);
710         ok(!exists $+[-4], $message);
711         ok(!exists ${^CAPTURE}[-3], $message);
712
713
714         /.(c)(b)?(e)/;
715         is($#{^CAPTURE}, 2, $message); # one less than $#-
716         is($#+, 3, $message);
717         is($#-, 3, $message);
718         is(${^CAPTURE}[0], "c", $message);
719         is(${^CAPTURE}[2], "e", $message . "[$1 $3]");
720         is($+ [1], 2, $message);
721         is($- [1], 1, $message);
722         is($+ [3], 3, $message);
723         is($- [3], 2, $message);
724         ok(!defined $+ [2] && !defined $- [2] &&
725            !defined $+ [4] && !defined $- [4] &&
726            !defined ${^CAPTURE}[1], $message);
727
728         /.(c)/;
729         is($#{^CAPTURE}, 0, $message); # one less than $#-
730         is($#+, 1, $message);
731         is($#-, 1, $message);
732         is(${^CAPTURE}[0], "c", $message);
733         is($+ [0], 2, $message);
734         is($- [0], 0, $message);
735         is($+ [1], 2, $message);
736         is($- [1], 1, $message);
737         ok(!defined $+ [2] && !defined $- [2] &&
738            !defined $+ [3] && !defined $- [3] &&
739            !defined ${^CAPTURE}[1], $message);
740
741         /.(c)(ba*)?/;
742         is($#{^CAPTURE}, 0, $message); # one less than $#-
743         is($#+, 2, $message);
744         is($#-, 1, $message);
745
746         # Check that values don’t stick
747         "     "=~/()()()(.)(..)/;
748         my($m,$p,$q) = (\$-[5], \$+[5], \${^CAPTURE}[4]);
749         () = "$$_" for $m, $p, $q; # FETCH (or eqv.)
750         " " =~ /()/;
751         is $$m, undef, 'values do not stick to @- elements';
752         is $$p, undef, 'values do not stick to @+ elements';
753         is $$q, undef, 'values do not stick to @{^CAPTURE} elements';
754     }
755
756     foreach ('$+[0] = 13', '$-[0] = 13', '@+ = (7, 6, 5)',
757              '${^CAPTURE}[0] = 13',
758              '@- = qw (foo bar)', '$^N = 42') {
759         is(eval $_, undef);
760         like($@, qr/^Modification of a read-only value attempted/,
761              '$^N, @- and @+ are read-only');
762     }
763
764     {
765         my $message = '\G testing';
766         $_ = 'aaa';
767         pos = 1;
768         my @a = /\Ga/g;
769         is("@a", "a a", $message);
770
771         my $str = 'abcde';
772         pos $str = 2;
773         unlike($str, qr/^\G/, $message);
774         unlike($str, qr/^.\G/, $message);
775         like($str, qr/^..\G/, $message);
776         unlike($str, qr/^...\G/, $message);
777         ok($str =~ /\G../ && $& eq 'cd', $message);
778         ok($str =~ /.\G./ && $& eq 'bc', $message);
779
780     }
781
782     {
783         my $message = '\G and intuit and anchoring';
784         $_ = "abcdef";
785         pos = 0;
786         ok($_ =~ /\Gabc/, $message);
787         ok($_ =~ /^\Gabc/, $message);
788
789         pos = 3;
790         ok($_ =~ /\Gdef/, $message);
791         pos = 3;
792         ok($_ =~ /\Gdef$/, $message);
793         pos = 3;
794         ok($_ =~ /abc\Gdef$/, $message);
795         pos = 3;
796         ok($_ =~ /^abc\Gdef$/, $message);
797         pos = 3;
798         ok($_ =~ /c\Gd/, $message);
799         pos = 3;
800         ok($_ =~ /..\GX?def/, $message);
801     }
802
803     {
804         my $s = '123';
805         pos($s) = 1;
806         my @a = $s =~ /(\d)\G/g; # this infinitely looped up till 5.19.1
807         is("@a", "1", '\G looping');
808     }
809
810
811     {
812         my $message = 'pos inside (?{ })';
813         my $str = 'abcde';
814         our ($foo, $bar);
815         like($str, qr/b(?{$foo = $_; $bar = pos})c/, $message);
816         is($foo, $str, $message);
817         is($bar, 2, $message);
818         is(pos $str, undef, $message);
819
820         undef $foo;
821         undef $bar;
822         pos $str = undef;
823         ok($str =~ /b(?{$foo = $_; $bar = pos})c/g, $message);
824         is($foo, $str, $message);
825         is($bar, 2, $message);
826         is(pos $str, 3, $message);
827
828         $_ = $str;
829         undef $foo;
830         undef $bar;
831         like($_, qr/b(?{$foo = $_; $bar = pos})c/, $message);
832         is($foo, $str, $message);
833         is($bar, 2, $message);
834
835         undef $foo;
836         undef $bar;
837         ok(/b(?{$foo = $_; $bar = pos})c/g, $message);
838         is($foo, $str, $message);
839         is($bar, 2, $message);
840         is(pos, 3, $message);
841
842         undef $foo;
843         undef $bar;
844         pos = undef;
845         1 while /b(?{$foo = $_; $bar = pos})c/g;
846         is($foo, $str, $message);
847         is($bar, 2, $message);
848         is(pos, undef, $message);
849
850         undef $foo;
851         undef $bar;
852         $_ = 'abcde|abcde';
853         ok(s/b(?{$foo = $_; $bar = pos})c/x/g, $message);
854         is($foo, 'abcde|abcde', $message);
855         is($bar, 8, $message);
856         is($_, 'axde|axde', $message);
857
858         # List context:
859         $_ = 'abcde|abcde';
860         our @res;
861         () = /([ace]).(?{push @res, $1,$2})([ce])(?{push @res, $1,$2})/g;
862         @res = map {defined $_ ? "'$_'" : 'undef'} @res;
863         is("@res", "'a' undef 'a' 'c' 'e' undef 'a' undef 'a' 'c'", $message);
864
865         @res = ();
866         () = /([ace]).(?{push @res, $`,$&,$'})([ce])(?{push @res, $`,$&,$'})/g;
867         @res = map {defined $_ ? "'$_'" : 'undef'} @res;
868         is("@res", "'' 'ab' 'cde|abcde' " .
869                      "'' 'abc' 'de|abcde' " .
870                      "'abcd' 'e|' 'abcde' " .
871                      "'abcde|' 'ab' 'cde' " .
872                      "'abcde|' 'abc' 'de'", $message);
873     }
874
875     {
876         my $message = '\G anchor checks';
877         my $foo = 'aabbccddeeffgg';
878         pos ($foo) = 1;
879
880         ok($foo =~ /.\G(..)/g, $message);
881         is($1, 'ab', $message);
882
883         pos ($foo) += 1;
884         ok($foo =~ /.\G(..)/g, $message);
885         is($1, 'cc', $message);
886
887         pos ($foo) += 1;
888         ok($foo =~ /.\G(..)/g, $message);
889         is($1, 'de', $message);
890
891         ok($foo =~ /\Gef/g, $message);
892
893         undef pos $foo;
894         ok($foo =~ /\G(..)/g, $message);
895         is($1, 'aa', $message);
896
897         ok($foo =~ /\G(..)/g, $message);
898         is($1, 'bb', $message);
899
900         pos ($foo) = 5;
901         ok($foo =~ /\G(..)/g, $message);
902         is($1, 'cd', $message);
903     }
904
905     {
906         my $message = 'basic \G floating checks';
907         my $foo = 'aabbccddeeffgg';
908         pos ($foo) = 1;
909
910         ok($foo =~ /a+\G(..)/g, "$message: a+\\G");
911         is($1, 'ab', "$message: ab");
912
913         pos ($foo) += 1;
914         ok($foo =~ /b+\G(..)/g, "$message: b+\\G");
915         is($1, 'cc', "$message: cc");
916
917         pos ($foo) += 1;
918         ok($foo =~ /d+\G(..)/g, "$message: d+\\G");
919         is($1, 'de', "$message: de");
920
921         ok($foo =~ /\Gef/g, "$message: \\Gef");
922
923         pos ($foo) = 1;
924
925         ok($foo =~ /(?=a+\G)(..)/g, "$message: (?a+\\G)");
926         is($1, 'aa', "$message: aa");
927
928         pos ($foo) = 2;
929
930         ok($foo =~ /a(?=a+\G)(..)/g, "$message: a(?=a+\\G)");
931         is($1, 'ab', "$message: ab");
932
933     }
934
935     {
936         $_ = '123x123';
937         my @res = /(\d*|x)/g;
938         local $" = '|';
939         is("@res", "123||x|123|", "0 match in alternation");
940     }
941
942     {
943         my $message = "Match against temporaries (created via pp_helem())" .
944                          " is safe";
945         ok({foo => "bar\n" . $^X} -> {foo} =~ /^(.*)\n/g, $message);
946         is($1, "bar", $message);
947     }
948
949     {
950         my $message = 'package $i inside (?{ }), ' .
951                          'saved substrings and changing $_';
952         our @a = qw [foo bar];
953         our @b = ();
954         s/(\w)(?{push @b, $1})/,$1,/g for @a;
955         is("@b", "f o o b a r", $message);
956         is("@a", ",f,,o,,o, ,b,,a,,r,", $message);
957
958         $message = 'lexical $i inside (?{ }), ' .
959                          'saved substrings and changing $_';
960         no warnings 'closure';
961         my @c = qw [foo bar];
962         my @d = ();
963         s/(\w)(?{push @d, $1})/,$1,/g for @c;
964         is("@d", "f o o b a r", $message);
965         is("@c", ",f,,o,,o, ,b,,a,,r,", $message);
966     }
967
968     {
969         my $message = 'Brackets';
970         our $brackets;
971         $brackets = qr {
972             {  (?> [^{}]+ | (??{ $brackets }) )* }
973         }x;
974
975         ok("{{}" =~ $brackets, $message);
976         is($&, "{}", $message);
977         ok("something { long { and } hairy" =~ $brackets, $message);
978         is($&, "{ and }", $message);
979         ok("something { long { and } hairy" =~ m/((??{ $brackets }))/, $message);
980         is($&, "{ and }", $message);
981     }
982
983     {
984         $_ = "a-a\nxbb";
985         pos = 1;
986         ok(!m/^-.*bb/mg, '$_ = "a-a\nxbb"; m/^-.*bb/mg');
987     }
988
989     {
990         my $message = '\G anchor checks';
991         my $text = "aaXbXcc";
992         pos ($text) = 0;
993         ok($text !~ /\GXb*X/g, $message);
994     }
995
996     {
997         $_ = "xA\n" x 500;
998         unlike($_, qr/^\s*A/m, '$_ = "xA\n" x 500; /^\s*A/m"');
999
1000         my $text = "abc dbf";
1001         my @res = ($text =~ /.*?(b).*?\b/g);
1002         is("@res", "b b", '\b is not special');
1003     }
1004
1005     {
1006         my $message = '\S, [\S], \s, [\s]';
1007         my @a = map chr, 0 .. 255;
1008         my @b = grep m/\S/, @a;
1009         my @c = grep m/[^\s]/, @a;
1010         is("@b", "@c", $message);
1011
1012         @b = grep /\S/, @a;
1013         @c = grep /[\S]/, @a;
1014         is("@b", "@c", $message);
1015
1016         @b = grep /\s/, @a;
1017         @c = grep /[^\S]/, @a;
1018         is("@b", "@c", $message);
1019
1020         @b = grep /\s/, @a;
1021         @c = grep /[\s]/, @a;
1022         is("@b", "@c", $message);
1023
1024         # Test an inverted posix class with a char also in the class.
1025         my $nbsp = chr utf8::unicode_to_native(0xA0);
1026         my $non_s = chr utf8::unicode_to_native(0xA1);
1027         my $pat_string = "[^\\S ]";
1028         unlike(" ", qr/$pat_string/, "Verify ' ' !~ /$pat_string/");
1029         like("\t", qr/$pat_string/, "Verify '\\t =~ /$pat_string/");
1030         unlike($nbsp, qr/$pat_string/, "Verify non-utf8-NBSP !~ /$pat_string/");
1031         utf8::upgrade($nbsp);
1032         like($nbsp, qr/$pat_string/, "Verify utf8-NBSP =~ /$pat_string/");
1033         unlike($non_s, qr/$pat_string/, "Verify non-utf8-inverted-bang !~ /$pat_string/");
1034         utf8::upgrade($non_s);
1035         unlike($non_s, qr/$pat_string/, "Verify utf8-inverted-bang !~ /$pat_string/");
1036     }
1037     {
1038         my $message = '\D, [\D], \d, [\d]';
1039         my @a = map chr, 0 .. 255;
1040         my @b = grep /\D/, @a;
1041         my @c = grep /[^\d]/, @a;
1042         is("@b", "@c", $message);
1043
1044         @b = grep /\D/, @a;
1045         @c = grep /[\D]/, @a;
1046         is("@b", "@c", $message);
1047
1048         @b = grep /\d/, @a;
1049         @c = grep /[^\D]/, @a;
1050         is("@b", "@c", $message);
1051
1052         @b = grep /\d/, @a;
1053         @c = grep /[\d]/, @a;
1054         is("@b", "@c", $message);
1055     }
1056     {
1057         my $message = '\W, [\W], \w, [\w]';
1058         my @a = map chr, 0 .. 255;
1059         my @b = grep /\W/, @a;
1060         my @c = grep /[^\w]/, @a;
1061         is("@b", "@c", $message);
1062
1063         @b = grep /\W/, @a;
1064         @c = grep /[\W]/, @a;
1065         is("@b", "@c", $message);
1066
1067         @b = grep /\w/, @a;
1068         @c = grep /[^\W]/, @a;
1069         is("@b", "@c", $message);
1070
1071         @b = grep /\w/, @a;
1072         @c = grep /[\w]/, @a;
1073         is("@b", "@c", $message);
1074     }
1075
1076     {
1077         # see if backtracking optimization works correctly
1078         my $message = 'Backtrack optimization';
1079         like("\n\n", qr/\n   $ \n/x, $message);
1080         like("\n\n", qr/\n*  $ \n/x, $message);
1081         like("\n\n", qr/\n+  $ \n/x, $message);
1082         like("\n\n", qr/\n?  $ \n/x, $message);
1083         like("\n\n", qr/\n*? $ \n/x, $message);
1084         like("\n\n", qr/\n+? $ \n/x, $message);
1085         like("\n\n", qr/\n?? $ \n/x, $message);
1086         unlike("\n\n", qr/\n*+ $ \n/x, $message);
1087         unlike("\n\n", qr/\n++ $ \n/x, $message);
1088         like("\n\n", qr/\n?+ $ \n/x, $message);
1089     }
1090
1091     {
1092         package S;
1093         use overload '""' => sub {'Object S'};
1094         sub new {bless []}
1095
1096         my $message  = "Ref stringification";
1097       ::ok(do { \my $v} =~ /^SCALAR/,   "Scalar ref stringification") or diag($message);
1098       ::ok(do {\\my $v} =~ /^REF/,      "Ref ref stringification") or diag($message);
1099       ::ok([]           =~ /^ARRAY/,    "Array ref stringification") or diag($message);
1100       ::ok({}           =~ /^HASH/,     "Hash ref stringification") or diag($message);
1101       ::ok('S' -> new   =~ /^Object S/, "Object stringification") or diag($message);
1102     }
1103
1104     {
1105         my $message = "Test result of match used as match";
1106         ok('a1b' =~ ('xyz' =~ /y/), $message);
1107         is($`, 'a', $message);
1108         ok('a1b' =~ ('xyz' =~ /t/), $message);
1109         is($`, 'a', $message);
1110     }
1111
1112     {
1113         my $message = '"1" is not \s';
1114         warning_is(sub {unlike("1\n" x 102, qr/^\s*\n/m, $message)},
1115                    undef, "$message (did not warn)");
1116     }
1117
1118     {
1119         my $message = '\s, [[:space:]] and [[:blank:]]';
1120         my %space = (spc   => " ",
1121                      tab   => "\t",
1122                      cr    => "\r",
1123                      lf    => "\n",
1124                      ff    => "\f",
1125         # There's no \v but the vertical tabulator seems miraculously
1126         # be 11 both in ASCII and EBCDIC.
1127                      vt    => chr(11),
1128                      false => "space");
1129
1130         my @space0 = sort grep {$space {$_} =~ /\s/         } keys %space;
1131         my @space1 = sort grep {$space {$_} =~ /[[:space:]]/} keys %space;
1132         my @space2 = sort grep {$space {$_} =~ /[[:blank:]]/} keys %space;
1133
1134         is("@space0", "cr ff lf spc tab vt", $message);
1135         is("@space1", "cr ff lf spc tab vt", $message);
1136         is("@space2", "spc tab", $message);
1137     }
1138
1139     {
1140         my $n= 50;
1141         # this must be a high number and go from 0 to N, as the bug we are looking for doesn't
1142         # seem to be predictable. Slight changes to the test make it fail earlier or later.
1143         foreach my $i (0 .. $n)
1144         {
1145             my $str= "\n" x $i;
1146             ok $str=~/.*\z/, "implicit MBOL check string disable does not break things length=$i";
1147         }
1148     }
1149     {
1150         # we are actually testing that we dont die when executing these patterns
1151         use utf8;
1152         my $e = "Böck";
1153         ok(utf8::is_utf8($e),"got a unicode string - rt75680");
1154
1155         ok($e !~ m/.*?[x]$/, "unicode string against /.*?[x]\$/ - rt75680");
1156         ok($e !~ m/.*?\p{Space}$/i, "unicode string against /.*?\\p{space}\$/i - rt75680");
1157         ok($e !~ m/.*?[xyz]$/, "unicode string against /.*?[xyz]\$/ - rt75680");
1158         ok($e !~ m/(.*?)[,\p{isSpace}]+((?:\p{isAlpha}[\p{isSpace}\.]{1,2})+)\p{isSpace}*$/, "unicode string against big pattern - rt75680");
1159     }
1160     {
1161         # we are actually testing that we dont die when executing these patterns
1162         my $e = "B" . uni_to_native("\x{f6}") . "ck";
1163         ok(!utf8::is_utf8($e), "got a latin string - rt75680");
1164
1165         ok($e !~ m/.*?[x]$/, "latin string against /.*?[x]\$/ - rt75680");
1166         ok($e !~ m/.*?\p{Space}$/i, "latin string against /.*?\\p{space}\$/i - rt75680");
1167         ok($e !~ m/.*?[xyz]$/,"latin string against /.*?[xyz]\$/ - rt75680");
1168         ok($e !~ m/(.*?)[,\p{isSpace}]+((?:\p{isAlpha}[\p{isSpace}\.]{1,2})+)\p{isSpace}*$/,"latin string against big pattern - rt75680");
1169     }
1170
1171     {
1172         #
1173         # Tests for bug 77414.
1174         #
1175
1176         my $message = '\p property after empty * match';
1177         {
1178             like("1", qr/\s*\pN/, $message);
1179             like("-", qr/\s*\p{Dash}/, $message);
1180             like(" ", qr/\w*\p{Blank}/, $message);
1181         }
1182
1183         like("1", qr/\s*\pN+/, $message);
1184         like("-", qr/\s*\p{Dash}{1}/, $message);
1185         like(" ", qr/\w*\p{Blank}{1,4}/, $message);
1186
1187     }
1188
1189     {   # Some constructs with Latin1 characters cause a utf8 string not
1190         # to match itself in non-utf8
1191         my $c = uni_to_native("\xc0");
1192         my $pattern = my $utf8_pattern = qr/(($c)+,?)/;
1193         utf8::upgrade($utf8_pattern);
1194         ok $c =~ $pattern, "\\xc0 =~ $pattern; Neither pattern nor target utf8";
1195         ok $c =~ /$pattern/i, "\\xc0 =~ /$pattern/i; Neither pattern nor target utf8";
1196         ok $c =~ $utf8_pattern, "\\xc0 =~ $pattern; pattern utf8, target not";
1197         ok $c =~ /$utf8_pattern/i, "\\xc0 =~ /$pattern/i; pattern utf8, target not";
1198         utf8::upgrade($c);
1199         ok $c =~ $pattern, "\\xc0 =~ $pattern; target utf8, pattern not";
1200         ok $c =~ /$pattern/i, "\\xc0 =~ /$pattern/i; target utf8, pattern not";
1201         ok $c =~ $utf8_pattern, "\\xc0 =~ $pattern; Both target and pattern utf8";
1202         ok $c =~ /$utf8_pattern/i, "\\xc0 =~ /$pattern/i; Both target and pattern utf8";
1203     }
1204
1205     {   # Make sure can override the formatting
1206         use feature 'unicode_strings';
1207         ok uni_to_native("\xc0") =~ /\w/, 'Under unicode_strings: "\xc0" =~ /\w/';
1208         ok uni_to_native("\xc0") !~ /(?d:\w)/, 'Under unicode_strings: "\xc0" !~ /(?d:\w)/';
1209     }
1210
1211     {
1212         my $str= "\x{100}";
1213         chop $str;
1214         my $qr= qr/$str/;
1215         is("$qr", "(?^:)", "Empty pattern qr// stringifies to (?^:) with unicode flag enabled - Bug #80212");
1216         $str= "";
1217         $qr= qr/$str/;
1218         is("$qr", "(?^:)", "Empty pattern qr// stringifies to (?^:) with unicode flag disabled - Bug #80212");
1219
1220     }
1221
1222     {
1223         local $::TODO = "[perl #38133]";
1224
1225         "A" =~ /(((?:A))?)+/;
1226         my $first = $2;
1227
1228         "A" =~ /(((A))?)+/;
1229         my $second = $2;
1230
1231         is($first, $second);
1232     }
1233
1234     {
1235         # RT #3516: \G in a m//g expression causes problems
1236         my $count = 0;
1237         while ("abc" =~ m/(\G[ac])?/g) {
1238             last if $count++ > 10;
1239         }
1240         ok($count < 10, 'RT #3516 A');
1241
1242         $count = 0;
1243         while ("abc" =~ m/(\G|.)[ac]/g) {
1244             last if $count++ > 10;
1245         }
1246         ok($count < 10, 'RT #3516 B');
1247
1248         $count = 0;
1249         while ("abc" =~ m/(\G?[ac])?/g) {
1250             last if $count++ > 10;
1251         }
1252         ok($count < 10, 'RT #3516 C');
1253     }
1254     {
1255         # RT #84294: Is this a bug in the simple Perl regex?
1256         #          : Nested buffers and (?{...}) dont play nicely on partial matches
1257         our @got= ();
1258         ok("ab" =~ /((\w+)(?{ push @got, $2 })){2}/,"RT #84294: Pattern should match");
1259         my $want= "'ab', 'a', 'b'";
1260         my $got= join(", ", map { defined($_) ? "'$_'" : "undef" } @got);
1261         is($got,$want,'RT #84294: check that "ab" =~ /((\w+)(?{ push @got, $2 })){2}/ leaves @got in the correct state');
1262     }
1263
1264     {
1265         # Suppress warnings, as the non-unicode one comes out even if turn off
1266         # warnings here (because the execution is done in another scope).
1267         local $SIG{__WARN__} = sub {};
1268         my $str = "\x{110000}";
1269
1270         unlike($str, qr/\p{ASCII_Hex_Digit=True}/, "Non-Unicode doesn't match \\p{AHEX=True}");
1271         like($str, qr/\p{ASCII_Hex_Digit=False}/, "Non-Unicode matches \\p{AHEX=False}");
1272         like($str, qr/\P{ASCII_Hex_Digit=True}/, "Non-Unicode matches \\P{AHEX=True}");
1273         unlike($str, qr/\P{ASCII_Hex_Digit=False}/, "Non-Unicode matches \\P{AHEX=FALSE}");
1274     }
1275
1276     {
1277         # Test that IDstart works, but because the author (khw) knows
1278         # regexes much better than the rest of the core, it is being done here
1279         # in the context of a regex which relies on buffer names beginng with
1280         # IDStarts.
1281         use utf8;
1282         my $str = "abc";
1283         like($str, qr/(?<a>abc)/, "'a' is legal IDStart");
1284         like($str, qr/(?<_>abc)/, "'_' is legal IDStart");
1285         like($str, qr/(?<ß>abc)/, "U+00DF is legal IDStart");
1286         like($str, qr/(?<ℕ>abc)/, "U+2115' is legal IDStart");
1287
1288         # This test works on Unicode 6.0 in which U+2118 and U+212E are legal
1289         # IDStarts there, but are not Word characters, and therefore Perl
1290         # doesn't allow them to be IDStarts.  But there is no guarantee that
1291         # Unicode won't change things around in the future so that at some
1292         # future Unicode revision these tests would need to be revised.
1293         foreach my $char ("%", "×", chr(0x2118), chr(0x212E)) {
1294             my $prog = <<"EOP";
1295 use utf8;;
1296 "abc" =~ qr/(?<$char>abc)/;
1297 EOP
1298             utf8::encode($prog);
1299             fresh_perl_like($prog, qr!Group name must start with a non-digit word character!, {},
1300                         sprintf("'U+%04X not legal IDFirst'", ord($char)));
1301         }
1302     }
1303
1304     { # [perl #101710]
1305         my $pat = "b";
1306         utf8::upgrade($pat);
1307         like("\xffb", qr/$pat/i, "/i: utf8 pattern, non-utf8 string, latin1-char preceding matching char in string");
1308     }
1309
1310     { # Crash with @a =~ // warning
1311         local $SIG{__WARN__} = sub {
1312              pass 'no crash for @a =~ // warning'
1313         };
1314         eval ' sub { my @a =~ // } ';
1315     }
1316
1317     { # Concat overloading and qr// thingies
1318         my @refs;
1319         my $qr = qr//;
1320         package Cat {
1321             require overload;
1322             overload->import(
1323                 '""' => sub { ${$_[0]} },
1324                 '.' => sub {
1325                     push @refs, ref $_[1] if ref $_[1];
1326                     bless $_[2] ? \"$_[1]${$_[0]}" : \"${$_[0]}$_[1]"
1327                 }
1328             );
1329         }
1330         my $s = "foo";
1331         my $o = bless \$s, Cat::;
1332         /$o$qr/;
1333         is "@refs", "Regexp", '/$o$qr/ passes qr ref to cat overload meth';
1334     }
1335
1336     {
1337         my $count=0;
1338         my $str="\n";
1339         $count++ while $str=~/.*/g;
1340         is $count, 2, 'test that ANCH_MBOL works properly. We should get 2 from $count++ while "\n"=~/.*/g';
1341         my $class_count= 0;
1342         $class_count++ while $str=~/[^\n]*/g;
1343         is $class_count, $count, 'while "\n"=~/.*/g and while "\n"=~/[^\n]*/g should behave the same';
1344         my $anch_count= 0;
1345         $anch_count++ while $str=~/^.*/mg;
1346         is $anch_count, 1, 'while "\n"=~/^.*/mg should match only once';
1347     }
1348
1349     { # [perl #111174]
1350         use re '/u';
1351         my $A_grave = uni_to_native("\xc0");
1352         like uni_to_native("\xe0"), qr/(?i:$A_grave)/, "(?i: shouldn't lose the passed in /u";
1353         use re '/a';
1354         unlike "\x{100}", qr/(?i:\w)/, "(?i: shouldn't lose the passed in /a";
1355         use re '/aa';
1356         unlike 'k', qr/(?i:\N{KELVIN SIGN})/, "(?i: shouldn't lose the passed in /aa";
1357         unlike 'k', qr'(?i:\N{KELVIN SIGN})', "(?i: shouldn't lose the passed in /aa";
1358     }
1359
1360     {
1361         # the test for whether the pattern should be re-compiled should
1362         # consider the UTF8ness of the previous and current pattern
1363         # string, as well as the physical bytes of the pattern string
1364
1365         for my $s (byte_utf8a_to_utf8n("\xc4\x80"), "\x{100}") {
1366             ok($s =~ /^$s$/, "re-compile check is UTF8-aware");
1367         }
1368     }
1369
1370     #  #113682 more overloading and qr//
1371     # when doing /foo$overloaded/, if $overloaded returns
1372     # a qr/(?{})/ via qr or "" overloading, then 'use re 'eval'
1373     # shouldn't be required. Via '.', it still is.
1374     {
1375         package Qr0;
1376         use overload 'qr' => sub { qr/(??{50})/ };
1377
1378         package Qr1;
1379         use overload '""' => sub { qr/(??{51})/ };
1380
1381         package Qr2;
1382         use overload '.'  => sub { $_[1] . qr/(??{52})/ };
1383
1384         package Qr3;
1385         use overload '""' => sub { qr/(??{7})/ },
1386                      '.'  => sub { $_[1] . qr/(??{53})/ };
1387
1388         package Qr_indirect;
1389         use overload '""'  => sub { $_[0][0] };
1390
1391         package main;
1392
1393         for my $i (0..3) {
1394             my $o = bless [], "Qr$i";
1395             if ((0,0,1,1)[$i]) {
1396                 eval { "A5$i" =~ /^A$o$/ };
1397                 like($@, qr/Eval-group not allowed/, "Qr$i");
1398                 eval { "5$i" =~ /$o/ };
1399                 like($@, ($i == 3 ? qr/^$/ : qr/no method found,/),
1400                         "Qr$i bare");
1401                 {
1402                     use re 'eval';
1403                     ok("A5$i" =~ /^A$o$/, "Qr$i - with use re eval");
1404                     eval { "5$i" =~ /$o/ };
1405                     like($@, ($i == 3 ? qr/^$/ : qr/no method found,/),
1406                             "Qr$i bare - with use re eval");
1407                 }
1408             }
1409             else {
1410                 ok("A5$i" =~ /^A$o$/, "Qr$i");
1411                 ok("5$i" =~ /$o/, "Qr$i bare");
1412             }
1413         }
1414
1415         my $o = bless [ bless [], "Qr1" ], 'Qr_indirect';
1416         ok("A51" =~ /^A$o/, "Qr_indirect");
1417         ok("51" =~ /$o/, "Qr_indirect bare");
1418     }
1419
1420     {   # Various flags weren't being set when a [] is optimized into an
1421         # EXACTish node
1422         ok("\x{017F}\x{017F}" =~ qr/^[$sharp_s]?$/i, "[] to EXACTish optimization");
1423     }
1424
1425     {
1426         for my $char (":", uni_to_native("\x{f7}"), "\x{2010}") {
1427             my $utf8_char = $char;
1428             utf8::upgrade($utf8_char);
1429             my $display = $char;
1430             $display = display($display);
1431             my $utf8_display = "utf8::upgrade(\"$display\")";
1432
1433             like($char, qr/^$char?$/, "\"$display\" =~ /^$display?\$/");
1434             like($char, qr/^$utf8_char?$/, "my \$p = \"$display\"; utf8::upgrade(\$p); \"$display\" =~ /^\$p?\$/");
1435             like($utf8_char, qr/^$char?$/, "my \$c = \"$display\"; utf8::upgrade(\$c); \"\$c\" =~ /^$display?\$/");
1436             like($utf8_char, qr/^$utf8_char?$/, "my \$c = \"$display\"; utf8::upgrade(\$c); my \$p = \"$display\"; utf8::upgrade(\$p); \"\$c\" =~ /^\$p?\$/");
1437         }
1438     }
1439
1440     {
1441         # #116148: Pattern utf8ness sticks around globally
1442         # the utf8 in the first match was sticking around for the second
1443         # match
1444
1445         use feature 'unicode_strings';
1446
1447         my $x = "\x{263a}";
1448         $x =~ /$x/;
1449
1450         my $text = "Perl";
1451         ok("Perl" =~ /P.*$/i, '#116148');
1452     }
1453
1454     { # 118297: Mixing up- and down-graded strings in regex
1455         utf8::upgrade(my $u = "\x{e5}");
1456         utf8::downgrade(my $d = "\x{e5}");
1457         my $warned;
1458         local $SIG{__WARN__} = sub { $warned++ if $_[0] =~ /\AMalformed UTF-8/ };
1459         my $re = qr/$u$d/;
1460         ok(!$warned, "no warnings when interpolating mixed up-/downgraded strings in pattern");
1461         my $c = "\x{e5}\x{e5}";
1462         utf8::downgrade($c);
1463         like($c, $re, "mixed up-/downgraded pattern matches downgraded string");
1464         utf8::upgrade($c);
1465         like($c, $re, "mixed up-/downgraded pattern matches upgraded string");
1466     }
1467
1468     {
1469         # if we have 87 capture buffers defined then \87 should refer to the 87th.
1470         # test that this is true for 1..100
1471         # Note that this test causes the engine to recurse at runtime, and
1472         # hence use a lot of C stack.
1473
1474         # Compiling for all 100 nested captures blows the stack under
1475         # clang and ASan; reduce.
1476         my $max_captures = $Config{ccflags} =~ /sanitize/ ? 20 : 100;
1477
1478         for my $i (1..100) {
1479             if ($i > $max_captures) {
1480                 pass("skipping $i buffers under ASan aa");
1481                 pass("skipping $i buffers under ASan aba");
1482                 next;
1483             }
1484             my $capture= "a";
1485             $capture= "($capture)" for 1 .. $i;
1486             for my $mid ("","b") {
1487                 my $str= "a${mid}a";
1488                 my $backref= "\\$i";
1489                 eval {
1490                     ok($str=~/$capture$mid$backref/,"\\$i works with $i buffers '$str'=~/...$mid$backref/");
1491                     1;
1492                 } or do {
1493                     is("$@","","\\$i works with $i buffers works with $i buffers '$str'=~/...$mid$backref/");
1494                 };
1495             }
1496         }
1497     }
1498
1499     # this mixture of readonly (not COWable) and COWable strings
1500     # messed up the capture buffers under COW. The actual test results
1501     # are incidental; the issue is was an AddressSanitizer failure
1502     {
1503         my $c ='AB';
1504         my $res = '';
1505         for ($c, 'C', $c, 'DE') {
1506             ok(/(.)/, "COWable match");
1507             $res .= $1;
1508         }
1509         is($res, "ACAD");
1510     }
1511
1512
1513     {
1514         # RT #45667
1515         # /[#$x]/x didn't interpolate the var $x.
1516         my $b = 'cd';
1517         my $s = 'abcd$%#&';
1518         $s =~ s/[a#$b%]/X/g;
1519         is ($s, 'XbXX$XX&', 'RT #45667 without /x');
1520         $s = 'abcd$%#&';
1521         $s =~ s/[a#$b%]/X/gx;
1522         is ($s, 'XbXX$XX&', 'RT #45667 with /x');
1523     }
1524
1525     {
1526         no warnings "uninitialized";
1527         my @a;
1528         $a[1]++;
1529         /@a/;
1530         pass('no crash with /@a/ when array has nonexistent elems');
1531     }
1532
1533     {
1534         is runperl(prog => 'delete $::{qq-\cR-}; //; print qq-ok\n-'),
1535            "ok\n",
1536            'deleting *^R does not result in crashes';
1537         no warnings 'once';
1538         *^R = *caretRglobwithnoscalar;
1539         "" =~ /(?{42})/;
1540         is $^R, 42, 'assigning to *^R does not result in a crash';
1541         is runperl(
1542              stderr => 1,
1543              prog => 'eval q|'
1544                     .' q-..- =~ /(??{undef *^R;q--})(?{42})/; '
1545                     .' print qq-$^R\n-'
1546                     .'|'
1547            ),
1548            "42\n",
1549            'undefining *^R within (??{}) does not result in a crash';
1550     }
1551
1552     SKIP: {   # Test literal range end point special handling
1553         unless ($::IS_EBCDIC) {
1554             skip "Valid only for EBCDIC", 24;
1555         }
1556
1557         like("\x89", qr/[i-j]/, '"\x89" should match [i-j]');
1558         unlike("\x8A", qr/[i-j]/, '"\x8A" shouldnt match [i-j]');
1559         unlike("\x90", qr/[i-j]/, '"\x90" shouldnt match [i-j]');
1560         like("\x91", qr/[i-j]/, '"\x91" should match [i-j]');
1561
1562         like("\x89", qr/[i-\N{LATIN SMALL LETTER J}]/, '"\x89" should match [i-\N{LATIN SMALL LETTER J}]');
1563         unlike("\x8A", qr/[i-\N{LATIN SMALL LETTER J}]/, '"\x8A" shouldnt match [i-\N{LATIN SMALL LETTER J}]');
1564         unlike("\x90", qr/[i-\N{LATIN SMALL LETTER J}]/, '"\x90" shouldnt match [i-\N{LATIN SMALL LETTER J}]');
1565         like("\x91", qr/[i-\N{LATIN SMALL LETTER J}]/, '"\x91" should match [i-\N{LATIN SMALL LETTER J}]');
1566
1567         like("\x89", qr/[i-\N{U+6A}]/, '"\x89" should match [i-\N{U+6A}]');
1568         unlike("\x8A", qr/[i-\N{U+6A}]/, '"\x8A" shouldnt match [i-\N{U+6A}]');
1569         unlike("\x90", qr/[i-\N{U+6A}]/, '"\x90" shouldnt match [i-\N{U+6A}]');
1570         like("\x91", qr/[i-\N{U+6A}]/, '"\x91" should match [i-\N{U+6A}]');
1571
1572         like("\x89", qr/[\N{U+69}-\N{U+6A}]/, '"\x89" should match [\N{U+69}-\N{U+6A}]');
1573         unlike("\x8A", qr/[\N{U+69}-\N{U+6A}]/, '"\x8A" shouldnt match [\N{U+69}-\N{U+6A}]');
1574         unlike("\x90", qr/[\N{U+69}-\N{U+6A}]/, '"\x90" shouldnt match [\N{U+69}-\N{U+6A}]');
1575         like("\x91", qr/[\N{U+69}-\N{U+6A}]/, '"\x91" should match [\N{U+69}-\N{U+6A}]');
1576
1577         like("\x89", qr/[i-\x{91}]/, '"\x89" should match [i-\x{91}]');
1578         like("\x8A", qr/[i-\x{91}]/, '"\x8A" should match [i-\x{91}]');
1579         like("\x90", qr/[i-\x{91}]/, '"\x90" should match [i-\x{91}]');
1580         like("\x91", qr/[i-\x{91}]/, '"\x91" should match [i-\x{91}]');
1581
1582         # Need to use eval, because tries to compile on ASCII platforms even
1583         # though the tests are skipped, and fails because 0x89-j is an illegal
1584         # range there.
1585         like("\x89", eval 'qr/[\x{89}-j]/', '"\x89" should match [\x{89}-j]');
1586         like("\x8A", eval 'qr/[\x{89}-j]/', '"\x8A" should match [\x{89}-j]');
1587         like("\x90", eval 'qr/[\x{89}-j]/', '"\x90" should match [\x{89}-j]');
1588         like("\x91", eval 'qr/[\x{89}-j]/', '"\x91" should match [\x{89}-j]');
1589     }
1590
1591     # These are based on looking at the code in regcomp.c
1592     # We don't look for specific code, just the existence of an SSC
1593     foreach my $re (qw(     qr/a?c/
1594                             qr/a?c/i
1595                             qr/[ab]?c/
1596                             qr/\R?c/
1597                             qr/\d?c/d
1598                             qr/\w?c/l
1599                             qr/\s?c/a
1600                             qr/[[:lower:]]?c/u
1601     )) {
1602       SKIP: {
1603         skip "no re-debug under miniperl" if is_miniperl;
1604         my $prog = <<"EOP";
1605 use re qw(Debug COMPILE);
1606 $re;
1607 EOP
1608         fresh_perl_like($prog, qr/synthetic stclass/, { stderr=>1 }, "$re generates a synthetic start class");
1609       }
1610     }
1611
1612     {
1613         like "\x{AA}", qr/a?[\W_]/d, "\\W with /d synthetic start class works";
1614     }
1615
1616     SKIP: {
1617         skip("Tests are ASCII-centric, some would fail on EBCDIC", 12) if $::IS_EBCDIC;
1618
1619         # Verify that the very last Latin-1 U+00FF
1620         # (LATIN SMALL LETTER Y WITH DIAERESIS)
1621         # and its UPPER counterpart (U+0178 which is pure Unicode),
1622         # and likewise for the very first pure Unicode
1623         # (LATIN CAPITAL LETTER A WITH MACRON) fold-match properly,
1624         # and there are no off-by-one logic errors in the transition zone.
1625
1626         ok("\xFF" =~ /\xFF/i, "Y WITH DIAERESIS l =~ l");
1627         ok("\xFF" =~ /\x{178}/i, "Y WITH DIAERESIS l =~ u");
1628         ok("\x{178}" =~ /\xFF/i, "Y WITH DIAERESIS u =~ l");
1629         ok("\x{178}" =~ /\x{178}/i, "Y WITH DIAERESIS u =~ u");
1630
1631         # U+00FF with U+05D0 (non-casing Hebrew letter).
1632         ok("\xFF\x{5D0}" =~ /\xFF\x{5D0}/i, "Y WITH DIAERESIS l =~ l");
1633         ok("\xFF\x{5D0}" =~ /\x{178}\x{5D0}/i, "Y WITH DIAERESIS l =~ u");
1634         ok("\x{178}\x{5D0}" =~ /\xFF\x{5D0}/i, "Y WITH DIAERESIS u =~ l");
1635         ok("\x{178}\x{5D0}" =~ /\x{178}\x{5D0}/i, "Y WITH DIAERESIS u =~ u");
1636
1637         # U+0100.
1638         ok("\x{100}" =~ /\x{100}/i, "A WITH MACRON u =~ u");
1639         ok("\x{100}" =~ /\x{101}/i, "A WITH MACRON u =~ l");
1640         ok("\x{101}" =~ /\x{100}/i, "A WITH MACRON l =~ u");
1641         ok("\x{101}" =~ /\x{101}/i, "A WITH MACRON l =~ l");
1642     }
1643
1644     {
1645         use utf8;
1646         ok("abc" =~ /a\85b\85c/x, "NEL is white-space under /x");
1647     }
1648
1649     {
1650         ok('a(b)c' =~ qr(a\(b\)c), "'\\(' is a literal in qr(...)");
1651         ok('a[b]c' =~ qr[a\[b\]c], "'\\[' is a literal in qr[...]");
1652         ok('a{3}c' =~ qr{a\{3\}c},  # Only failed when { could be a meta
1653               "'\\{' is a literal in qr{...}, where it could be a quantifier");
1654
1655         # This one is for completeness
1656         ok('a<b>c' =~ qr<a\<b\>c>, "'\\<' is a literal in qr<...>)");
1657     }
1658
1659     {   # Was getting optimized into EXACT (non-folding node)
1660         my $x = qr/[x]/i;
1661         utf8::upgrade($x);
1662         like("X", qr/$x/, "UTF-8 of /[x]/i matches upper case");
1663     }
1664
1665 SKIP: {   # make sure we get an error when \p{} cannot load Unicode tables
1666         skip("Unicode tables always now loaded", 1);
1667         fresh_perl_like(<<'        prog that cannot load uni tables',
1668             BEGIN {
1669                 @INC = '../lib';
1670                 require utf8; require 'utf8_heavy.pl';
1671                 @INC = ();
1672             }
1673             $name = 'A B';
1674             if ($name =~ /(\p{IsUpper}) (\p{IsUpper})/){
1675                 print "It's good! >$1< >$2<\n";
1676             } else {
1677                 print "It's not good...\n";
1678             }
1679         prog that cannot load uni tables
1680                   qr/^Can't locate unicore\/Heavy\.pl(?x:
1681                    )|^Can't find Unicode property definition/,
1682                   undef,
1683                  '\p{} should not fail silently when uni tables evanesce');
1684     }
1685
1686     {   # Special handling of literal-ended ranges in [...] was breaking this
1687         use utf8;
1688         like("ÿ", qr/[ÿ-ÿ]/, "\"ÿ\" should match [ÿ-ÿ]");
1689     }
1690
1691     {   # [perl #123539]
1692         like("TffffffffffffTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTT5TTTTTTTTTTTTTTTTTTTTTTTTT3TTgTTTTTTTTTTTTTTTTTTTTT2TTTTTTTTTTTTTTTTTTTTTTTHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHiHHHHHHHfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff&ffff", qr/TffffffffffffTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTT5TTTTTTTTTTTTTTTTTTTTTTTTT3TTgTTTTTTTTTTTTTTTTTTTTT2TTTTTTTTTTTTTTTTTTTTTTTHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHiHHHHHHHfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff&ffff/il, "");
1693         like("TffffffffffffT\x{100}TTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTT5TTTTTTTTTTTTTTTTTTTTTTTTT3TTgTTTTTTTTTTTTTTTTTTTTT2TTTTTTTTTTTTTTTTTTTTTTTHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHiHHHHHHHfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff&ffff", qr/TffffffffffffT\x{100}TTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTT5TTTTTTTTTTTTTTTTTTTTTTTTT3TTgTTTTTTTTTTTTTTTTTTTTT2TTTTTTTTTTTTTTTTTTTTTTTHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHiHHHHHHHfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff&ffff/il, "");
1694     }
1695
1696         {       # [perl #123604]
1697                 my($s, $x, @x) = ('abc', 'a', 'd');
1698                 my $long = 'b' x 2000;
1699                 my $eval = q{$s =~ m{$x[bbb]c} ? 1 : 0};
1700                 $eval =~ s{bbb}{$long};
1701                 my $match = eval $eval;
1702                 ok(1, "did not crash");
1703                 ok($match, "[bbb...] resolved as character class, not subscript");
1704         }
1705
1706         {       # [perl #123755]
1707                 for my $pat ('(??', '(?P', '(?i-') {
1708                         eval qq{ qr/$pat/ };
1709                         ok(1, "qr/$pat/ did not crash");
1710                         eval qq{ qr/${pat}\x{123}/ };
1711                         my $e = $@;
1712                         like($e, qr{\x{123}},
1713                                 "qr/${pat}x/ shows x in error even if it's a wide character");
1714                 }
1715         }
1716
1717         {
1718                 # Expect one of these sizes to cause overflow and wrap to negative
1719                 for my $bits (32, 64) {
1720                         my $wrapneg = 2 ** ($bits - 2) * 3;
1721                         for my $sign ('', '-') {
1722                                 my $pat = sprintf "qr/(?%s%u)/", $sign, $wrapneg;
1723                                 eval $pat;
1724                                 ok(1, "big backref $pat did not crash");
1725                         }
1726                 }
1727         }
1728         {
1729             # Test that we handle qr/\8888888/ and variants without an infinite loop,
1730             # we use a test within a test so we can todo it, and make sure we don't
1731             # infinite loop our tests.
1732             # NOTE - Do not put quotes in the code!
1733             # NOTE - We have to triple escape the backref in the pattern below.
1734             my $code='
1735                 BEGIN{require q(./test.pl);}
1736                 watchdog(3);
1737                 for my $len (1 .. 20) {
1738                     my $eights= q(8) x $len;
1739                     eval qq{ qr/\\\\$eights/ };
1740                 }
1741                 print q(No infinite loop here!);
1742             ';
1743             fresh_perl_is($code, "No infinite loop here!", {},
1744                 "test that we handle things like m/\\888888888/ without infinite loops" );
1745         }
1746
1747         {   # Test that we handle some malformed UTF-8 without looping [perl
1748             # #123562]
1749
1750             my $code='
1751                 BEGIN{require q(./test.pl);}
1752                 use Encode qw(_utf8_on);
1753                 # \x80 and \x41 are continuation bytes in their respective
1754                 # character sets
1755                 my $malformed = (ord("A") == 65) ? "a\x80\n" : "a\x41\n";
1756                 utf8::downgrade($malformed);
1757                 _utf8_on($malformed);
1758                 watchdog(3);
1759                 $malformed =~ /(\n\r|\r)$/;
1760                 print q(No infinite loop here!);
1761             ';
1762             fresh_perl_like($code, qr/Malformed UTF-8 character/, {},
1763                 "test that we handle some UTF-8 malformations without looping" );
1764         }
1765
1766         {
1767                 # [perl #123843] hits SEGV trying to compile this pattern
1768                 my $match;
1769                 eval q{ ($match) = ("xxyxxyxy" =~ m{(x+(y(?1))*)}) };
1770                 ok(1, "compiled GOSUB in CURLYM ok");
1771                 is($match, 'xxyxxyx', "matched GOSUB in CURLYM");
1772         }
1773
1774         {
1775                 # [perl #123852] doesn't avoid all the capture-related work with
1776                 # //n, leading to possible memory corruption
1777                 eval q{ qr{()(?1)}n };
1778                 my $error = $@;
1779                 ok(1, "qr{()(?1)}n didn't crash");
1780                 like($error, qr{Reference to nonexistent group},
1781                                 'gave appropriate error for qr{()(?1)}n');
1782         }
1783
1784         {
1785             # [perl #126406] panic with unmatchable quantifier
1786             my $code='
1787                 no warnings "regexp";
1788                 "" =~ m/(.0\N{6,0}0\N{6,0}000000000000000000000000000000000)/;
1789             ';
1790             fresh_perl_is($code, "", {},
1791                             "perl [#126406] panic");
1792         }
1793         {
1794             my $bug="[perl #126182]"; # test for infinite pattern recursion
1795             for my $tuple (
1796                     [ 'q(a)=~/(.(?2))((?<=(?=(?1)).))/', "died", "look ahead left recursion fails fast" ],
1797                     [ 'q(aa)=~/(?R)a/', "died", "left-recursion fails fast", ],
1798                     [ 'q(bbaa)=~/(?&x)(?(DEFINE)(?<x>(?&y)*a)(?<y>(?&x)*b))/',
1799                         "died", "inter-cyclic optional left recursion dies" ],
1800                     [ 'q(abc) =~ /a((?1)?)c/', "died", "optional left recursion dies" ],
1801                     [ 'q(abc) =~ /a((?1)??)c/', "died", "min mod left recursion dies" ],
1802                     [ 'q(abc) =~ /a((?1)*)c/', "died", "* left recursion dies" ],
1803                     [ 'q(abc) =~ /a((?1)+)c/', "died", "+ left recursion dies" ],
1804                     [ 'q(abc) =~ /a((?1){0,3})c/', "died", "{0,3} left recursion fails fast" ],
1805
1806                     [ 'q(aaabbb)=~/a(?R)?b/', "matched", "optional self recursion works" ],
1807                     [ '"((5maa-maa)(maa-3maa))" =~ /(\\\\((?:[^()]++|(?0))*+\\\\))/', "matched",
1808                         "recursion and possessive captures", "((5maa-maa)(maa-3maa))"],
1809                     [ '"((5maa-maa)(maa-3maa))" =~ /(\\\\((?:[^()]++|(?1))*+\\\\))/', "matched",
1810                         "recursion and possessive captures", "((5maa-maa)(maa-3maa))"],
1811                     [ '"((5maa-maa)(maa-3maa))" =~ /(\\\\((?:[^()]+|(?0))*\\\\))/', "matched",
1812                         "recursion and possessive captures", "((5maa-maa)(maa-3maa))"],
1813                     [ '"((5maa-maa)(maa-3maa))" =~ /(\\\\((?:[^()]+|(?1))*\\\\))/', "matched",
1814                         "recursion and possessive captures", "((5maa-maa)(maa-3maa))"],
1815             ) {
1816                 my ($expr, $expect, $test_name, $cap1)= @$tuple;
1817                 # avoid quotes in this code!
1818                 my $code='
1819                     BEGIN{require q(./test.pl);}
1820                     watchdog(3);
1821                     my $status= eval(q{ !(' . $expr . ') ? q(failed) : ' .
1822                         ($cap1 ? '($1 ne q['.$cap1.']) ? qq(badmatch:$1) : ' : '') .
1823                         ' q(matched) })
1824                                 || ( ( $@ =~ /Infinite recursion/ ) ? qq(died) : q(strange-death) );
1825                     print $status;
1826                 ';
1827                 fresh_perl_is($code, $expect, {}, "$bug - $test_name" );
1828             }
1829         }
1830         {
1831             fresh_perl_is('
1832                 BEGIN{require q(test.pl);}
1833                 watchdog(3);
1834                 $SIG{ALRM} = sub {print "Timeout\n"; exit(1)};
1835                 alarm 1;
1836                 $_ = "a" x 1000 . "b" x 1000 . "c" x 1000;
1837                 /.*a.*b.*c.*[de]/;
1838             ',"Timeout",{},"Test Perl 73464")
1839         }
1840
1841         {   # [perl #128686], crashed the the interpreter
1842             my $AE = chr utf8::unicode_to_native(0xC6);
1843             my $ae = chr utf8::unicode_to_native(0xE6);
1844             my $re = qr/[$ae\s]/i;
1845             ok($AE !~ $re, '/[\xE6\s]/i doesn\'t match \xC6 when not in UTF-8');
1846             utf8::upgrade $AE;
1847             ok($AE =~ $re, '/[\xE6\s]/i matches \xC6 when in UTF-8');
1848         }
1849
1850         {
1851             is(0+("\n" =~ m'\n'), 1, q|m'\n' should interpolate escapes|);
1852         }
1853
1854         {
1855             my $str = "a\xB6";
1856             ok( $str =~ m{^(a|a\x{b6})$}, "fix [perl #129950] - latin1 case" );
1857             utf8::upgrade($str);
1858             ok( $str =~ m{^(a|a\x{b6})$}, "fix [perl #129950] - utf8 case" );
1859         }
1860         {
1861             my $got= run_perl( switches => [ '-l' ], prog => <<'EOF_CODE' );
1862             my $died= !eval {
1863                 $_=qq(ab);
1864                 print;
1865                 my $p=qr/(?{ s!!x! })/;
1866                 /$p/;
1867                 print;
1868                 /a/;
1869                 /$p/;
1870                 print;
1871                 /b/;
1872                 /$p/;
1873                 print;
1874                 //;
1875                 1;
1876             };
1877             $error = $died ? ($@ || qq(Zombie)) : qq(none);
1878             print $died ? qq(died) : qq(lived);
1879             print qq(Error: $@);
1880 EOF_CODE
1881             my @got= split /\n/, $got;
1882             is($got[0],"ab","empty pattern in regex codeblock: got expected start string");
1883             is($got[1],"xab",
1884                 "empty pattern in regex codeblock: first subst with no last-match worked right");
1885             is($got[2],"xxb","empty pattern in regex codeblock: second subst worked right");
1886             is($got[3],"xxx","empty pattern in regex codeblock: third subst worked right");
1887             is($got[4],"died","empty pattern in regex codeblock: died as expected");
1888             like($got[5],qr/Error: Infinite recursion via empty pattern/,
1889            "empty pattern in regex codeblock: produced the right exception message" );
1890         }
1891
1892     # This test is based on the one directly above, which happened to
1893     # leak. Repeat the test, but stripped down to the bare essentials
1894     # of the leak, which is to die while executing a regex which is
1895     # already the current regex, thus causing the saved outer set of
1896     # capture offsets to leak. The test itself doesn't do anything
1897     # except sit around hoping not to be triggered by ASan
1898     {
1899         eval {
1900             my $s = "abcd";
1901             $s =~ m{([abcd]) (?{ die if $1 eq 'd'; })}gx;
1902             $s =~ //g;
1903             $s =~ //g;
1904             $s =~ //g;
1905         };
1906         pass("call to current regex doesn't leak");
1907     }
1908
1909
1910
1911     {
1912         # [perl #130495] /x comment skipping stopped a byte short, leading
1913         # to assertion failure or 'malformed utf-8 character" warning
1914         fresh_perl_is(
1915             "use utf8; m{a#\x{124}}x", '', {wide_chars => 1},
1916             '[perl #130495] utf-8 character at end of /x comment should not misparse',
1917         );
1918     }
1919     {
1920         # [perl #130522] causes out-of-bounds read detected by clang with
1921         # address=sanitized when length of the STCLASS string is greater than
1922         # length of target string.
1923         my $re = qr{(?=\0z)\0?z?$}i;
1924         my($yes, $no) = (1, "");
1925         for my $test (
1926             [ $no,  undef,   '<undef>' ],
1927             [ $no,  '',      '' ],
1928             [ $no,  "\0",    '\0' ],
1929             [ $yes, "\0z",   '\0z' ],
1930             [ $no,  "\0z\0", '\0z\0' ],
1931             [ $yes, "\0z\n", '\0z\n' ],
1932         ) {
1933             my($result, $target, $disp) = @$test;
1934             no warnings qw/uninitialized/;
1935             is($target =~ $re, $result, "[perl #130522] with target '$disp'");
1936         }
1937     }
1938     {
1939         # [perl #129377] backref to an unmatched capture should not cause
1940         # reading before start of string.
1941         SKIP: {
1942             skip "no re-debug under miniperl" if is_miniperl;
1943             my $prog = <<'EOP';
1944 use re qw(Debug EXECUTE);
1945 "x" =~ m{ () y | () \1 }x;
1946 EOP
1947             fresh_perl_like($prog, qr{
1948                 \A (?! .* ^ \s+ - )
1949             }msx, { stderr => 1 }, "Offsets in debug output are not negative");
1950         }
1951     }
1952     {
1953         # buffer overflow
1954
1955         # This test also used to leak - fixed by the commit which added
1956         # this line.
1957
1958         fresh_perl_is("BEGIN{\$^H=0x200000}\ns/[(?{//xx",
1959                       "Unmatched [ in regex; marked by <-- HERE in m/[ <-- HERE (?{/ at (eval 1) line 1.\n",
1960                       {}, "buffer overflow for regexp component");
1961     }
1962     {
1963         # [perl #129281] buffer write overflow, detected by ASAN, valgrind
1964         fresh_perl_is('/0(?0)|^*0(?0)|^*(^*())0|/', '', {}, "don't bump whilem_c too much");
1965     }
1966     {
1967         # RT #131893 - fails with ASAN -fsanitize=undefined
1968         fresh_perl_is('qr/0(0?(0||00*))|/', '', {}, "integer overflow during compilation");
1969     }
1970
1971     {
1972         # RT #131575 intuit skipping back from the end to find the highest
1973         # possible start point, was potentially hopping back beyond pos()
1974         # and crashing by calling fbm_instr with a negative length
1975
1976         my $text = "=t=\x{5000}";
1977         pos($text) = 3;
1978         ok(scalar($text !~ m{(~*=[a-z]=)}g), "RT #131575");
1979     }
1980     {
1981         fresh_perl_is('"AA" =~ m/AA{1,0}/','',{},"handle OPFAIL insert properly");
1982     }
1983     {
1984         fresh_perl_is('$_="0\x{1000000}";/^000?\0000/','',{},"dont throw assert errors trying to fbm past end of string");
1985     }
1986     {   # [perl $132227]
1987         fresh_perl_is("('0ba' . ('ss' x 300)) =~ m/0B\\N{U+41}" . $sharp_s x 150 . '/i and print "1\n"',  1,{},"Use of sharp s under /di that changes to /ui");
1988
1989         # A variation, but as far as khw knows not part of 132227
1990         fresh_perl_is("'0bssa' =~ m/0B" . $sharp_s . "\\N{U+41}" . '/i and print "1\n"',  1,{},"Use of sharp s under /di that changes to /ui");
1991     }
1992     {   # [perl $132164]
1993         fresh_perl_is('m m0*0+\Rm', "",{},"Undefined behavior in address sanitizer");
1994     }
1995     {   # [perl #133642]
1996         fresh_perl_is('no warnings "experimental::vlb";
1997                       m/((?<=(0?)))/', "",{},"Was getting 'Double free'");
1998     }
1999     {   # [perl #133782]
2000         # this would panic on DEBUGGING builds
2001         fresh_perl_is(<<'CODE', "ok\nok\n",{}, 'Bad length magic was left on $^R');
2002 while( "\N{U+100}bc" =~ /(..?)(?{$^N})/g ) {
2003   print "ok\n" if length($^R)==length("$^R");
2004 }
2005 CODE
2006     }
2007     {   # [perl #133871], ASAN/valgrind out-of-bounds access
2008         fresh_perl_like('qr/(?|(())|())|//', qr/syntax error/, {}, "[perl #133871]");
2009     }
2010     {   # [perl #133921], segfault
2011         fresh_perl_is('qr\ 40||ß+p00000F00000ù\Q00000ÿ00000x00000x0c0e0\Qx0\Qx0\x{0c!}\;\;î0\x\0ÿÿÿþ\0\0\0ù\Q`\Qx`\0\ 1{0c!}\ 1e;\0\0\0ù\ò`\Qm`\x{0c!}\;\;îçÿ \0\7fç\0\0\0!\0F\ 5\0\0/;îçÿù\Q\0\ 1\0\0x\10ÿÿÿÿ\0\0\0ù\0\0\0\7f`x{0c!}\ 1e;\0\0\0ù\Q`\Qx`\x{c!}\;\;îç!}\;îçÿù\Q\87 \x\0ÿÿÿÿ\0\0>=\Qx`\Qx`\0\0ù\ò`\Qx`\x{0c!};\;îçÿ \0F\ 5\0n0t0\0\0\80\ 1d;t \0\0\0ù \0\7fç\80\0\0!00000000000000000000000m/00000000000000000000\ e00000000000m/\10\10\10\10\x{){} \10\10\10\10)|\10\10\ 4i', "", {}, "[perl #133921]");
2012         fresh_perl_is('\ 4|ß+W0ü0r0\Qx0\Qx0x0c0G00000000000000000O000000000x0x0x0c!}\;îçÿù\Q0 \x\0ÿÿÿÿ\0\0\0ù\Q`\Qx`\0\ 1{0d ;\0\0\0ù\ò`\Qm`\x{0c!}\;\;îçÿ \0\7fç\0\0\0!\0F\ 5\0\0/;îçÿù\Q\0\ 1\0\0x\10ÿÿÿÿ\0\0\0ù\0\0\0\7f`x{0c!}\ 1;\0\0\0ù\Q`\Qq`\x{c!}\;\;îç!}\;îçÿù\Q\87 \x\0ÿÿÿÿ\0\0>=\Qx`\Qx`\0\0ù\ò`\Qx`\x{0c!};\;îçÿ \00000000F\ 5\0m0t0\0\0\80\ 1d;t \0\0\0ù \0\7fç\80\0\0!00000000000000000000000m/00000000000000000000\ e00000000000m/\10\10\10\10\x{){} \10\10\10\10)|\10\10\ 4\ 4i', "", {}, "[perl #133921]");
2013
2014 fresh_perl_is('s\ 4|ß+W0ü0f0\Qx0\Qx0x0c0G0xgive0000000000000O0h\8d000x0 \xòÿÿÿ\0\0ù\Q`\Q
2015
2016 \1a
2017
2018
2019         ç
2020
2021
2022
2023
2024
2025
2026
2027
2028
2029
2030
2031
2032 \ 5
2033
2034
2035 x{0c!}\;\;çÿ \0\7fq0/i0/!\0F\ 5\0\0/;îçÿù\Q\0\ 1\0\0x\10ÿÿÿÿ\0\0\0ù\0\0\0\7f`x{0c!}\ 1e;\0\0\0ù\Q`\Qx`\x{0c!}\;ÿÿÿÿ!}\;îçÿù\Q\87\ 1\x\0ÿÿÿÿ\0\0>=\Qx`\Qx`\0\0ù\ò`ÿ\0\0>=\Qx`\Qx`\0\0ù\ò`\Qx`\x{0c!};\;îçÿ \0u00000F\ 5\0000t0\0\0\80\ 1d? \0\0\0ù \0\7fç\80\0\0!00000000000000000000000m/00000000000000000000\ e00000000000m/0\0\10\10\10\\0\0\ 1\0\10\10\10\10)|\10\10\ 4\ 4i', "", {}, "[perl #133921]");
2036
2037         fresh_perl_is('\ 4a aú\0\0úv sWtrt\10\0\ó||ß+W\ eü\16ef\0ù\Qx`\Qx`\x{1c!gGnuc given1111111111111O1111each\8d111\jx` \x\0òÿÿÿ\0\0\0ù\Qx`\Q
2038
2039
2040
2041
2042
2043         ç
2044
2045
2046
2047
2048
2049
2050
2051
2052
2053
2054
2055
2056 \ 5
2057
2058
2059 x{1c!}\;\;îçÿp \0\7fqr/elsif/!\0eF\ 5\0\0/;îçÿù\Q\0\ 1\0\0x\10ÿÿÿÿ\0\0\0ùHQx\0\0\0\7f`Lx{1c!}\ 1e;\0\0\0ù\Qx`\Qx`\x{1c!}\;ÿÿÿÿc!}\;îçÿù\Qx\87\ 1\x\0ÿÿÿÿ\0\0>=\Qx`\Qx`\0\0ù\òx`ÿ\0\0>=\Qx`\Qx`\0\0ù\òx`\Qx`\x{1c!}8;\;îçÿp \0unshifteF\ 5\0normat0\0cmp \0\80\ 1d?not \0\0\0ùp \0\7fç\80\0\0!0000000000000000000000000m/000000000000000000000\ e00000000000m/0R\0\10\10\10\\0\0\ 1\0\10\10\10\10)|\10\10\ 4\10\10\10\10\10\ 1\aï||K??\8fp\80¿ÿÿfúd{\\ e{\ 4gri\ 4\ 4{\x{1x/}\0 ð¹NuntiÀh', "", {}, "[perl #133921]");
2060
2061     fresh_perl_is('s\ 4|ß+W0ü0f0\Qx0\Qx0x0c0g0c 000n0000000000000O0h\8d000x0 \xòÿÿÿ\0\0ù\Q`\Q
2062
2063
2064
2065
2066
2067         ç
2068
2069
2070
2071
2072
2073
2074
2075
2076
2077
2078
2079
2080 \ 5
2081
2082
2083 x{0c!}\;\;îçÿ \0\7f/0f/!\0F\ 5\0\0/;îçÿù\Q\0\ 1\0\0x\10ÿÿÿÿ\0\0\0ù\0\0\0\7f`x{0c!}\ 1;\0\0\0ù\Q`\Qx`\x{0c!}\;ÿÿÿÿ!}\;îçÿù\Q\87\ 1\x\0ÿÿÿÿ\0\0>=\Qx`\Qx`\0\0ù\ò`ÿ\0\0>=\Qx`\Qx`\0\0ù\ò`\Qx`\x{0c!};\;îçÿ \0000t0F\ 5\0000t0\0\0\80\ 1d?n \0\0\0ù \0\7fç\80\0\0!00000000000000000000000m/00000000000000000000\ e00000000000m/\0\10\10\10\\0\0\ 1\0\10\10\10\10)|\10\10\ 4\ 4i', "", {}, "[perl #133933]");
2084     }
2085
2086     {   # perl #133998]
2087         fresh_perl_is('print "\x{110000}" =~ qr/(?l)|[^\S\pC\s]/', 1, {},
2088         '/[\S\s]/l works');
2089     }
2090
2091     {   # perl #133995]
2092         use utf8;
2093         fresh_perl_is('"έδωσαν ελληνικήვე" =~ m/[^0](?=0)0?/', "", {},
2094         '[^0] doesnt crash on UTF-8 target string');
2095     }
2096
2097 } # End of sub run_tests
2098
2099 1;
2100
2101 #
2102 # ex: set ts=8 sts=4 sw=4 et:
2103 #