stop $foo =~ /(bar)/g skipping copy
[perl.git] / t / re / pat_advanced.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 use 5.010;
10
11
12 sub run_tests;
13
14 $| = 1;
15
16
17 BEGIN {
18     chdir 't' if -d 't';
19     @INC = ('../lib','.');
20     require './test.pl';
21     skip_all_if_miniperl("miniperl can't load Tie::Hash::NamedCapture, need for %+ and %-");
22 }
23
24 run_tests() unless caller;
25
26 #
27 # Tests start here.
28 #
29 sub run_tests {
30
31     {
32         my $message = '\C matches octet';
33         $_ = "a\x{100}b";
34         ok(/(.)(\C)(\C)(.)/, $message);
35         is($1, "a", $message);
36         if ($::IS_ASCII) {     # ASCII (or equivalent), should be UTF-8
37             is($2, "\xC4", $message);
38             is($3, "\x80", $message);
39         }
40         elsif ($::IS_EBCDIC) { # EBCDIC (or equivalent), should be UTF-EBCDIC
41             is($2, "\x8C", $message);
42             is($3, "\x41", $message);
43         }
44         else {
45             SKIP: {
46                 ok 0, "Unexpected platform", "ord ('A') =" . ord 'A';
47                 skip "Unexpected platform";
48             }
49         }
50         is($4, "b", $message);
51     }
52
53     {
54         my $message = '\C matches octet';
55         $_ = "\x{100}";
56         ok(/(\C)/g, $message);
57         if ($::IS_ASCII) {
58             is($1, "\xC4", $message);
59         }
60         elsif ($::IS_EBCDIC) {
61             is($1, "\x8C", $message);
62         }
63         else {
64             ok 0, "Unexpected platform", "ord ('A') = " . ord 'A';
65         }
66         ok(/(\C)/g, $message);
67         if ($::IS_ASCII) {
68             is($1, "\x80", $message);
69         }
70         elsif ($::IS_EBCDIC) {
71             is($1, "\x41", $message);
72         }
73         else {
74             ok 0, "Unexpected platform", "ord ('A') = " . ord 'A';
75         }
76     }
77
78     {
79         # Japhy -- added 03/03/2001
80         () = (my $str = "abc") =~ /(...)/;
81         $str = "def";
82         is($1, "abc", 'Changing subject does not modify $1');
83     }
84
85   SKIP:
86     {
87         # The trick is that in EBCDIC the explicit numeric range should
88         # match (as also in non-EBCDIC) but the explicit alphabetic range
89         # should not match.
90         ok "\x8e" =~ /[\x89-\x91]/, '"\x8e" =~ /[\x89-\x91]/';
91         ok "\xce" =~ /[\xc9-\xd1]/, '"\xce" =~ /[\xc9-\xd1]/';
92
93         skip "Not an EBCDIC platform", 2 unless ord ('i') == 0x89 &&
94                                                 ord ('J') == 0xd1;
95
96         # In most places these tests would succeed since \x8e does not
97         # in most character sets match 'i' or 'j' nor would \xce match
98         # 'I' or 'J', but strictly speaking these tests are here for
99         # the good of EBCDIC, so let's test these only there.
100         unlike("\x8e", qr/[i-j]/, '"\x8e" !~ /[i-j]/');
101         unlike("\xce", qr/[I-J]/, '"\xce" !~ /[I-J]/');
102     }
103
104     {
105         ok "\x{ab}"   =~ /\x{ab}/,   '"\x{ab}"   =~ /\x{ab}/  ';
106         ok "\x{abcd}" =~ /\x{abcd}/, '"\x{abcd}" =~ /\x{abcd}/';
107     }
108
109     {
110         my $message = 'bug id 20001008.001';
111
112         my @x = ("stra\337e 138", "stra\337e 138");
113         for (@x) {
114             ok(s/(\d+)\s*([\w\-]+)/$1 . uc $2/e, $message);
115             ok(my ($latin) = /^(.+)(?:\s+\d)/, $message);
116             is($latin, "stra\337e", $message);
117             ok($latin =~ s/stra\337e/straße/, $message);
118             #
119             # Previous code follows, but outcommented - there were no tests.
120             #
121             # $latin =~ s/stra\337e/straße/; # \303\237 after the 2nd a
122             # use utf8; # needed for the raw UTF-8
123             # $latin =~ s!(s)tr(?:aß|s+e)!$1tr.!; # \303\237 after the a
124         }
125     }
126
127     {
128         my $message = 'Test \x escapes';
129         ok("ba\xd4c" =~ /([a\xd4]+)/ && $1 eq "a\xd4", $message);
130         ok("ba\xd4c" =~ /([a\xd4]+)/ && $1 eq "a\x{d4}", $message);
131         ok("ba\x{d4}c" =~ /([a\xd4]+)/ && $1 eq "a\x{d4}", $message);
132         ok("ba\x{d4}c" =~ /([a\xd4]+)/ && $1 eq "a\xd4", $message);
133         ok("ba\xd4c" =~ /([a\x{d4}]+)/ && $1 eq "a\xd4", $message);
134         ok("ba\xd4c" =~ /([a\x{d4}]+)/ && $1 eq "a\x{d4}", $message);
135         ok("ba\x{d4}c" =~ /([a\x{d4}]+)/ && $1 eq "a\x{d4}", $message);
136         ok("ba\x{d4}c" =~ /([a\x{d4}]+)/ && $1 eq "a\xd4", $message);
137     }
138
139     {
140         my $message = 'Match code points > 255';
141         $_ = "abc\x{100}\x{200}\x{300}\x{380}\x{400}defg";
142         ok(/(.\x{300})./, $message);
143         ok($` eq "abc\x{100}"            && length ($`) == 4, $message);
144         ok($& eq "\x{200}\x{300}\x{380}" && length ($&) == 3, $message);
145         ok($' eq "\x{400}defg"           && length ($') == 5, $message);
146         ok($1 eq "\x{200}\x{300}"        && length ($1) == 2, $message);
147     }
148
149     {
150         my $x = "\x{10FFFD}";
151         $x =~ s/(.)/$1/g;
152         ok ord($x) == 0x10FFFD && length($x) == 1, "From Robin Houston";
153     }
154
155     {
156         my %d = (
157             "7f" => [0, 0, 0],
158             "80" => [1, 1, 0],
159             "ff" => [1, 1, 0],
160            "100" => [0, 1, 1],
161         );
162
163         while (my ($code, $match) = each %d) {
164             my $message = "Properties of \\x$code";
165             my $char = eval qq ["\\x{$code}"];
166
167             is(0 + ($char =~ /[\x80-\xff]/),    $$match[0], $message);
168             is(0 + ($char =~ /[\x80-\x{100}]/), $$match[1], $message);
169             is(0 + ($char =~ /[\x{100}]/),      $$match[2], $message);
170         }
171     }
172
173     {
174         # From Japhy
175         foreach (qw(c g o)) {
176             warning_like(sub {'' =~ "(?$_)"},    qr/^Useless \(\?$_\)/);
177             warning_like(sub {'' =~ "(?-$_)"},   qr/^Useless \(\?-$_\)/);
178         }
179
180         # Now test multi-error regexes
181         foreach (['(?g-o)', qr/^Useless \(\?g\)/, qr/^Useless \(\?-o\)/],
182                  ['(?g-c)', qr/^Useless \(\?g\)/, qr/^Useless \(\?-c\)/],
183                  # (?c) means (?g) error won't be thrown
184                  ['(?o-cg)', qr/^Useless \(\?o\)/, qr/^Useless \(\?-c\)/],
185                  ['(?ogc)', qr/^Useless \(\?o\)/, qr/^Useless \(\?g\)/,
186                   qr/^Useless \(\?c\)/],
187                 ) {
188             my ($re, @warnings) = @$_;
189             warnings_like(sub {eval "qr/$re/"}, \@warnings, "qr/$re/ warns");
190         }
191     }
192
193     {
194         my $message = "/x tests";
195         $_ = "foo";
196         foreach my $pat (<<"        --", <<"        --") {
197           /f
198            o\r
199            o
200            \$
201           /x
202         --
203           /f
204            o
205            o
206            \$\r
207           /x
208         --
209             is(eval $pat, 1, $message);
210             is($@, '', $message);
211         }
212     }
213
214     {
215         my $message = "/o feature";
216         sub test_o {$_ [0] =~ /$_[1]/o; return $1}
217         is(test_o ('abc', '(.)..'), 'a', $message);
218         is(test_o ('abc', '..(.)'), 'a', $message);
219     }
220
221     {
222         # Test basic $^N usage outside of a regex
223         my $message = '$^N usage outside of a regex';
224         my $x = "abcdef";
225         ok(($x =~ /cde/                  and !defined $^N), $message);
226         ok(($x =~ /(cde)/                and $^N eq "cde"), $message);
227         ok(($x =~ /(c)(d)(e)/            and $^N eq   "e"), $message);
228         ok(($x =~ /(c(d)e)/              and $^N eq "cde"), $message);
229         ok(($x =~ /(foo)|(c(d)e)/        and $^N eq "cde"), $message);
230         ok(($x =~ /(c(d)e)|(foo)/        and $^N eq "cde"), $message);
231         ok(($x =~ /(c(d)e)|(abc)/        and $^N eq "abc"), $message);
232         ok(($x =~ /(c(d)e)|(abc)x/       and $^N eq "cde"), $message);
233         ok(($x =~ /(c(d)e)(abc)?/        and $^N eq "cde"), $message);
234         ok(($x =~ /(?:c(d)e)/            and $^N eq   "d"), $message);
235         ok(($x =~ /(?:c(d)e)(?:f)/       and $^N eq   "d"), $message);
236         ok(($x =~ /(?:([abc])|([def]))*/ and $^N eq   "f"), $message);
237         ok(($x =~ /(?:([ace])|([bdf]))*/ and $^N eq   "f"), $message);
238         ok(($x =~ /(([ace])|([bd]))*/    and $^N eq   "e"), $message);
239        {ok(($x =~ /(([ace])|([bdf]))*/   and $^N eq   "f"), $message);}
240         ## Test to see if $^N is automatically localized -- it should now
241         ## have the value set in the previous test.
242         is($^N, "e", '$^N is automatically localized');
243
244         # Now test inside (?{ ... })
245         $message = '$^N usage inside (?{ ... })';
246         our ($y, $z);
247         ok(($x =~ /a([abc])(?{$y=$^N})c/                    and $y eq  "b"), $message);
248         ok(($x =~ /a([abc]+)(?{$y=$^N})d/                   and $y eq  "bc"), $message);
249         ok(($x =~ /a([abcdefg]+)(?{$y=$^N})d/               and $y eq  "bc"), $message);
250         ok(($x =~ /(a([abcdefg]+)(?{$y=$^N})d)(?{$z=$^N})e/ and $y eq  "bc"
251                                                             and $z eq "abcd"), $message);
252         ok(($x =~ /(a([abcdefg]+)(?{$y=$^N})de)(?{$z=$^N})/ and $y eq  "bc"
253                                                             and $z eq "abcde"), $message);
254
255     }
256
257   SKIP:
258     {
259         ## Should probably put in tests for all the POSIX stuff,
260         ## but not sure how to guarantee a specific locale......
261
262         skip "Not an ASCII platform", 2 unless $::IS_ASCII;
263         my $message = 'Test [[:cntrl:]]';
264         my $AllBytes = join "" => map {chr} 0 .. 255;
265         (my $x = $AllBytes) =~ s/[[:cntrl:]]//g;
266         is($x, join("", map {chr} 0x20 .. 0x7E, 0x80 .. 0xFF), $message);
267
268         ($x = $AllBytes) =~ s/[^[:cntrl:]]//g;
269         is($x, (join "", map {chr} 0x00 .. 0x1F, 0x7F), $message);
270     }
271
272     {
273         # With /s modifier UTF8 chars were interpreted as bytes
274         my $message = "UTF-8 chars aren't bytes";
275         my $a = "Hello \x{263A} World";
276         my @a = ($a =~ /./gs);
277         is($#a, 12, $message);
278     }
279
280     {
281         my $message = '. matches \n with /s';
282         my $str1 = "foo\nbar";
283         my $str2 = "foo\n\x{100}bar";
284         my ($a, $b) = map {chr} $::IS_ASCII ? (0xc4, 0x80) : (0x8c, 0x41);
285         my @a;
286         @a = $str1 =~ /./g;   is(@a, 6, $message); is("@a", "f o o b a r", $message);
287         @a = $str1 =~ /./gs;  is(@a, 7, $message); is("@a", "f o o \n b a r", $message);
288         @a = $str1 =~ /\C/g;  is(@a, 7, $message); is("@a", "f o o \n b a r", $message);
289         @a = $str1 =~ /\C/gs; is(@a, 7, $message); is("@a", "f o o \n b a r", $message);
290         @a = $str2 =~ /./g;   is(@a, 7, $message); is("@a", "f o o \x{100} b a r", $message);
291         @a = $str2 =~ /./gs;  is(@a, 8, $message); is("@a", "f o o \n \x{100} b a r", $message);
292         @a = $str2 =~ /\C/g;  is(@a, 9, $message); is("@a", "f o o \n $a $b b a r", $message);
293         @a = $str2 =~ /\C/gs; is(@a, 9, $message); is("@a", "f o o \n $a $b b a r", $message);
294     }
295
296     {
297         no warnings 'digit';
298         # Check that \x## works. 5.6.1 and 5.005_03 fail some of these.
299         my $x;
300         $x = "\x4e" . "E";
301         ok ($x =~ /^\x4EE$/, "Check only 2 bytes of hex are matched.");
302
303         $x = "\x4e" . "i";
304         ok ($x =~ /^\x4Ei$/, "Check that invalid hex digit stops it (2)");
305
306         $x = "\x4" . "j";
307         ok ($x =~ /^\x4j$/,  "Check that invalid hex digit stops it (1)");
308
309         $x = "\x0" . "k";
310         ok ($x =~ /^\xk$/,   "Check that invalid hex digit stops it (0)");
311
312         $x = "\x0" . "x";
313         ok ($x =~ /^\xx$/, "\\xx isn't to be treated as \\0");
314
315         $x = "\x0" . "xa";
316         ok ($x =~ /^\xxa$/, "\\xxa isn't to be treated as \\xa");
317
318         $x = "\x9" . "_b";
319         ok ($x =~ /^\x9_b$/, "\\x9_b isn't to be treated as \\x9b");
320
321         # and now again in [] ranges
322
323         $x = "\x4e" . "E";
324         ok ($x =~ /^[\x4EE]{2}$/, "Check only 2 bytes of hex are matched.");
325
326         $x = "\x4e" . "i";
327         ok ($x =~ /^[\x4Ei]{2}$/, "Check that invalid hex digit stops it (2)");
328
329         $x = "\x4" . "j";
330         ok ($x =~ /^[\x4j]{2}$/,  "Check that invalid hex digit stops it (1)");
331
332         $x = "\x0" . "k";
333         ok ($x =~ /^[\xk]{2}$/,   "Check that invalid hex digit stops it (0)");
334
335         $x = "\x0" . "x";
336         ok ($x =~ /^[\xx]{2}$/, "\\xx isn't to be treated as \\0");
337
338         $x = "\x0" . "xa";
339         ok ($x =~ /^[\xxa]{3}$/, "\\xxa isn't to be treated as \\xa");
340
341         $x = "\x9" . "_b";
342         ok ($x =~ /^[\x9_b]{3}$/, "\\x9_b isn't to be treated as \\x9b");
343
344         # Check that \x{##} works. 5.6.1 fails quite a few of these.
345
346         $x = "\x9b";
347         ok ($x =~ /^\x{9_b}$/, "\\x{9_b} is to be treated as \\x9b");
348
349         $x = "\x9b" . "y";
350         ok ($x =~ /^\x{9_b}y$/, "\\x{9_b} is to be treated as \\x9b (again)");
351
352         $x = "\x9b" . "y";
353         ok ($x =~ /^\x{9b_}y$/, "\\x{9b_} is to be treated as \\x9b");
354
355         $x = "\x9b" . "y";
356         ok ($x =~ /^\x{9_bq}y$/, "\\x{9_bc} is to be treated as \\x9b");
357
358         $x = "\x0" . "y";
359         ok ($x =~ /^\x{x9b}y$/, "\\x{x9b} is to be treated as \\x0");
360
361         $x = "\x0" . "y";
362         ok ($x =~ /^\x{0x9b}y$/, "\\x{0x9b} is to be treated as \\x0");
363
364         $x = "\x9b" . "y";
365         ok ($x =~ /^\x{09b}y$/, "\\x{09b} is to be treated as \\x9b");
366
367         $x = "\x9b";
368         ok ($x =~ /^[\x{9_b}]$/, "\\x{9_b} is to be treated as \\x9b");
369
370         $x = "\x9b" . "y";
371         ok ($x =~ /^[\x{9_b}y]{2}$/,
372                                  "\\x{9_b} is to be treated as \\x9b (again)");
373
374         $x = "\x9b" . "y";
375         ok ($x =~ /^[\x{9b_}y]{2}$/, "\\x{9b_} is to be treated as \\x9b");
376
377         $x = "\x9b" . "y";
378         ok ($x =~ /^[\x{9_bq}y]{2}$/, "\\x{9_bc} is to be treated as \\x9b");
379
380         $x = "\x0" . "y";
381         ok ($x =~ /^[\x{x9b}y]{2}$/, "\\x{x9b} is to be treated as \\x0");
382
383         $x = "\x0" . "y";
384         ok ($x =~ /^[\x{0x9b}y]{2}$/, "\\x{0x9b} is to be treated as \\x0");
385
386         $x = "\x9b" . "y";
387         ok ($x =~ /^[\x{09b}y]{2}$/, "\\x{09b} is to be treated as \\x9b");
388
389     }
390
391     {
392         # High bit bug -- japhy
393         my $x = "ab\200d";
394         ok $x =~ /.*?\200/, "High bit fine";
395     }
396
397     {
398         # The basic character classes and Unicode
399         ok "\x{0100}" =~ /\w/, 'LATIN CAPITAL LETTER A WITH MACRON in /\w/';
400         ok "\x{0660}" =~ /\d/, 'ARABIC-INDIC DIGIT ZERO in /\d/';
401         ok "\x{1680}" =~ /\s/, 'OGHAM SPACE MARK in /\s/';
402     }
403
404     {
405         my $message = "Folding matches and Unicode";
406         like("a\x{100}", qr/A/i, $message);
407         like("A\x{100}", qr/a/i, $message);
408         like("a\x{100}", qr/a/i, $message);
409         like("A\x{100}", qr/A/i, $message);
410         like("\x{101}a", qr/\x{100}/i, $message);
411         like("\x{100}a", qr/\x{100}/i, $message);
412         like("\x{101}a", qr/\x{101}/i, $message);
413         like("\x{100}a", qr/\x{101}/i, $message);
414         like("a\x{100}", qr/A\x{100}/i, $message);
415         like("A\x{100}", qr/a\x{100}/i, $message);
416         like("a\x{100}", qr/a\x{100}/i, $message);
417         like("A\x{100}", qr/A\x{100}/i, $message);
418         like("a\x{100}", qr/[A]/i, $message);
419         like("A\x{100}", qr/[a]/i, $message);
420         like("a\x{100}", qr/[a]/i, $message);
421         like("A\x{100}", qr/[A]/i, $message);
422         like("\x{101}a", qr/[\x{100}]/i, $message);
423         like("\x{100}a", qr/[\x{100}]/i, $message);
424         like("\x{101}a", qr/[\x{101}]/i, $message);
425         like("\x{100}a", qr/[\x{101}]/i, $message);
426     }
427
428     {
429         use charnames ':full';
430         my $message = "Folding 'LATIN LETTER A WITH GRAVE'";
431
432         my $lower = "\N{LATIN SMALL LETTER A WITH GRAVE}";
433         my $UPPER = "\N{LATIN CAPITAL LETTER A WITH GRAVE}";
434
435         like($lower, qr/$UPPER/i, $message);
436         like($UPPER, qr/$lower/i, $message);
437         like($lower, qr/[$UPPER]/i, $message);
438         like($UPPER, qr/[$lower]/i, $message);
439
440         $message = "Folding 'GREEK LETTER ALPHA WITH VRACHY'";
441
442         $lower = "\N{GREEK CAPITAL LETTER ALPHA WITH VRACHY}";
443         $UPPER = "\N{GREEK SMALL LETTER ALPHA WITH VRACHY}";
444
445         like($lower, qr/$UPPER/i, $message);
446         like($UPPER, qr/$lower/i, $message);
447         like($lower, qr/[$UPPER]/i, $message);
448         like($UPPER, qr/[$lower]/i, $message);
449
450         $message = "Folding 'LATIN LETTER Y WITH DIAERESIS'";
451
452         $lower = "\N{LATIN SMALL LETTER Y WITH DIAERESIS}";
453         $UPPER = "\N{LATIN CAPITAL LETTER Y WITH DIAERESIS}";
454
455         like($lower, qr/$UPPER/i, $message);
456         like($UPPER, qr/$lower/i, $message);
457         like($lower, qr/[$UPPER]/i, $message);
458         like($UPPER, qr/[$lower]/i, $message);
459     }
460
461     {
462         use charnames ':full';
463         my $message = "GREEK CAPITAL LETTER SIGMA vs " .
464                          "COMBINING GREEK PERISPOMENI";
465
466         my $SIGMA = "\N{GREEK CAPITAL LETTER SIGMA}";
467         my $char  = "\N{COMBINING GREEK PERISPOMENI}";
468
469         warning_is(sub {unlike("_:$char:_", qr/_:$SIGMA:_/i, $message)}, undef,
470                    'Did not warn [change a5961de5f4215b5c]');
471     }
472
473     {
474         my $message = '\X';
475         use charnames ':full';
476
477         ok("a!"                          =~ /^(\X)!/ && $1 eq "a", $message);
478         ok("\xDF!"                       =~ /^(\X)!/ && $1 eq "\xDF", $message);
479         ok("\x{100}!"                    =~ /^(\X)!/ && $1 eq "\x{100}", $message);
480         ok("\x{100}\x{300}!"             =~ /^(\X)!/ && $1 eq "\x{100}\x{300}", $message);
481         ok("\N{LATIN CAPITAL LETTER E}!" =~ /^(\X)!/ &&
482                $1 eq "\N{LATIN CAPITAL LETTER E}", $message);
483         ok("\N{LATIN CAPITAL LETTER E}\N{COMBINING GRAVE ACCENT}!"
484                                          =~ /^(\X)!/ &&
485                $1 eq "\N{LATIN CAPITAL LETTER E}\N{COMBINING GRAVE ACCENT}", $message);
486
487         $message = '\C and \X';
488         like("!abc!", qr/a\Cc/, $message);
489         like("!abc!", qr/a\Xc/, $message);
490     }
491
492     {
493         my $message = "Final Sigma";
494
495         my $SIGMA = "\x{03A3}"; # CAPITAL
496         my $Sigma = "\x{03C2}"; # SMALL FINAL
497         my $sigma = "\x{03C3}"; # SMALL
498
499         like($SIGMA, qr/$SIGMA/i, $message);
500         like($SIGMA, qr/$Sigma/i, $message);
501         like($SIGMA, qr/$sigma/i, $message);
502
503         like($Sigma, qr/$SIGMA/i, $message);
504         like($Sigma, qr/$Sigma/i, $message);
505         like($Sigma, qr/$sigma/i, $message);
506
507         like($sigma, qr/$SIGMA/i, $message);
508         like($sigma, qr/$Sigma/i, $message);
509         like($sigma, qr/$sigma/i, $message);
510
511         like($SIGMA, qr/[$SIGMA]/i, $message);
512         like($SIGMA, qr/[$Sigma]/i, $message);
513         like($SIGMA, qr/[$sigma]/i, $message);
514
515         like($Sigma, qr/[$SIGMA]/i, $message);
516         like($Sigma, qr/[$Sigma]/i, $message);
517         like($Sigma, qr/[$sigma]/i, $message);
518
519         like($sigma, qr/[$SIGMA]/i, $message);
520         like($sigma, qr/[$Sigma]/i, $message);
521         like($sigma, qr/[$sigma]/i, $message);
522
523         $message = "More final Sigma";
524
525         my $S3 = "$SIGMA$Sigma$sigma";
526
527         ok(":$S3:" =~ /:(($SIGMA)+):/i   && $1 eq $S3 && $2 eq $sigma, $message);
528         ok(":$S3:" =~ /:(($Sigma)+):/i   && $1 eq $S3 && $2 eq $sigma, $message);
529         ok(":$S3:" =~ /:(($sigma)+):/i   && $1 eq $S3 && $2 eq $sigma, $message);
530
531         ok(":$S3:" =~ /:(([$SIGMA])+):/i && $1 eq $S3 && $2 eq $sigma, $message);
532         ok(":$S3:" =~ /:(([$Sigma])+):/i && $1 eq $S3 && $2 eq $sigma, $message);
533         ok(":$S3:" =~ /:(([$sigma])+):/i && $1 eq $S3 && $2 eq $sigma, $message);
534     }
535
536     {
537         use charnames ':full';
538         my $message = "Parlez-Vous " .
539                          "Fran\N{LATIN SMALL LETTER C WITH CEDILLA}ais?";
540
541         ok("Fran\N{LATIN SMALL LETTER C}ais" =~ /Fran.ais/ &&
542             $& eq "Francais", $message);
543         ok("Fran\N{LATIN SMALL LETTER C WITH CEDILLA}ais" =~ /Fran.ais/ &&
544             $& eq "Fran\N{LATIN SMALL LETTER C WITH CEDILLA}ais", $message);
545         ok("Fran\N{LATIN SMALL LETTER C}ais" =~ /Fran\Cais/ &&
546             $& eq "Francais", $message);
547         # COMBINING CEDILLA is two bytes when encoded
548         like("Franc\N{COMBINING CEDILLA}ais", qr/Franc\C\Cais/, $message);
549         ok("Fran\N{LATIN SMALL LETTER C}ais" =~ /Fran\Xais/ &&
550             $& eq "Francais", $message);
551         ok("Fran\N{LATIN SMALL LETTER C WITH CEDILLA}ais" =~ /Fran\Xais/  &&
552             $& eq "Fran\N{LATIN SMALL LETTER C WITH CEDILLA}ais", $message);
553         ok("Franc\N{COMBINING CEDILLA}ais" =~ /Fran\Xais/ &&
554             $& eq "Franc\N{COMBINING CEDILLA}ais", $message);
555         ok("Fran\N{LATIN SMALL LETTER C WITH CEDILLA}ais" =~
556            /Fran\N{LATIN SMALL LETTER C WITH CEDILLA}ais/  &&
557             $& eq "Fran\N{LATIN SMALL LETTER C WITH CEDILLA}ais", $message);
558         ok("Franc\N{COMBINING CEDILLA}ais" =~ /Franc\N{COMBINING CEDILLA}ais/ &&
559             $& eq "Franc\N{COMBINING CEDILLA}ais", $message);
560
561         my @f = (
562             ["Fran\N{LATIN SMALL LETTER C}ais",                    "Francais"],
563             ["Fran\N{LATIN SMALL LETTER C WITH CEDILLA}ais",
564                                "Fran\N{LATIN SMALL LETTER C WITH CEDILLA}ais"],
565             ["Franc\N{COMBINING CEDILLA}ais", "Franc\N{COMBINING CEDILLA}ais"],
566         );
567         foreach my $entry (@f) {
568             my ($subject, $match) = @$entry;
569             ok($subject =~ /Fran(?:c\N{COMBINING CEDILLA}?|
570                     \N{LATIN SMALL LETTER C WITH CEDILLA})ais/x &&
571                $& eq $match, $message);
572         }
573     }
574
575     {
576         my $message = "Lingering (and useless) UTF8 flag doesn't mess up /i";
577         my $pat = "ABcde";
578         my $str = "abcDE\x{100}";
579         chop $str;
580         like($str, qr/$pat/i, $message);
581
582         $pat = "ABcde\x{100}";
583         $str = "abcDE";
584         chop $pat;
585         like($str, qr/$pat/i, $message);
586
587         $pat = "ABcde\x{100}";
588         $str = "abcDE\x{100}";
589         chop $pat;
590         chop $str;
591         like($str, qr/$pat/i, $message);
592     }
593
594     {
595         use charnames ':full';
596         my $message = "LATIN SMALL LETTER SHARP S " .
597                          "(\N{LATIN SMALL LETTER SHARP S})";
598
599         like("\N{LATIN SMALL LETTER SHARP S}",
600              qr/\N{LATIN SMALL LETTER SHARP S}/, $message);
601         like("\N{LATIN SMALL LETTER SHARP S}",
602              qr/\N{LATIN SMALL LETTER SHARP S}/i, $message);
603         like("\N{LATIN SMALL LETTER SHARP S}",
604              qr/[\N{LATIN SMALL LETTER SHARP S}]/, $message);
605         like("\N{LATIN SMALL LETTER SHARP S}",
606              qr/[\N{LATIN SMALL LETTER SHARP S}]/i, $message);
607
608         like("ss", qr /\N{LATIN SMALL LETTER SHARP S}/i, $message);
609         like("SS", qr /\N{LATIN SMALL LETTER SHARP S}/i, $message);
610         like("ss", qr/[\N{LATIN SMALL LETTER SHARP S}]/i, $message);
611         like("SS", qr/[\N{LATIN SMALL LETTER SHARP S}]/i, $message);
612
613         like("\N{LATIN SMALL LETTER SHARP S}", qr/ss/i, $message);
614         like("\N{LATIN SMALL LETTER SHARP S}", qr/SS/i, $message);
615
616          $message = "Unoptimized named sequence in class";
617         like("ss", qr/[\N{LATIN SMALL LETTER SHARP S}x]/i, $message);
618         like("SS", qr/[\N{LATIN SMALL LETTER SHARP S}x]/i, $message);
619         like("\N{LATIN SMALL LETTER SHARP S}",
620              qr/[\N{LATIN SMALL LETTER SHARP S}x]/, $message);
621         like("\N{LATIN SMALL LETTER SHARP S}",
622              qr/[\N{LATIN SMALL LETTER SHARP S}x]/i, $message);
623     }
624
625     {
626         # More whitespace: U+0085, U+2028, U+2029\n";
627
628         # U+0085, U+00A0 need to be forced to be Unicode, the \x{100} does that.
629       SKIP: {
630           skip "EBCDIC platform", 4 if $::IS_EBCDIC;
631           # Do \x{0015} and \x{0041} match \s in EBCDIC?
632           ok "<\x{100}\x{0085}>" =~ /<\x{100}\s>/, '\x{0085} in \s';
633           ok        "<\x{0085}>" =~        /<\v>/, '\x{0085} in \v';
634           ok "<\x{100}\x{00A0}>" =~ /<\x{100}\s>/, '\x{00A0} in \s';
635           ok        "<\x{00A0}>" =~        /<\h>/, '\x{00A0} in \h';
636         }
637         my @h = map {sprintf "%05x" => $_} 0x01680, 0x0180E, 0x02000 .. 0x0200A,
638                                            0x0202F, 0x0205F, 0x03000;
639         my @v = map {sprintf "%05x" => $_} 0x02028, 0x02029;
640
641         my @H = map {sprintf "%05x" => $_} 0x01361,   0x0200B, 0x02408, 0x02420,
642                                            0x0303F,   0xE0020;
643         my @V = map {sprintf "%05x" => $_} 0x0008A .. 0x0008D, 0x00348, 0x10100,
644                                            0xE005F,   0xE007C;
645
646         for my $hex (@h) {
647             my $str = eval qq ["<\\x{$hex}>"];
648             ok $str =~ /<\s>/, "\\x{$hex} in \\s";
649             ok $str =~ /<\h>/, "\\x{$hex} in \\h";
650             ok $str !~ /<\v>/, "\\x{$hex} not in \\v";
651         }
652
653         for my $hex (@v) {
654             my $str = eval qq ["<\\x{$hex}>"];
655             ok $str =~ /<\s>/, "\\x{$hex} in \\s";
656             ok $str =~ /<\v>/, "\\x{$hex} in \\v";
657             ok $str !~ /<\h>/, "\\x{$hex} not in \\h";
658         }
659
660         for my $hex (@H) {
661             my $str = eval qq ["<\\x{$hex}>"];
662             ok $str =~ /<\S>/, "\\x{$hex} in \\S";
663             ok $str =~ /<\H>/, "\\x{$hex} in \\H";
664         }
665
666         for my $hex (@V) {
667             my $str = eval qq ["<\\x{$hex}>"];
668             ok $str =~ /<\S>/, "\\x{$hex} in \\S";
669             ok $str =~ /<\V>/, "\\x{$hex} in \\V";
670         }
671     }
672
673     {
674         # . with /s should work on characters, as opposed to bytes
675         my $message = ". with /s works on characters, not bytes";
676
677         my $s = "\x{e4}\x{100}";
678         # This is not expected to match: the point is that
679         # neither should we get "Malformed UTF-8" warnings.
680         warning_is(sub {$s =~ /\G(.+?)\n/gcs}, undef,
681                    "No 'Malformed UTF-8' warning");
682
683         my @c;
684         push @c => $1 while $s =~ /\G(.)/gs;
685
686         local $" = "";
687         is("@c", $s, $message);
688
689         # Test only chars < 256
690         my $t1 = "Q003\n\n\x{e4}\x{f6}\n\nQ004\n\n\x{e7}";
691         my $r1 = "";
692         while ($t1 =~ / \G ( .+? ) \n\s+ ( .+? ) ( $ | \n\s+ ) /xgcs) {
693         $r1 .= $1 . $2;
694         }
695
696         my $t2 = $t1 . "\x{100}"; # Repeat with a larger char
697         my $r2 = "";
698         while ($t2 =~ / \G ( .+? ) \n\s+ ( .+? ) ( $ | \n\s+ ) /xgcs) {
699         $r2 .= $1 . $2;
700         }
701         $r2 =~ s/\x{100}//;
702
703         is($r1, $r2, $message);
704     }
705
706     {
707         my $message = "Unicode lookbehind";
708         like("A\x{100}B"       , qr/(?<=A.)B/, $message);
709         like("A\x{200}\x{300}B", qr/(?<=A..)B/, $message);
710         like("\x{400}AB"       , qr/(?<=\x{400}.)B/, $message);
711         like("\x{500}\x{600}B" , qr/(?<=\x{500}.)B/, $message);
712
713         # Original code also contained:
714         # ok "\x{500\x{600}}B"  =~ /(?<=\x{500}.)B/;
715         # but that looks like a typo.
716     }
717
718     {
719         my $message = 'UTF-8 hash keys and /$/';
720         # http://www.xray.mpe.mpg.de/mailing-lists/perl5-porters
721         #                                         /2002-01/msg01327.html
722
723         my $u = "a\x{100}";
724         my $v = substr ($u, 0, 1);
725         my $w = substr ($u, 1, 1);
726         my %u = ($u => $u, $v => $v, $w => $w);
727         for (keys %u) {
728             my $m1 =            /^\w*$/ ? 1 : 0;
729             my $m2 = $u {$_} =~ /^\w*$/ ? 1 : 0;
730             is($m1, $m2, $message);
731         }
732     }
733
734     {
735         my $message = "No SEGV in s/// and UTF-8";
736         my $s = "s#\x{100}" x 4;
737         ok($s =~ s/[^\w]/ /g, $message);
738         if ( 1 or $ENV{PERL_TEST_LEGACY_POSIX_CC} ) {
739             is($s, "s \x{100}" x 4, $message);
740         }
741         else {
742             is($s, "s  " x 4, $message);
743         }
744     }
745
746     {
747         my $message = "UTF-8 bug (maybe already known?)";
748         my $u = "foo";
749         $u =~ s/./\x{100}/g;
750         is($u, "\x{100}\x{100}\x{100}", $message);
751
752         $u = "foobar";
753         $u =~ s/[ao]/\x{100}/g;
754         is($u, "f\x{100}\x{100}b\x{100}r", $message);
755
756         $u =~ s/\x{100}/e/g;
757         is($u, "feeber", $message);
758     }
759
760     {
761         my $message = "UTF-8 bug with s///";
762         # check utf8/non-utf8 mixtures
763         # try to force all float/anchored check combinations
764
765         my $c = "\x{100}";
766         my $subst;
767         for my $re ("xx.*$c", "x.*$c$c", "$c.*xx", "$c$c.*x",
768                     "xx.*(?=$c)", "(?=$c).*xx",) {
769             unlike("xxx", qr/$re/, $message);
770             ok(+($subst = "xxx") !~ s/$re//, $message);
771         }
772         for my $re ("xx.*$c*", "$c*.*xx") {
773             like("xxx", qr/$re/, $message);
774             ok(+($subst = "xxx") =~ s/$re//, $message);
775             is($subst, "", $message);
776         }
777         for my $re ("xxy*", "y*xx") {
778             like("xx$c", qr/$re/, $message);
779             ok(+($subst = "xx$c") =~ s/$re//, $message);
780             is($subst, $c, $message);
781             unlike("xy$c", qr/$re/, $message);
782             ok(+($subst = "xy$c") !~ s/$re//, $message);
783         }
784         for my $re ("xy$c*z", "x$c*yz") {
785             like("xyz", qr/$re/, $message);
786             ok(+($subst = "xyz") =~ s/$re//, $message);
787             is($subst, "", $message);
788         }
789     }
790
791     {
792         my $message = "qr /.../x";
793         my $R = qr / A B C # D E/x;
794         ok("ABCDE" =~    $R   && $& eq "ABC", $message);
795         ok("ABCDE" =~   /$R/  && $& eq "ABC", $message);
796         ok("ABCDE" =~  m/$R/  && $& eq "ABC", $message);
797         ok("ABCDE" =~  /($R)/ && $1 eq "ABC", $message);
798         ok("ABCDE" =~ m/($R)/ && $1 eq "ABC", $message);
799     }
800
801     {
802         local $\;
803         $_ = 'aaaaaaaaaa';
804         utf8::upgrade($_); chop $_; $\="\n";
805         ok /[^\s]+/, 'm/[^\s]/ utf8';
806         ok /[^\d]+/, 'm/[^\d]/ utf8';
807         ok +($a = $_, $_ =~ s/[^\s]+/./g), 's/[^\s]/ utf8';
808         ok +($a = $_, $a =~ s/[^\d]+/./g), 's/[^\s]/ utf8';
809     }
810
811     {
812         # Subject: Odd regexp behavior
813         # From: Markus Kuhn <Markus.Kuhn@cl.cam.ac.uk>
814         # Date: Wed, 26 Feb 2003 16:53:12 +0000
815         # Message-Id: <E18o4nw-0008Ly-00@wisbech.cl.cam.ac.uk>
816         # To: perl-unicode@perl.org
817
818         my $message = 'Markus Kuhn 2003-02-26';
819
820         my $x = "\x{2019}\nk";
821         ok($x =~ s/(\S)\n(\S)/$1 $2/sg, $message);
822         is($x, "\x{2019} k", $message);
823
824         $x = "b\nk";
825         ok($x =~ s/(\S)\n(\S)/$1 $2/sg, $message);
826         is($x, "b k", $message);
827
828         like("\x{2019}", qr/\S/, $message);
829     }
830
831     {
832         ok "\x{100}\n" =~ /\x{100}\n$/, "UTF-8 length cache and fbm_compile";
833     }
834
835     {
836         package Str;
837         use overload q /""/ => sub {${$_ [0]};};
838         sub new {my ($c, $v) = @_; bless \$v, $c;}
839
840         package main;
841         $_ = Str -> new ("a\x{100}/\x{100}b");
842         ok join (":", /\b(.)\x{100}/g) eq "a:/", "re_intuit_start and PL_bostr";
843     }
844
845     {
846         my $re = qq /^([^X]*)X/;
847         utf8::upgrade ($re);
848         ok "\x{100}X" =~ /$re/, "S_cl_and ANYOF_UNICODE & ANYOF_INVERTED";
849         my $loc_re = qq /(?l:^([^X]*)X)/;
850         utf8::upgrade ($loc_re);
851         ok "\x{100}X" =~ /$loc_re/, "locale, S_cl_and ANYOF_UNICODE & ANYOF_INVERTED";
852     }
853
854     {
855         ok "123\x{100}" =~ /^.*1.*23\x{100}$/,
856            'UTF-8 + multiple floating substr';
857     }
858
859     {
860         my $message = '<20030808193656.5109.1@llama.ni-s.u-net.com>';
861
862         # LATIN SMALL/CAPITAL LETTER A WITH MACRON
863         like("  \x{101}", qr/\x{100}/i, $message);
864
865         # LATIN SMALL/CAPITAL LETTER A WITH RING BELOW
866         like("  \x{1E01}", qr/\x{1E00}/i, $message);
867
868         # DESERET SMALL/CAPITAL LETTER LONG I
869         like("  \x{10428}", qr/\x{10400}/i, $message);
870
871         # LATIN SMALL/CAPITAL LETTER A WITH RING BELOW + 'X'
872         like("  \x{1E01}x", qr/\x{1E00}X/i, $message);
873     }
874
875     {
876         for (120 .. 130, 240 .. 260) {
877             my $head = 'x' x $_;
878             my $message = q [Don't misparse \x{...} in regexp ] .
879                              q [near EXACT char count limit];
880             for my $tail ('\x{0061}', '\x{1234}', '\x61') {
881                 eval qq{like("$head$tail", qr/$head$tail/, \$message)};
882                 is($@, '', $message);
883             }
884             $message = q [Don't misparse \N{...} in regexp ] .
885                              q [near EXACT char count limit];
886             for my $tail ('\N{SNOWFLAKE}') {
887                 eval qq {use charnames ':full';
888                          like("$head$tail", qr/$head$tail/, \$message)};
889                 is($@, '', $message);
890             }
891         }
892     }
893
894     {   # TRIE related
895         our @got = ();
896         "words" =~ /(word|word|word)(?{push @got, $1})s$/;
897         is(@got, 1, "TRIE optimisation");
898
899         @got = ();
900         "words" =~ /(word|word|word)(?{push @got,$1})s$/i;
901         is(@got, 1,"TRIEF optimisation");
902
903         my @nums = map {int rand 1000} 1 .. 100;
904         my $re = "(" . (join "|", @nums) . ")";
905         $re = qr/\b$re\b/;
906
907         foreach (@nums) {
908             ok $_ =~ /$re/, "Trie nums";
909         }
910
911         $_ = join " ", @nums;
912         @got = ();
913         push @got, $1 while /$re/g;
914
915         my %count;
916         $count {$_} ++ for @got;
917         my $ok = 1;
918         for (@nums) {
919             $ok = 0 if --$count {$_} < 0;
920         }
921         ok $ok, "Trie min count matches";
922     }
923
924     {
925         # TRIE related
926         # LATIN SMALL/CAPITAL LETTER A WITH MACRON
927         ok "foba  \x{101}foo" =~ qr/(foo|\x{100}foo|bar)/i &&
928            $1 eq "\x{101}foo",
929            "TRIEF + LATIN SMALL/CAPITAL LETTER A WITH MACRON";
930
931         # LATIN SMALL/CAPITAL LETTER A WITH RING BELOW
932         ok "foba  \x{1E01}foo" =~ qr/(foo|\x{1E00}foo|bar)/i &&
933            $1 eq "\x{1E01}foo",
934            "TRIEF + LATIN SMALL/CAPITAL LETTER A WITH RING BELOW";
935
936         # DESERET SMALL/CAPITAL LETTER LONG I
937         ok "foba  \x{10428}foo" =~ qr/(foo|\x{10400}foo|bar)/i &&
938            $1 eq "\x{10428}foo",
939            "TRIEF + DESERET SMALL/CAPITAL LETTER LONG I";
940
941         # LATIN SMALL/CAPITAL LETTER A WITH RING BELOW + 'X'
942         ok "foba  \x{1E01}xfoo" =~ qr/(foo|\x{1E00}Xfoo|bar)/i &&
943            $1 eq "\x{1E01}xfoo",
944            "TRIEF + LATIN SMALL/CAPITAL LETTER A WITH RING BELOW + 'X'";
945
946         use charnames ':full';
947
948         my $s = "\N{LATIN SMALL LETTER SHARP S}";
949         ok "foba  ba$s" =~ qr/(foo|Ba$s|bar)/i &&  $1 eq "ba$s",
950            "TRIEF + LATIN SMALL LETTER SHARP S =~ ss";
951         ok "foba  ba$s" =~ qr/(Ba$s|foo|bar)/i &&  $1 eq "ba$s",
952            "TRIEF + LATIN SMALL LETTER SHARP S =~ ss";
953         ok "foba  ba$s" =~ qr/(foo|bar|Ba$s)/i &&  $1 eq "ba$s",
954            "TRIEF + LATIN SMALL LETTER SHARP S =~ ss";
955
956         ok "foba  ba$s" =~ qr/(foo|Bass|bar)/i &&  $1 eq "ba$s",
957            "TRIEF + LATIN SMALL LETTER SHARP S =~ ss";
958
959         ok "foba  ba$s" =~ qr/(foo|BaSS|bar)/i &&  $1 eq "ba$s",
960            "TRIEF + LATIN SMALL LETTER SHARP S =~ SS";
961
962         ok "foba  ba${s}pxySS$s$s" =~ qr/(b(?:a${s}t|a${s}f|a${s}p)[xy]+$s*)/i
963             &&  $1 eq "ba${s}pxySS$s$s",
964            "COMMON PREFIX TRIEF + LATIN SMALL LETTER SHARP S";
965     }
966
967     {
968     BEGIN {
969         unshift @INC, 'lib';
970     }
971         use Cname;
972
973         ok 'fooB'  =~ /\N{foo}[\N{B}\N{b}]/, "Passthrough charname";
974         #
975         # Why doesn't must_warn work here?
976         #
977         my $w;
978         local $SIG {__WARN__} = sub {$w .= "@_"};
979         eval 'q(xxWxx) =~ /[\N{WARN}]/';
980         ok $w && $w =~ /Using just the first character returned by \\N\{} in character class/,
981                  "single character in [\\N{}] warning";
982
983         undef $w;
984         eval q [ok "\0" !~ /[\N{EMPTY-STR}XY]/,
985                    "Zerolength charname in charclass doesn't match \\\\0"];
986         ok $w && $w =~ /Ignoring zero length/,
987                  'Ignoring zero length \N{} in character class warning';
988         undef $w;
989         eval q [ok 'xy' =~ /x[\N{EMPTY-STR} y]/x,
990                     'Empty string charname in [] is ignored; finds a following character'];
991         ok $w && $w =~ /Ignoring zero length/,
992                  'Ignoring zero length \N{} in character class warning';
993         undef $w;
994         eval q [ok 'x ' =~ /x[\N{EMPTY-STR} y]/,
995                     'Empty string charname in [] is ignored; finds a following blank under /x'];
996         ok $w && $w =~ /Ignoring zero length/,
997                  'Ignoring zero length \N{} in character class warning';
998
999         ok 'AB'  =~ /(\N{EVIL})/ && $1 eq 'A', 'Charname caching $1';
1000         ok 'ABC' =~ /(\N{EVIL})/,              'Charname caching $1';
1001         ok 'xy'  =~ /x\N{EMPTY-STR}y/,
1002                     'Empty string charname produces NOTHING node';
1003         ok ''    =~ /\N{EMPTY-STR}/,
1004                     'Empty string charname produces NOTHING node';
1005         ok "\N{LONG-STR}" =~ /^\N{LONG-STR}$/, 'Verify that long string works';
1006         ok "\N{LONG-STR}" =~ /^\N{LONG-STR}$/i, 'Verify under folding that long string works';
1007
1008         # If remove the limitation in regcomp code these should work
1009         # differently
1010         undef $w;
1011         eval q [ok "\N{TOO-LONG-STR}" =~ /^\N{TOO-LONG-STR}$/, 'Verify that what once was too long a string works'];
1012         eval 'q(syntax error) =~ /\N{MALFORMED}/';
1013         ok $@ && $@ =~ /Malformed/, 'Verify that malformed utf8 gives an error';
1014         undef $w;
1015         eval 'q() =~ /\N{4F}/';
1016         ok $w && $w =~ /Deprecated/, 'Verify that leading digit in name gives warning';
1017         undef $w;
1018         eval 'q() =~ /\N{COM,MA}/';
1019         ok $w && $w =~ /Deprecated/, 'Verify that comma in name gives warning';
1020         undef $w;
1021         my $name = "A\x{D7}O";
1022         eval "q(W) =~ /\\N{$name}/";
1023         ok $w && $w =~ /Deprecated/, 'Verify that latin1 symbol in name gives warning';
1024         undef $w;
1025         $name = "A\x{D1}O";
1026         eval "q(W) =~ /\\N{$name}/";
1027         ok ! $w, 'Verify that latin1 letter in name doesnt give warning';
1028
1029     }
1030
1031     {
1032         use charnames ':full';
1033
1034         ok 'aabc' !~ /a\N{PLUS SIGN}b/, '/a\N{PLUS SIGN}b/ against aabc';
1035         ok 'a+bc' =~ /a\N{PLUS SIGN}b/, '/a\N{PLUS SIGN}b/ against a+bc';
1036
1037         ok ' A B' =~ /\N{SPACE}\N{U+0041}\N{SPACE}\N{U+0042}/,
1038             'Intermixed named and unicode escapes';
1039         ok "\N{SPACE}\N{U+0041}\N{SPACE}\N{U+0042}" =~
1040            /\N{SPACE}\N{U+0041}\N{SPACE}\N{U+0042}/,
1041             'Intermixed named and unicode escapes';
1042         ok "\N{SPACE}\N{U+0041}\N{SPACE}\N{U+0042}" =~
1043            /[\N{SPACE}\N{U+0041}][\N{SPACE}\N{U+0042}]/,
1044             'Intermixed named and unicode escapes';
1045         ok "\0" =~ /^\N{NULL}$/, 'Verify that \N{NULL} works; is not confused with an error';
1046     }
1047
1048     {
1049         our $brackets;
1050         $brackets = qr{
1051             {  (?> [^{}]+ | (??{ $brackets }) )* }
1052         }x;
1053
1054         ok "{b{c}d" !~ m/^((??{ $brackets }))/, "Bracket mismatch";
1055
1056         SKIP: {
1057             our @stack = ();
1058             my @expect = qw(
1059                 stuff1
1060                 stuff2
1061                 <stuff1>and<stuff2>
1062                 right
1063                 <right>
1064                 <<right>>
1065                 <<<right>>>
1066                 <<stuff1>and<stuff2>><<<<right>>>>
1067             );
1068
1069             local $_ = '<<<stuff1>and<stuff2>><<<<right>>>>>';
1070             ok /^(<((?:(?>[^<>]+)|(?1))*)>(?{push @stack, $2 }))$/,
1071                 "Recursion matches";
1072             is(@stack, @expect, "Right amount of matches")
1073                  or skip "Won't test individual results as count isn't equal",
1074                           0 + @expect;
1075             my $idx = 0;
1076             foreach my $expect (@expect) {
1077                 is($stack [$idx], $expect,
1078                    "Expecting '$expect' at stack pos #$idx");
1079                 $idx ++;
1080             }
1081         }
1082     }
1083
1084     {
1085         my $s = '123453456';
1086         $s =~ s/(?<digits>\d+)\k<digits>/$+{digits}/;
1087         ok $s eq '123456', 'Named capture (angle brackets) s///';
1088         $s = '123453456';
1089         $s =~ s/(?'digits'\d+)\k'digits'/$+{digits}/;
1090         ok $s eq '123456', 'Named capture (single quotes) s///';
1091     }
1092
1093     {
1094         my @ary = (
1095             pack('U', 0x00F1),            # n-tilde
1096             '_'.pack('U', 0x00F1),        # _ + n-tilde
1097             'c'.pack('U', 0x0327),        # c + cedilla
1098             pack('U*', 0x00F1, 0x0327),   # n-tilde + cedilla
1099             pack('U', 0x0391),            # ALPHA
1100             pack('U', 0x0391).'2',        # ALPHA + 2
1101             pack('U', 0x0391).'_',        # ALPHA + _
1102         );
1103
1104         for my $uni (@ary) {
1105             my ($r1, $c1, $r2, $c2) = eval qq {
1106                 use utf8;
1107                 scalar ("..foo foo.." =~ /(?'${uni}'foo) \\k'${uni}'/),
1108                         \$+{${uni}},
1109                 scalar ("..bar bar.." =~ /(?<${uni}>bar) \\k<${uni}>/),
1110                         \$+{${uni}};
1111             };
1112             ok $r1,                         "Named capture UTF (?'')";
1113             ok defined $c1 && $c1 eq 'foo', "Named capture UTF \%+";
1114             ok $r2,                         "Named capture UTF (?<>)";
1115             ok defined $c2 && $c2 eq 'bar', "Named capture UTF \%+";
1116         }
1117     }
1118
1119     {
1120         my $s = 'foo bar baz';
1121         my @res;
1122         if ('1234' =~ /(?<A>1)(?<B>2)(?<A>3)(?<B>4)/) {
1123             foreach my $name (sort keys(%-)) {
1124                 my $ary = $- {$name};
1125                 foreach my $idx (0 .. $#$ary) {
1126                     push @res, "$name:$idx:$ary->[$idx]";
1127                 }
1128             }
1129         }
1130         my @expect = qw (A:0:1 A:1:3 B:0:2 B:1:4);
1131         is("@res", "@expect", "Check %-");
1132         eval'
1133             no warnings "uninitialized";
1134             print for $- {this_key_doesnt_exist};
1135         ';
1136         ok !$@,'lvalue $- {...} should not throw an exception';
1137     }
1138
1139     {
1140         # \, breaks {3,4}
1141         no warnings qw{deprecated regexp};
1142         ok "xaaay"    !~ /xa{3\,4}y/, '\, in a pattern';
1143         ok "xa{3,4}y" =~ /xa{3\,4}y/, '\, in a pattern';
1144
1145         # \c\ followed by _
1146         ok "x\c_y"    !~ /x\c\_y/,    '\_ in a pattern';
1147         ok "x\c\_y"   =~ /x\c\_y/,    '\_ in a pattern';
1148
1149         # \c\ followed by other characters
1150         for my $c ("z", "\0", "!", chr(254), chr(256)) {
1151             my $targ = "a\034$c";
1152             my $reg  = "a\\c\\$c";
1153             ok eval ("qq/$targ/ =~ /$reg/"), "\\c\\ in pattern";
1154         }
1155     }
1156
1157     {   # Test the (*PRUNE) pattern
1158         our $count = 0;
1159         'aaab' =~ /a+b?(?{$count++})(*FAIL)/;
1160         is($count, 9, "Expect 9 for no (*PRUNE)");
1161         $count = 0;
1162         'aaab' =~ /a+b?(*PRUNE)(?{$count++})(*FAIL)/;
1163         is($count, 3, "Expect 3 with (*PRUNE)");
1164         local $_ = 'aaab';
1165         $count = 0;
1166         1 while /.(*PRUNE)(?{$count++})(*FAIL)/g;
1167         is($count, 4, "/.(*PRUNE)/");
1168         $count = 0;
1169         'aaab' =~ /a+b?(??{'(*PRUNE)'})(?{$count++})(*FAIL)/;
1170         is($count, 3, "Expect 3 with (*PRUNE)");
1171         local $_ = 'aaab';
1172         $count = 0;
1173         1 while /.(??{'(*PRUNE)'})(?{$count++})(*FAIL)/g;
1174         is($count, 4, "/.(*PRUNE)/");
1175     }
1176
1177     {   # Test the (*SKIP) pattern
1178         our $count = 0;
1179         'aaab' =~ /a+b?(*SKIP)(?{$count++})(*FAIL)/;
1180         is($count, 1, "Expect 1 with (*SKIP)");
1181         local $_ = 'aaab';
1182         $count = 0;
1183         1 while /.(*SKIP)(?{$count++})(*FAIL)/g;
1184         is($count, 4, "/.(*SKIP)/");
1185         $_ = 'aaabaaab';
1186         $count = 0;
1187         our @res = ();
1188         1 while /(a+b?)(*SKIP)(?{$count++; push @res,$1})(*FAIL)/g;
1189         is($count, 2, "Expect 2 with (*SKIP)");
1190         is("@res", "aaab aaab", "Adjacent (*SKIP) works as expected");
1191     }
1192
1193     {   # Test the (*SKIP) pattern
1194         our $count = 0;
1195         'aaab' =~ /a+b?(*MARK:foo)(*SKIP)(?{$count++})(*FAIL)/;
1196         is($count, 1, "Expect 1 with (*SKIP)");
1197         local $_ = 'aaab';
1198         $count = 0;
1199         1 while /.(*MARK:foo)(*SKIP)(?{$count++})(*FAIL)/g;
1200         is($count, 4, "/.(*SKIP)/");
1201         $_ = 'aaabaaab';
1202         $count = 0;
1203         our @res = ();
1204         1 while /(a+b?)(*MARK:foo)(*SKIP)(?{$count++; push @res,$1})(*FAIL)/g;
1205         is($count, 2, "Expect 2 with (*SKIP)");
1206         is("@res", "aaab aaab", "Adjacent (*SKIP) works as expected");
1207     }
1208
1209     {   # Test the (*SKIP) pattern
1210         our $count = 0;
1211         'aaab' =~ /a*(*MARK:a)b?(*MARK:b)(*SKIP:a)(?{$count++})(*FAIL)/;
1212         is($count, 3, "Expect 3 with *MARK:a)b?(*MARK:b)(*SKIP:a)");
1213         local $_ = 'aaabaaab';
1214         $count = 0;
1215         our @res = ();
1216         1 while
1217         /(a*(*MARK:a)b?)(*MARK:x)(*SKIP:a)(?{$count++; push @res,$1})(*FAIL)/g;
1218         is($count, 5, "Expect 5 with (*MARK:a)b?)(*MARK:x)(*SKIP:a)");
1219         is("@res", "aaab b aaab b ",
1220            "Adjacent (*MARK:a)b?)(*MARK:x)(*SKIP:a) works as expected");
1221     }
1222
1223     {   # Test the (*COMMIT) pattern
1224         our $count = 0;
1225         'aaabaaab' =~ /a+b?(*COMMIT)(?{$count++})(*FAIL)/;
1226         is($count, 1, "Expect 1 with (*COMMIT)");
1227         local $_ = 'aaab';
1228         $count = 0;
1229         1 while /.(*COMMIT)(?{$count++})(*FAIL)/g;
1230         is($count, 1, "/.(*COMMIT)/");
1231         $_ = 'aaabaaab';
1232         $count = 0;
1233         our @res = ();
1234         1 while /(a+b?)(*COMMIT)(?{$count++; push @res,$1})(*FAIL)/g;
1235         is($count, 1, "Expect 1 with (*COMMIT)");
1236         is("@res", "aaab", "Adjacent (*COMMIT) works as expected");
1237     }
1238
1239     {
1240         # Test named commits and the $REGERROR var
1241         our $REGERROR;
1242         for my $name ('', ':foo') {
1243             for my $pat ("(*PRUNE$name)",
1244                          ($name ? "(*MARK$name)" : "") . "(*SKIP$name)",
1245                          "(*COMMIT$name)") {
1246                 for my $suffix ('(*FAIL)', '') {
1247                     'aaaab' =~ /a+b$pat$suffix/;
1248                     is($REGERROR,
1249                          ($suffix ? ($name ? 'foo' : "1") : ""),
1250                         "Test $pat and \$REGERROR $suffix");
1251                 }
1252             }
1253         }
1254     }
1255
1256     {
1257         # Test named commits and the $REGERROR var
1258         package Fnorble;
1259         our $REGERROR;
1260         for my $name ('', ':foo') {
1261             for my $pat ("(*PRUNE$name)",
1262                          ($name ? "(*MARK$name)" : "") . "(*SKIP$name)",
1263                          "(*COMMIT$name)") {
1264                 for my $suffix ('(*FAIL)','') {
1265                     'aaaab' =~ /a+b$pat$suffix/;
1266                     ::is($REGERROR,
1267                          ($suffix ? ($name ? 'foo' : "1") : ""),
1268                          "Test $pat and \$REGERROR $suffix");
1269                 }
1270             }
1271         }
1272     }
1273
1274     {
1275         # Test named commits and the $REGERROR var
1276         my $message = '$REGERROR';
1277         our $REGERROR;
1278         for my $word (qw (bar baz bop)) {
1279             $REGERROR = "";
1280             "aaaaa$word" =~
1281               /a+(?:bar(*COMMIT:bar)|baz(*COMMIT:baz)|bop(*COMMIT:bop))(*FAIL)/;
1282             is($REGERROR, $word, $message);
1283         }
1284     }
1285
1286     {
1287         #Mindnumbingly simple test of (*THEN)
1288         for ("ABC","BAX") {
1289             ok /A (*THEN) X | B (*THEN) C/x, "Simple (*THEN) test";
1290         }
1291     }
1292
1293     {
1294         my $message = "Relative Recursion";
1295         my $parens = qr/(\((?:[^()]++|(?-1))*+\))/;
1296         local $_ = 'foo((2*3)+4-3) + bar(2*(3+4)-1*(2-3))';
1297         my ($all, $one, $two) = ('', '', '');
1298         ok(m/foo $parens \s* \+ \s* bar $parens/x, $message);
1299         is($1, '((2*3)+4-3)', $message);
1300         is($2, '(2*(3+4)-1*(2-3))', $message);
1301         is($&, 'foo((2*3)+4-3) + bar(2*(3+4)-1*(2-3))', $message);
1302         is($&, $_, $message);
1303     }
1304
1305     {
1306         my $spaces="      ";
1307         local $_ = join 'bar', $spaces, $spaces;
1308         our $count = 0;
1309         s/(?>\s+bar)(?{$count++})//g;
1310         is($_, $spaces, "SUSPEND final string");
1311         is($count, 1, "Optimiser should have prevented more than one match");
1312     }
1313
1314     {
1315         # From Message-ID: <877ixs6oa6.fsf@k75.linux.bogus>
1316         my $dow_name = "nada";
1317         my $parser = "(\$dow_name) = \$time_string =~ /(D\x{e9}\\ " .
1318                      "C\x{e9}adaoin|D\x{e9}\\ Sathairn|\\w+|\x{100})/";
1319         my $time_string = "D\x{e9} C\x{e9}adaoin";
1320         eval $parser;
1321         ok !$@, "Test Eval worked";
1322         is($dow_name, $time_string, "UTF-8 trie common prefix extraction");
1323     }
1324
1325     {
1326         my $v;
1327         ($v = 'bar') =~ /(\w+)/g;
1328         $v = 'foo';
1329         is("$1", 'bar',
1330            '$1 is safe after /g - may fail due to specialized config in pp_hot.c');
1331     }
1332
1333     {
1334         my $message = "http://nntp.perl.org/group/perl.perl5.porters/118663";
1335         my $qr_barR1 = qr/(bar)\g-1/;
1336         like("foobarbarxyz", $qr_barR1, $message);
1337         like("foobarbarxyz", qr/foo${qr_barR1}xyz/, $message);
1338         like("foobarbarxyz", qr/(foo)${qr_barR1}xyz/, $message);
1339         like("foobarbarxyz", qr/(foo)(bar)\g{-1}xyz/, $message);
1340         like("foobarbarxyz", qr/(foo${qr_barR1})xyz/, $message);
1341         like("foobarbarxyz", qr/(foo(bar)\g{-1})xyz/, $message);
1342     }
1343
1344     {
1345         my $message = '$REGMARK';
1346         our @r = ();
1347         our ($REGMARK, $REGERROR);
1348         like('foofoo', qr/foo (*MARK:foo) (?{push @r,$REGMARK}) /x, $message);
1349         is("@r","foo", $message);
1350         is($REGMARK, "foo", $message);
1351         unlike('foofoo', qr/foo (*MARK:foo) (*FAIL) /x, $message);
1352         is($REGMARK, '', $message);
1353         is($REGERROR, 'foo', $message);
1354     }
1355
1356     {
1357         my $message = '\K test';
1358         my $x;
1359         $x = "abc.def.ghi.jkl";
1360         $x =~ s/.*\K\..*//;
1361         is($x, "abc.def.ghi", $message);
1362
1363         $x = "one two three four";
1364         $x =~ s/o+ \Kthree//g;
1365         is($x, "one two  four", $message);
1366
1367         $x = "abcde";
1368         $x =~ s/(.)\K/$1/g;
1369         is($x, "aabbccddee", $message);
1370     }
1371
1372     {
1373         sub kt {
1374             return '4' if $_[0] eq '09028623';
1375         }
1376         # Nested EVAL using PL_curpm (via $1 or friends)
1377         my $re;
1378         our $grabit = qr/ ([0-6][0-9]{7}) (??{ kt $1 }) [890] /x;
1379         $re = qr/^ ( (??{ $grabit }) ) $ /x;
1380         my @res = '0902862349' =~ $re;
1381         is(join ("-", @res), "0902862349",
1382            'PL_curpm is set properly on nested eval');
1383
1384         our $qr = qr/ (o) (??{ $1 }) /x;
1385         ok 'boob'=~/( b (??{ $qr }) b )/x && 1, "PL_curpm, nested eval";
1386     }
1387
1388     {
1389         use charnames ":full";
1390         ok "\N{ROMAN NUMERAL ONE}" =~ /\p{Alphabetic}/, "I =~ Alphabetic";
1391         ok "\N{ROMAN NUMERAL ONE}" =~ /\p{Uppercase}/,  "I =~ Uppercase";
1392         ok "\N{ROMAN NUMERAL ONE}" !~ /\p{Lowercase}/,  "I !~ Lowercase";
1393         ok "\N{ROMAN NUMERAL ONE}" =~ /\p{IDStart}/,    "I =~ ID_Start";
1394         ok "\N{ROMAN NUMERAL ONE}" =~ /\p{IDContinue}/, "I =~ ID_Continue";
1395         ok "\N{SMALL ROMAN NUMERAL ONE}" =~ /\p{Alphabetic}/, "i =~ Alphabetic";
1396         ok "\N{SMALL ROMAN NUMERAL ONE}" !~ /\p{Uppercase}/,  "i !~ Uppercase";
1397         ok "\N{SMALL ROMAN NUMERAL ONE}" =~ /\p{Uppercase}/i,  "i =~ Uppercase under /i";
1398         ok "\N{SMALL ROMAN NUMERAL ONE}" !~ /\p{Titlecase}/,  "i !~ Titlecase";
1399         ok "\N{SMALL ROMAN NUMERAL ONE}" =~ /\p{Titlecase}/i,  "i =~ Titlecase under /i";
1400         ok "\N{ROMAN NUMERAL ONE}" =~ /\p{Lowercase}/i,  "I =~ Lowercase under /i";
1401
1402         ok "\N{SMALL ROMAN NUMERAL ONE}" =~ /\p{Lowercase}/,  "i =~ Lowercase";
1403         ok "\N{SMALL ROMAN NUMERAL ONE}" =~ /\p{IDStart}/,    "i =~ ID_Start";
1404         ok "\N{SMALL ROMAN NUMERAL ONE}" =~ /\p{IDContinue}/, "i =~ ID_Continue"
1405     }
1406
1407     {   # More checking that /i works on the few properties that it makes a
1408         # difference.  Uppercase, Lowercase, and Titlecase were done in the
1409         # block above
1410         ok "A" =~ /\p{PosixUpper}/,  "A =~ PosixUpper";
1411         ok "A" =~ /\p{PosixUpper}/i,  "A =~ PosixUpper under /i";
1412         ok "A" !~ /\p{PosixLower}/,  "A !~ PosixLower";
1413         ok "A" =~ /\p{PosixLower}/i,  "A =~ PosixLower under /i";
1414         ok "a" !~ /\p{PosixUpper}/,  "a !~ PosixUpper";
1415         ok "a" =~ /\p{PosixUpper}/i,  "a =~ PosixUpper under /i";
1416         ok "a" =~ /\p{PosixLower}/,  "a =~ PosixLower";
1417         ok "a" =~ /\p{PosixLower}/i,  "a =~ PosixLower under /i";
1418
1419         ok "\xC0" =~ /\p{XPosixUpper}/,  "\\xC0 =~ XPosixUpper";
1420         ok "\xC0" =~ /\p{XPosixUpper}/i,  "\\xC0 =~ XPosixUpper under /i";
1421         ok "\xC0" !~ /\p{XPosixLower}/,  "\\xC0 !~ XPosixLower";
1422         ok "\xC0" =~ /\p{XPosixLower}/i,  "\\xC0 =~ XPosixLower under /i";
1423         ok "\xE0" !~ /\p{XPosixUpper}/,  "\\xE0 !~ XPosixUpper";
1424         ok "\xE0" =~ /\p{XPosixUpper}/i,  "\\xE0 =~ XPosixUpper under /i";
1425         ok "\xE0" =~ /\p{XPosixLower}/,  "\\xE0 =~ XPosixLower";
1426         ok "\xE0" =~ /\p{XPosixLower}/i,  "\\xE0 =~ XPosixLower under /i";
1427
1428         ok "\xC0" =~ /\p{UppercaseLetter}/,  "\\xC0 =~ UppercaseLetter";
1429         ok "\xC0" =~ /\p{UppercaseLetter}/i,  "\\xC0 =~ UppercaseLetter under /i";
1430         ok "\xC0" !~ /\p{LowercaseLetter}/,  "\\xC0 !~ LowercaseLetter";
1431         ok "\xC0" =~ /\p{LowercaseLetter}/i,  "\\xC0 =~ LowercaseLetter under /i";
1432         ok "\xC0" !~ /\p{TitlecaseLetter}/,  "\\xC0 !~ TitlecaseLetter";
1433         ok "\xC0" =~ /\p{TitlecaseLetter}/i,  "\\xC0 =~ TitlecaseLetter under /i";
1434         ok "\xE0" !~ /\p{UppercaseLetter}/,  "\\xE0 !~ UppercaseLetter";
1435         ok "\xE0" =~ /\p{UppercaseLetter}/i,  "\\xE0 =~ UppercaseLetter under /i";
1436         ok "\xE0" =~ /\p{LowercaseLetter}/,  "\\xE0 =~ LowercaseLetter";
1437         ok "\xE0" =~ /\p{LowercaseLetter}/i,  "\\xE0 =~ LowercaseLetter under /i";
1438         ok "\xE0" !~ /\p{TitlecaseLetter}/,  "\\xE0 !~ TitlecaseLetter";
1439         ok "\xE0" =~ /\p{TitlecaseLetter}/i,  "\\xE0 =~ TitlecaseLetter under /i";
1440         ok "\x{1C5}" !~ /\p{UppercaseLetter}/,  "\\x{1C5} !~ UppercaseLetter";
1441         ok "\x{1C5}" =~ /\p{UppercaseLetter}/i,  "\\x{1C5} =~ UppercaseLetter under /i";
1442         ok "\x{1C5}" !~ /\p{LowercaseLetter}/,  "\\x{1C5} !~ LowercaseLetter";
1443         ok "\x{1C5}" =~ /\p{LowercaseLetter}/i,  "\\x{1C5} =~ LowercaseLetter under /i";
1444         ok "\x{1C5}" =~ /\p{TitlecaseLetter}/,  "\\x{1C5} =~ TitlecaseLetter";
1445         ok "\x{1C5}" =~ /\p{TitlecaseLetter}/i,  "\\x{1C5} =~ TitlecaseLetter under /i";
1446     }
1447
1448     {
1449         # requirement of Unicode Technical Standard #18, 1.7 Code Points
1450         # cf. http://www.unicode.org/reports/tr18/#Supplementary_Characters
1451         for my $u (0x7FF, 0x800, 0xFFFF, 0x10000) {
1452             no warnings 'utf8'; # oops
1453             my $c = chr $u;
1454             my $x = sprintf '%04X', $u;
1455             ok "A${c}B" =~ /A[\0-\x{10000}]B/, "Unicode range - $x";
1456         }
1457     }
1458
1459     {
1460         my $res="";
1461
1462         if ('1' =~ /(?|(?<digit>1)|(?<digit>2))/) {
1463             $res = "@{$- {digit}}";
1464         }
1465         is($res, "1",
1466            "Check that (?|...) doesnt cause dupe entries in the names array");
1467
1468         $res = "";
1469         if ('11' =~ /(?|(?<digit>1)|(?<digit>2))(?&digit)/) {
1470             $res = "@{$- {digit}}";
1471         }
1472         is($res, "1",
1473            "Check that (?&..) to a buffer inside a (?|...) goes to the leftmost");
1474     }
1475
1476     {
1477         use warnings;
1478         my $message = "ASCII pattern that really is UTF-8";
1479         my @w;
1480         local $SIG {__WARN__} = sub {push @w, "@_"};
1481         my $c = qq (\x{DF});
1482         like($c, qr/${c}|\x{100}/, $message);
1483         is("@w", '', $message);
1484     }
1485
1486     {
1487         my $message = "Corruption of match results of qr// across scopes";
1488         my $qr = qr/(fo+)(ba+r)/;
1489         'foobar' =~ /$qr/;
1490         is("$1$2", "foobar", $message);
1491         {
1492             'foooooobaaaaar' =~ /$qr/;
1493             is("$1$2", 'foooooobaaaaar', $message);
1494         }
1495         is("$1$2", "foobar", $message);
1496     }
1497
1498     {
1499         my $message = "HORIZWS";
1500         local $_ = "\t \r\n \n \t".chr(11)."\n";
1501         s/\H/H/g;
1502         s/\h/h/g;
1503         is($_, "hhHHhHhhHH", $message);
1504         $_ = "\t \r\n \n \t" . chr (11) . "\n";
1505         utf8::upgrade ($_);
1506         s/\H/H/g;
1507         s/\h/h/g;
1508         is($_, "hhHHhHhhHH", $message);
1509     }
1510
1511     {
1512         # Various whitespace special patterns
1513         my @h = map {chr $_}   0x09,   0x20,   0xa0, 0x1680, 0x180e, 0x2000,
1514                              0x2001, 0x2002, 0x2003, 0x2004, 0x2005, 0x2006,
1515                              0x2007, 0x2008, 0x2009, 0x200a, 0x202f, 0x205f,
1516                              0x3000;
1517         my @v = map {chr $_}   0x0a,   0x0b,   0x0c,   0x0d,   0x85, 0x2028,
1518                              0x2029;
1519         my @lb = ("\x0D\x0A", map {chr $_} 0x0A .. 0x0D, 0x85, 0x2028, 0x2029);
1520         foreach my $t ([\@h,  qr/\h/, qr/\h+/],
1521                        [\@v,  qr/\v/, qr/\v+/],
1522                        [\@lb, qr/\R/, qr/\R+/],) {
1523             my $ary = shift @$t;
1524             foreach my $pat (@$t) {
1525                 foreach my $str (@$ary) {
1526                     my $temp_str = $str;
1527                     $temp_str = display($temp_str);
1528                     ok $str =~ /($pat)/, $temp_str . " =~ /($pat)";
1529                     my $temp_1 = $1;
1530                     is($1, $str, "\$1='" . display($temp_1) . "' eq '" . $temp_str . "' after ($pat)");
1531                     utf8::upgrade ($str);
1532                     ok $str =~ /($pat)/, "Upgraded " . $temp_str . " =~ /($pat)/";
1533                     is($1, $str, "\$1='" . display($temp_1) . "' eq '" . $temp_str . "'(upgraded) after ($pat)");
1534                 }
1535             }
1536         }
1537     }
1538
1539     {
1540         # Check that \\xDF match properly in its various forms
1541         # Test that \xDF matches properly. this is pretty hacky stuff,
1542         # but its actually needed. The malarky with '-' is to prevent
1543         # compilation caching from playing any role in the test.
1544         my @df = (chr (0xDF), '-', chr (0xDF));
1545         utf8::upgrade ($df [2]);
1546         my @strs = ('ss', 'sS', 'Ss', 'SS', chr (0xDF));
1547         my @ss = map {("$_", "$_")} @strs;
1548         utf8::upgrade ($ss [$_ * 2 + 1]) for 0 .. $#strs;
1549
1550         for my $ssi (0 .. $#ss) {
1551             for my $dfi (0 .. $#df) {
1552                 my $pat = $df [$dfi];
1553                 my $str = $ss [$ssi];
1554                 my $utf_df = ($dfi > 1) ? 'utf8' : '';
1555                 my $utf_ss = ($ssi % 2) ? 'utf8' : '';
1556                 (my $sstr = $str) =~ s/\xDF/\\xDF/;
1557
1558                 if ($utf_df || $utf_ss || length ($ss [$ssi]) == 1) {
1559                     my $ret = $str =~ /$pat/i;
1560                     next if $pat eq '-';
1561                     ok $ret, "\"$sstr\" =~ /\\xDF/i " .
1562                              "(str is @{[$utf_ss||'latin']}, pat is " .
1563                              "@{[$utf_df||'latin']})";
1564                 }
1565                 else {
1566                     my $ret = $str !~ /$pat/i;
1567                     next if $pat eq '-';
1568                     ok $ret, "\"$sstr\" !~ /\\xDF/i " .
1569                              "(str is @{[$utf_ss||'latin']}, pat is " .
1570                              "@{[$utf_df||'latin']})";
1571                 }
1572             }
1573         }
1574     }
1575
1576     {
1577         my $message = "BBC(Bleadperl Breaks CPAN) Today: String::Multibyte";
1578         my $re  = qr/(?:[\x00-\xFF]{4})/;
1579         my $hyp = "\0\0\0-";
1580         my $esc = "\0\0\0\\";
1581
1582         my $str = "$esc$hyp$hyp$esc$esc";
1583         my @a = ($str =~ /\G(?:\Q$esc$esc\E|\Q$esc$hyp\E|$re)/g);
1584
1585         is(@a,3, $message);
1586         local $" = "=";
1587         is("@a","$esc$hyp=$hyp=$esc$esc", $message);
1588     }
1589
1590     {
1591         # Test for keys in %+ and %-
1592         my $message = 'Test keys in %+ and %-';
1593         no warnings 'uninitialized';
1594         my $_ = "abcdef";
1595         /(?<foo>a)|(?<foo>b)/;
1596         is((join ",", sort keys %+), "foo", $message);
1597         is((join ",", sort keys %-), "foo", $message);
1598         is((join ",", sort values %+), "a", $message);
1599         is((join ",", sort map "@$_", values %-), "a ", $message);
1600         /(?<bar>a)(?<bar>b)(?<quux>.)/;
1601         is((join ",", sort keys %+), "bar,quux", $message);
1602         is((join ",", sort keys %-), "bar,quux", $message);
1603         is((join ",", sort values %+), "a,c", $message); # leftmost
1604         is((join ",", sort map "@$_", values %-), "a b,c", $message);
1605         /(?<un>a)(?<deux>c)?/; # second buffer won't capture
1606         is((join ",", sort keys %+), "un", $message);
1607         is((join ",", sort keys %-), "deux,un", $message);
1608         is((join ",", sort values %+), "a", $message);
1609         is((join ",", sort map "@$_", values %-), ",a", $message);
1610     }
1611
1612     {
1613         # length() on captures, the numbered ones end up in Perl_magic_len
1614         my $_ = "aoeu \xe6var ook";
1615         /^ \w+ \s (?<eek>\S+)/x;
1616
1617         is(length $`,      0, q[length $`]);
1618         is(length $',      4, q[length $']);
1619         is(length $&,      9, q[length $&]);
1620         is(length $1,      4, q[length $1]);
1621         is(length $+{eek}, 4, q[length $+{eek} == length $1]);
1622     }
1623
1624     {
1625         my $ok = -1;
1626
1627         $ok = exists ($-{x}) ? 1 : 0 if 'bar' =~ /(?<x>foo)|bar/;
1628         is($ok, 1, '$-{x} exists after "bar"=~/(?<x>foo)|bar/');
1629         is(scalar (%+), 0, 'scalar %+ == 0 after "bar"=~/(?<x>foo)|bar/');
1630         is(scalar (%-), 1, 'scalar %- == 1 after "bar"=~/(?<x>foo)|bar/');
1631
1632         $ok = -1;
1633         $ok = exists ($+{x}) ? 1 : 0 if 'bar' =~ /(?<x>foo)|bar/;
1634         is($ok, 0, '$+{x} not exists after "bar"=~/(?<x>foo)|bar/');
1635         is(scalar (%+), 0, 'scalar %+ == 0 after "bar"=~/(?<x>foo)|bar/');
1636         is(scalar (%-), 1, 'scalar %- == 1 after "bar"=~/(?<x>foo)|bar/');
1637
1638         $ok = -1;
1639         $ok = exists ($-{x}) ? 1 : 0 if 'foo' =~ /(?<x>foo)|bar/;
1640         is($ok, 1, '$-{x} exists after "foo"=~/(?<x>foo)|bar/');
1641         is(scalar (%+), 1, 'scalar %+ == 1 after "foo"=~/(?<x>foo)|bar/');
1642         is(scalar (%-), 1, 'scalar %- == 1 after "foo"=~/(?<x>foo)|bar/');
1643
1644         $ok = -1;
1645         $ok = exists ($+{x}) ? 1 : 0 if 'foo'=~/(?<x>foo)|bar/;
1646         is($ok, 1, '$+{x} exists after "foo"=~/(?<x>foo)|bar/');
1647     }
1648
1649     {
1650         local $_;
1651         ($_ = 'abc') =~ /(abc)/g;
1652         $_ = '123';
1653         is("$1", 'abc', "/g leads to unsafe match vars: $1");
1654
1655         fresh_perl_is(<<'EOP', ">abc<\n", {}, 'mention $&');
1656 $&;
1657 my $x; 
1658 ($x='abc')=~/(abc)/g; 
1659 $x='123'; 
1660 print ">$1<\n";
1661 EOP
1662
1663         fresh_perl_is(<<'EOP', ">abc<\n", {}, 'no mention of $&');
1664 my $x; 
1665 ($x='abc')=~/(abc)/g; 
1666 $x='123'; 
1667 print ">$1<\n";
1668 EOP
1669     }
1670
1671     {
1672         # Message-ID: <20070818091501.7eff4831@r2d2>
1673         my $str = "";
1674         for (0 .. 5) {
1675             my @x;
1676             $str .= "@x"; # this should ALWAYS be the empty string
1677             'a' =~ /(a|)/;
1678             push @x, 1;
1679         }
1680         is(length $str, 0, "Trie scope error, string should be empty");
1681         $str = "";
1682         my @foo = ('a') x 5;
1683         for (@foo) {
1684             my @bar;
1685             $str .= "@bar";
1686             s/a|/push @bar, 1/e;
1687         }
1688         is(length $str, 0, "Trie scope error, string should be empty");
1689     }
1690
1691     {
1692 # more TRIE/AHOCORASICK problems with mixed utf8 / latin-1 and case folding
1693     for my $chr (160 .. 255) {
1694         my $chr_byte = chr($chr);
1695         my $chr_utf8 = chr($chr); utf8::upgrade($chr_utf8);
1696         my $rx = qr{$chr_byte|X}i;
1697         ok($chr_utf8 =~ $rx, "utf8/latin, codepoint $chr");
1698     }
1699     }
1700
1701     {
1702         our $a = 3; "" =~ /(??{ $a })/;
1703         our $b = $a;
1704         is($b, $a, "Copy of scalar used for postponed subexpression");
1705     }
1706
1707     {
1708         our @ctl_n = ();
1709         our @plus = ();
1710         our $nested_tags;
1711         $nested_tags = qr{
1712             <
1713                (\w+)
1714                (?{
1715                        push @ctl_n,$^N;
1716                        push @plus,$+;
1717                })
1718             >
1719             (??{$nested_tags})*
1720             </\s* \w+ \s*>
1721         }x;
1722
1723         my $match = '<bla><blubb></blubb></bla>' =~ m/^$nested_tags$/;
1724         ok $match, 'nested construct matches';
1725         is("@ctl_n", "bla blubb", '$^N inside of (?{}) works as expected');
1726         is("@plus",  "bla blubb", '$+  inside of (?{}) works as expected');
1727     }
1728
1729     SKIP: {
1730         # XXX: This set of tests is essentially broken, POSIX character classes
1731         # should not have differing definitions under Unicode.
1732         # There are property names for that.
1733         skip "Tests assume ASCII", 4 unless $::IS_ASCII;
1734
1735         my @notIsPunct = grep {/[[:punct:]]/ and not /\p{IsPunct}/}
1736                                 map {chr} 0x20 .. 0x7f;
1737         is(join ('', @notIsPunct), '$+<=>^`|~',
1738            '[:punct:] disagrees with IsPunct on Symbols');
1739
1740         my @isPrint = grep {not /[[:print:]]/ and /\p{IsPrint}/}
1741                             map {chr} 0 .. 0x1f, 0x7f .. 0x9f;
1742         is(join ('', @isPrint), "",
1743            'IsPrint agrees with [:print:] on control characters');
1744
1745         my @isPunct = grep {/[[:punct:]]/ != /\p{IsPunct}/}
1746                             map {chr} 0x80 .. 0xff;
1747         is(join ('', @isPunct), "\xa1\xa7\xab\xb6\xb7\xbb\xbf",    # ¡ « · » ¿
1748            'IsPunct disagrees with [:punct:] outside ASCII');
1749
1750         my @isPunctLatin1 = eval q {
1751             use encoding 'latin1';
1752             grep {/[[:punct:]]/ != /\p{IsPunct}/} map {chr} 0x80 .. 0xff;
1753         };
1754         skip "Eval failed ($@)", 1 if $@;
1755         skip "PERL_LEGACY_UNICODE_CHARCLASS_MAPPINGS set to 0", 1
1756               if !$ENV{PERL_TEST_LEGACY_POSIX_CC};
1757         is(join ('', @isPunctLatin1), '',
1758            'IsPunct agrees with [:punct:] with explicit Latin1');
1759     }
1760
1761     {
1762         # Tests for [#perl 71942]
1763         our $count_a;
1764         our $count_b;
1765
1766         my $c = 0;
1767         for my $re (
1768 #            [
1769 #                should match?,
1770 #                input string,
1771 #                re 1,
1772 #                re 2,
1773 #                expected values of count_a and count_b,
1774 #            ]
1775             [
1776                 0,
1777                 "xababz",
1778                 qr/a+(?{$count_a++})b?(*COMMIT)(*FAIL)/,
1779                 qr/a+(?{$count_b++})b?(*COMMIT)z/,
1780                 1,
1781             ],
1782             [
1783                 0,
1784                 "xababz",
1785                 qr/a+(?{$count_a++})b?(*COMMIT)\s*(*FAIL)/,
1786                 qr/a+(?{$count_b++})b?(*COMMIT)\s*z/,
1787                 1,
1788             ],
1789             [
1790                 0,
1791                 "xababz",
1792                 qr/a+(?{$count_a++})(?:b|)?(*COMMIT)(*FAIL)/,
1793                 qr/a+(?{$count_b++})(?:b|)?(*COMMIT)z/,
1794                 1,
1795             ],
1796             [
1797                 0,
1798                 "xababz",
1799                 qr/a+(?{$count_a++})b{0,6}(*COMMIT)(*FAIL)/,
1800                 qr/a+(?{$count_b++})b{0,6}(*COMMIT)z/,
1801                 1,
1802             ],
1803             [
1804                 0,
1805                 "xabcabcz",
1806                 qr/a+(?{$count_a++})(bc){0,6}(*COMMIT)(*FAIL)/,
1807                 qr/a+(?{$count_b++})(bc){0,6}(*COMMIT)z/,
1808                 1,
1809             ],
1810             [
1811                 0,
1812                 "xabcabcz",
1813                 qr/a+(?{$count_a++})(bc*){0,6}(*COMMIT)(*FAIL)/,
1814                 qr/a+(?{$count_b++})(bc*){0,6}(*COMMIT)z/,
1815                 1,
1816             ],
1817
1818
1819             [
1820                 0,
1821                 "aaaabtz",
1822                 qr/a+(?{$count_a++})b?(*PRUNE)(*FAIL)/,
1823                 qr/a+(?{$count_b++})b?(*PRUNE)z/,
1824                 4,
1825             ],
1826             [
1827                 0,
1828                 "aaaabtz",
1829                 qr/a+(?{$count_a++})b?(*PRUNE)\s*(*FAIL)/,
1830                 qr/a+(?{$count_b++})b?(*PRUNE)\s*z/,
1831                 4,
1832             ],
1833             [
1834                 0,
1835                 "aaaabtz",
1836                 qr/a+(?{$count_a++})(?:b|)(*PRUNE)(*FAIL)/,
1837                 qr/a+(?{$count_b++})(?:b|)(*PRUNE)z/,
1838                 4,
1839             ],
1840             [
1841                 0,
1842                 "aaaabtz",
1843                 qr/a+(?{$count_a++})b{0,6}(*PRUNE)(*FAIL)/,
1844                 qr/a+(?{$count_b++})b{0,6}(*PRUNE)z/,
1845                 4,
1846             ],
1847             [
1848                 0,
1849                 "aaaabctz",
1850                 qr/a+(?{$count_a++})(bc){0,6}(*PRUNE)(*FAIL)/,
1851                 qr/a+(?{$count_b++})(bc){0,6}(*PRUNE)z/,
1852                 4,
1853             ],
1854             [
1855                 0,
1856                 "aaaabctz",
1857                 qr/a+(?{$count_a++})(bc*){0,6}(*PRUNE)(*FAIL)/,
1858                 qr/a+(?{$count_b++})(bc*){0,6}(*PRUNE)z/,
1859                 4,
1860             ],
1861
1862             [
1863                 0,
1864                 "aaabaaab",
1865                 qr/a+(?{$count_a++;})b?(*SKIP)(*FAIL)/,
1866                 qr/a+(?{$count_b++;})b?(*SKIP)z/,
1867                 2,
1868             ],
1869             [
1870                 0,
1871                 "aaabaaab",
1872                 qr/a+(?{$count_a++;})b?(*SKIP)\s*(*FAIL)/,
1873                 qr/a+(?{$count_b++;})b?(*SKIP)\s*z/,
1874                 2,
1875             ],
1876             [
1877                 0,
1878                 "aaabaaab",
1879                 qr/a+(?{$count_a++;})(?:b|)(*SKIP)(*FAIL)/,
1880                 qr/a+(?{$count_b++;})(?:b|)(*SKIP)z/,
1881                 2,
1882             ],
1883             [
1884                 0,
1885                 "aaabaaab",
1886                 qr/a+(?{$count_a++;})b{0,6}(*SKIP)(*FAIL)/,
1887                 qr/a+(?{$count_b++;})b{0,6}(*SKIP)z/,
1888                 2,
1889             ],
1890             [
1891                 0,
1892                 "aaabcaaabc",
1893                 qr/a+(?{$count_a++;})(bc){0,6}(*SKIP)(*FAIL)/,
1894                 qr/a+(?{$count_b++;})(bc){0,6}(*SKIP)z/,
1895                 2,
1896             ],
1897             [
1898                 0,
1899                 "aaabcaaabc",
1900                 qr/a+(?{$count_a++;})(bc*){0,6}(*SKIP)(*FAIL)/,
1901                 qr/a+(?{$count_b++;})(bc*){0,6}(*SKIP)z/,
1902                 2,
1903             ],
1904
1905
1906             [
1907                 0,
1908                 "aaddbdaabyzc",
1909                 qr/a (?{$count_a++;}) (*MARK:T1) (a*) .*? b?  (*SKIP:T1) (*FAIL) \s* c \1 /x,
1910                 qr/a (?{$count_b++;}) (*MARK:T1) (a*) .*? b?  (*SKIP:T1) z \s* c \1 /x,
1911                 4,
1912             ],
1913             [
1914                 0,
1915                 "aaddbdaabyzc",
1916                 qr/a (?{$count_a++;}) (*MARK:T1) (a*) .*? b?  (*SKIP:T1) \s* (*FAIL) \s* c \1 /x,
1917                 qr/a (?{$count_b++;}) (*MARK:T1) (a*) .*? b?  (*SKIP:T1) \s* z \s* c \1 /x,
1918                 4,
1919             ],
1920             [
1921                 0,
1922                 "aaddbdaabyzc",
1923                 qr/a (?{$count_a++;}) (*MARK:T1) (a*) .*? (?:b|)  (*SKIP:T1) (*FAIL) \s* c \1 /x,
1924                 qr/a (?{$count_b++;}) (*MARK:T1) (a*) .*? (?:b|)  (*SKIP:T1) z \s* c \1 /x,
1925                 4,
1926             ],
1927             [
1928                 0,
1929                 "aaddbdaabyzc",
1930                 qr/a (?{$count_a++;}) (*MARK:T1) (a*) .*? b{0,6}  (*SKIP:T1) (*FAIL) \s* c \1 /x,
1931                 qr/a (?{$count_b++;}) (*MARK:T1) (a*) .*? b{0,6}  (*SKIP:T1) z \s* c \1 /x,
1932                 4,
1933             ],
1934             [
1935                 0,
1936                 "aaddbcdaabcyzc",
1937                 qr/a (?{$count_a++;}) (*MARK:T1) (a*) .*? (bc){0,6}  (*SKIP:T1) (*FAIL) \s* c \1 /x,
1938                 qr/a (?{$count_b++;}) (*MARK:T1) (a*) .*? (bc){0,6}  (*SKIP:T1) z \s* c \1 /x,
1939                 4,
1940             ],
1941             [
1942                 0,
1943                 "aaddbcdaabcyzc",
1944                 qr/a (?{$count_a++;}) (*MARK:T1) (a*) .*? (bc*){0,6}  (*SKIP:T1) (*FAIL) \s* c \1 /x,
1945                 qr/a (?{$count_b++;}) (*MARK:T1) (a*) .*? (bc*){0,6}  (*SKIP:T1) z \s* c \1 /x,
1946                 4,
1947             ],
1948
1949
1950             [
1951                 0,
1952                 "aaaaddbdaabyzc",
1953                 qr/a (?{$count_a++;})  (a?) (*MARK:T1) (a*) .*? b?   (*MARK:T1) (*SKIP:T1) (*FAIL) \s* c \1 /x,
1954                 qr/a (?{$count_b++;})  (a?) (*MARK:T1) (a*) .*? b?   (*MARK:T1) (*SKIP:T1) z \s* c \1 /x,
1955                 2,
1956             ],
1957             [
1958                 0,
1959                 "aaaaddbdaabyzc",
1960                 qr/a (?{$count_a++;})  (a?) (*MARK:T1) (a*) .*? b?   (*MARK:T1) (*SKIP:T1) \s* (*FAIL) \s* c \1 /x,
1961                 qr/a (?{$count_b++;})  (a?) (*MARK:T1) (a*) .*? b?   (*MARK:T1) (*SKIP:T1) \s* z \s* c \1 /x,
1962                 2,
1963             ],
1964             [
1965                 0,
1966                 "aaaaddbdaabyzc",
1967                 qr/a (?{$count_a++;})  (a?) (*MARK:T1) (a*) .*? (?:b|)   (*MARK:T1) (*SKIP:T1) (*FAIL) \s* c \1 /x,
1968                 qr/a (?{$count_b++;})  (a?) (*MARK:T1) (a*) .*? (?:b|)   (*MARK:T1) (*SKIP:T1) z \s* c \1 /x,
1969                 2,
1970             ],
1971             [
1972                 0,
1973                 "aaaaddbdaabyzc",
1974                 qr/a (?{$count_a++;})  (a?) (*MARK:T1) (a*) .*? b{0,6}   (*MARK:T1) (*SKIP:T1) (*FAIL) \s* c \1 /x,
1975                 qr/a (?{$count_b++;})  (a?) (*MARK:T1) (a*) .*? b{0,6}   (*MARK:T1) (*SKIP:T1) z \s* c \1 /x,
1976                 2,
1977             ],
1978             [
1979                 0,
1980                 "aaaaddbcdaabcyzc",
1981                 qr/a (?{$count_a++;})  (a?) (*MARK:T1) (a*) .*? (bc){0,6}   (*MARK:T1) (*SKIP:T1) (*FAIL) \s* c \1 /x,
1982                 qr/a (?{$count_b++;})  (a?) (*MARK:T1) (a*) .*? (bc){0,6}   (*MARK:T1) (*SKIP:T1) z \s* c \1 /x,
1983                 2,
1984             ],
1985             [
1986                 0,
1987                 "aaaaddbcdaabcyzc",
1988                 qr/a (?{$count_a++;})  (a?) (*MARK:T1) (a*) .*? (bc*){0,6}   (*MARK:T1) (*SKIP:T1) (*FAIL) \s* c \1 /x,
1989                 qr/a (?{$count_b++;})  (a?) (*MARK:T1) (a*) .*? (bc*){0,6}   (*MARK:T1) (*SKIP:T1) z \s* c \1 /x,
1990                 2,
1991             ],
1992
1993
1994             [
1995                 0,
1996                 "AbcdCBefgBhiBqz",
1997                 qr/(A (.*)  (?{ $count_a++ }) C? (*THEN)  | A D) (*FAIL)/x,
1998                 qr/(A (.*)  (?{ $count_b++ }) C? (*THEN)  | A D) z/x,
1999                 1,
2000             ],
2001             [
2002                 0,
2003                 "AbcdCBefgBhiBqz",
2004                 qr/(A (.*)  (?{ $count_a++ }) C? (*THEN)  | A D) \s* (*FAIL)/x,
2005                 qr/(A (.*)  (?{ $count_b++ }) C? (*THEN)  | A D) \s* z/x,
2006                 1,
2007             ],
2008             [
2009                 0,
2010                 "AbcdCBefgBhiBqz",
2011                 qr/(A (.*)  (?{ $count_a++ }) (?:C|) (*THEN)  | A D) (*FAIL)/x,
2012                 qr/(A (.*)  (?{ $count_b++ }) (?:C|) (*THEN)  | A D) z/x,
2013                 1,
2014             ],
2015             [
2016                 0,
2017                 "AbcdCBefgBhiBqz",
2018                 qr/(A (.*)  (?{ $count_a++ }) C{0,6} (*THEN)  | A D) (*FAIL)/x,
2019                 qr/(A (.*)  (?{ $count_b++ }) C{0,6} (*THEN)  | A D) z/x,
2020                 1,
2021             ],
2022             [
2023                 0,
2024                 "AbcdCEBefgBhiBqz",
2025                 qr/(A (.*)  (?{ $count_a++ }) (CE){0,6} (*THEN)  | A D) (*FAIL)/x,
2026                 qr/(A (.*)  (?{ $count_b++ }) (CE){0,6} (*THEN)  | A D) z/x,
2027                 1,
2028             ],
2029             [
2030                 0,
2031                 "AbcdCBefgBhiBqz",
2032                 qr/(A (.*)  (?{ $count_a++ }) (CE*){0,6} (*THEN)  | A D) (*FAIL)/x,
2033                 qr/(A (.*)  (?{ $count_b++ }) (CE*){0,6} (*THEN)  | A D) z/x,
2034                 1,
2035             ],
2036         ) {
2037             $c++;
2038             $count_a = 0;
2039             $count_b = 0;
2040
2041             my $match_a = ($re->[1] =~ $re->[2]) || 0;
2042             my $match_b = ($re->[1] =~ $re->[3]) || 0;
2043
2044             is($match_a, $re->[0], "match a " . ($re->[0] ? "succeeded" : "failed") . " ($c)");
2045             is($match_b, $re->[0], "match b " . ($re->[0] ? "succeeded" : "failed") . " ($c)");
2046             is($count_a, $re->[4], "count a ($c)");
2047             is($count_b, $re->[4], "count b ($c)");
2048         }
2049     }
2050
2051     {   # Bleadperl v5.13.8-292-gf56b639 breaks NEZUMI/Unicode-LineBreak-1.011
2052         # \xdf in lookbehind failed to compile as is multi-char fold
2053         my $message = "Lookbehind with \\xdf matchable compiles";
2054         my $r = eval 'qr{
2055             (?u: (?<=^url:) |
2056                  (?<=[/]) (?=[^/]) |
2057                  (?<=[^-.]) (?=[-~.,_?\#%=&]) |
2058                  (?<=[=&]) (?=.)
2059             )}iox';
2060         is($@, '', $message);
2061         object_ok($r, 'Regexp', $message);
2062     }
2063
2064     # RT #82610
2065     ok 'foo/file.fob' =~ m,^(?=[^\.])[^/]*/(?=[^\.])[^/]*\.fo[^/]$,;
2066
2067     {   # This was failing unless an explicit /d was added
2068         my $p = qr/[\xE0_]/i;
2069         utf8::upgrade($p);
2070         like("\xC0", $p, "Verify \"\\xC0\" =~ /[\\xE0_]/i; pattern in utf8");
2071     }
2072
2073     ok "x" =~ /\A(?>(?:(?:)A|B|C?x))\z/,
2074         "Check TRIE does not overwrite EXACT following NOTHING at start - RT #111842";
2075
2076     {
2077         my $single = ":";
2078         my $upper = "\x{390}";  # Fold is 3 chars.
2079         my $multi = CORE::fc($upper);
2080
2081         my $failed = 0;
2082
2083         # Try forcing a node to be split, with a multi-char fold at the
2084         # boundary
2085         for my $repeat (1 .. 300) {
2086             my $string = $single x $repeat;
2087             my $lhs = $string . $upper;
2088             if ($lhs !~ m/$string$multi/i) {
2089                 $failed = $repeat;
2090                 last;
2091             }
2092         }
2093         ok(! $failed, "Matched multi-char fold across EXACTFish node boundaries; if failed, was at count $failed");
2094
2095         $failed = 0;
2096         for my $repeat (1 .. 300) {
2097             my $string = $single x $repeat;
2098             my $lhs = $string . "\N{LATIN SMALL LIGATURE FFI}";
2099             if ($lhs !~ m/${string}ff\N{LATIN SMALL LETTER I}/i) {
2100                 $failed = $repeat;
2101                 last;
2102             }
2103         }
2104         ok(! $failed, "Matched multi-char fold across EXACTFish node boundaries; if failed, was at count $failed");
2105
2106         $failed = 0;
2107         for my $repeat (1 .. 300) {
2108             my $string = $single x $repeat;
2109             my $lhs = $string . "\N{LATIN SMALL LIGATURE FFL}";
2110             if ($lhs !~ m/${string}ff\N{U+6c}/i) {
2111                 $failed = $repeat;
2112                 last;
2113             }
2114         }
2115         ok(! $failed, "Matched multi-char fold across EXACTFish node boundaries; if failed, was at count $failed");
2116     }
2117
2118     #
2119     # Keep the following tests last -- they may crash perl
2120     #
2121     print "# Tests that follow may crash perl\n";
2122     {
2123         eval '/\k/';
2124         ok $@ =~ /\QSequence \k... not terminated in regex;\E/,
2125            'Lone \k not allowed';
2126     }
2127
2128     {
2129         my $message = "Substitution with lookahead (possible segv)";
2130         $_ = "ns1ns1ns1";
2131         s/ns(?=\d)/ns_/g;
2132         is($_, "ns_1ns_1ns_1", $message);
2133         $_ = "ns1";
2134         s/ns(?=\d)/ns_/;
2135         is($_, "ns_1", $message);
2136         $_ = "123";
2137         s/(?=\d+)|(?<=\d)/!Bang!/g;
2138         is($_, "!Bang!1!Bang!2!Bang!3!Bang!", $message);
2139     }
2140
2141     { 
2142         # Earlier versions of Perl said this was fatal.
2143         my $message = "U+0FFFF shouldn't crash the regex engine";
2144         no warnings 'utf8';
2145         my $a = eval "chr(65535)";
2146         use warnings;
2147         my $warning_message;
2148         local $SIG{__WARN__} = sub { $warning_message = $_[0] };
2149         eval $a =~ /[a-z]/;
2150         ok(1, $message);  # If it didn't crash, it worked.
2151     }
2152
2153     TODO: {   # Was looping
2154         todo_skip('Triggers thread clone SEGV. See #86550')
2155           if $::running_as_thread && $::running_as_thread;
2156         watchdog(10);   # Use a bigger value for busy systems
2157         like("\x{00DF}", qr/[\x{1E9E}_]*/i, "\"\\x{00DF}\" =~ /[\\x{1E9E}_]*/i was looping");
2158     }
2159
2160     {   # Bug #90536, caused failed assertion
2161         unlike("s\N{U+DF}", qr/^\x{00DF}/i, "\"s\\N{U+DF}\", qr/^\\x{00DF}/i");
2162     }
2163
2164     # User-defined Unicode properties to match above-Unicode code points
2165     sub Is_32_Bit_Super { return "110000\tFFFFFFFF\n" }
2166     sub Is_Portable_Super { return '!utf8::Any' }   # Matches beyond 32 bits
2167
2168     {   # Assertion was failing on on 64-bit platforms; just didn't work on 32.
2169         no warnings qw(non_unicode portable);
2170         use Config;
2171
2172         # We use 'ok' instead of 'like' because the warnings are lexically
2173         # scoped, and want to turn them off, so have to do the match in this
2174         # scope
2175         if ($Config{uvsize} < 8) {
2176             ok(chr(0xFFFF_FFFE) =~ /\p{Is_32_Bit_Super}/,
2177                             "chr(0xFFFF_FFFE) can match a Unicode property");
2178             ok(chr(0xFFFF_FFFF) =~ /\p{Is_32_Bit_Super}/,
2179                             "chr(0xFFFF_FFFF) can match a Unicode property");
2180             my $p = qr/^[\x{FFFF_FFFF}]$/;
2181             ok(chr(0xFFFF_FFFF) =~ $p,
2182                     "chr(0xFFFF_FFFF) can match itself in a [class]");
2183         }
2184         else {
2185             no warnings 'overflow';
2186             ok(chr(0xFFFF_FFFF_FFFF_FFFE) =~ qr/\p{Is_Portable_Super}/,
2187                     "chr(0xFFFF_FFFF_FFFF_FFFE) can match a Unicode property");
2188             ok(chr(0xFFFF_FFFF_FFFF_FFFF) =~ qr/^\p{Is_Portable_Super}$/,
2189                     "chr(0xFFFF_FFFF_FFFF_FFFF) can match a Unicode property");
2190
2191             my $p = qr/^[\x{FFFF_FFFF_FFFF_FFFF}]$/;
2192             ok(chr(0xFFFF_FFFF_FFFF_FFFF) =~ $p,
2193                     "chr(0xFFFF_FFFF_FFFF_FFFF) can match itself in a [class]");
2194
2195             # This test is because something was declared as 32 bits, but
2196             # should have been cast to 64; only a problem where
2197             # sizeof(STRLEN) != sizeof(UV)
2198             ok(chr(0xFFFF_FFFF_FFFF_FFFE) !~ qr/\p{Is_32_Bit_Super}/, "chr(0xFFFF_FFFF_FFFF_FFFE) shouldn't match a range ending in 0xFFFF_FFFF");
2199         }
2200     }
2201
2202     { # [perl #112530], the code below caused a panic
2203         sub InFoo { "a\tb\n9\ta\n" }
2204         like("\n", qr/\p{InFoo}/,
2205                             "Overlapping ranges in user-defined properties");
2206     }
2207
2208     # !!! NOTE that tests that aren't at all likely to crash perl should go
2209     # a ways above, above these last ones.
2210
2211     done_testing();
2212 } # End of sub run_tests
2213
2214 1;