t/re/pat_advanced.t

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