This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
document args of Perl_do_sv_dump()
[perl5.git] / t / re / reg_mesg.t
1 #!./perl -w
2
3 $|=1;   # outherwise things get mixed up in output
4
5 BEGIN {
6         chdir 't' if -d 't';
7         @INC = qw '../lib ../ext/re';
8         require './test.pl';
9         skip_all_without_unicode_tables();
10         eval 'require Config'; # assume defaults if this fails
11 }
12
13 use strict;
14 use open qw(:utf8 :std);
15
16 ##
17 ## If the markers used are changed (search for "MARKER1" in regcomp.c),
18 ## update only these two regexs, and leave the {#} in the @death/@warning
19 ## arrays below. The {#} is a meta-marker -- it marks where the marker should
20 ## go.
21 ##
22 ## Returns empty string if that is what is expected.  Otherwise, handles
23 ## either a scalar, turning it into a single element array; or a ref to an
24 ## array, adjusting each element.  If called in array context, returns an
25 ## array, otherwise the join of all elements
26
27 sub fixup_expect {
28     my $expect_ref = shift;
29     return "" if $expect_ref eq "";
30
31     my @expect;
32     if (ref $expect_ref) {
33         @expect = @$expect_ref;
34     }
35     else {
36         @expect = $expect_ref;
37     }
38
39     foreach my $element (@expect) {
40         $element =~ s/{\#}/in regex; marked by <-- HERE in/;
41         $element =~ s/{\#}/ <-- HERE /;
42         $element .= " at ";
43     }
44     return wantarray ? @expect : join "", @expect;
45 }
46
47 ## Because we don't "use utf8" in this file, we need to do some extra legwork
48 ## for the utf8 tests: Prepend 'use utf8' to the pattern, and mark the strings
49 ## to check against as UTF-8, but for this all to work properly, the character
50 ## 'ネ' (U+30CD) is required in each pattern somewhere as a marker.
51 ##
52 ## This also creates a second variant of the tests to check if the
53 ## latin1 error messages are working correctly.  Because we don't 'use utf8',
54 ## we can't tell if something is UTF-8 or Latin1, so you need the suffix
55 ## '; no latin1' to not have the second variant.
56 my $l1   = "\x{ef}";
57 my $utf8 = "\x{30cd}";
58 utf8::encode($utf8);
59
60 sub mark_as_utf8 {
61     my @ret;
62     for (my $i = 0; $i < @_; $i += 2) {
63         my $pat = $_[$i];
64         my $msg = $_[$i+1];
65         my $l1_pat = $pat =~ s/$utf8/$l1/gr;
66         my $l1_msg;
67         $pat = "use utf8; $pat";
68
69         if (ref $msg) {
70             $l1_msg = [ map { s/$utf8/$l1/gr } @$msg ];
71             @$msg   = map { my $c = $_; utf8::decode($c); $c } @$msg;
72         }
73         else {
74             $l1_msg = $msg =~ s/$utf8/$l1/gr;
75             utf8::decode($msg);
76         }
77         push @ret, $pat => $msg;
78
79         push @ret, $l1_pat => $l1_msg unless $l1_pat =~ /#no latin1/;
80     }
81     return @ret;
82 }
83
84 my $inf_m1 = ($Config::Config{reg_infty} || 32767) - 1;
85 my $inf_p1 = $inf_m1 + 2;
86
87 my $B_hex = sprintf("\\x%02X", ord "B");
88 my $low_mixed_alpha = ('A' lt 'a') ? 'A' : 'a';
89 my $high_mixed_alpha = ('A' lt 'a') ? 'a' : 'A';
90 my $low_mixed_digit = ('A' lt '0') ? 'A' : '0';
91 my $high_mixed_digit = ('A' lt '0') ? '0' : 'A';
92
93 my $colon_hex = sprintf "%02X", ord(":");
94 my $tab_hex = sprintf "%02X", ord("\t");
95
96 ##
97 ## Key-value pairs of code/error of code that should have fatal errors.
98 ##
99 my @death =
100 (
101  '/[[=foo=]]/' => 'POSIX syntax [= =] is reserved for future extensions {#} m/[[=foo=]{#}]/',
102  '/[[=a]=]]/' => 'POSIX syntax [= =] is reserved for future extensions {#} m/[[=a]=]{#}]/',
103  '/[[.a].]]/' => 'POSIX syntax [. .] is reserved for future extensions {#} m/[[.a].]{#}]/',
104
105  '/(?<= .*)/' =>  'Variable length lookbehind not implemented in regex m/(?<= .*)/',
106
107  '/(?<= x{1000})/' => 'Lookbehind longer than 255 not implemented in regex m/(?<= x{1000})/',
108
109  '/(?@)/' => 'Sequence (?@...) not implemented {#} m/(?@{#})/',
110
111  '/(?{ 1/' => 'Missing right curly or square bracket',
112
113  '/(?(1x))/' => 'Switch condition not recognized {#} m/(?(1x{#}))/',
114  '/(?(1x(?#)))/'=> 'Switch condition not recognized {#} m/(?(1x{#}(?#)))/',
115
116  '/(?(1)/'    => 'Switch (?(condition)... not terminated {#} m/(?(1){#}/',
117  '/(?(1)x/'    => 'Switch (?(condition)... not terminated {#} m/(?(1)x{#}/',
118  '/(?(1)x|y/'    => 'Switch (?(condition)... not terminated {#} m/(?(1)x|y{#}/',
119  '/(?(1)x|y|z)/' => 'Switch (?(condition)... contains too many branches {#} m/(?(1)x|y|{#}z)/',
120
121  '/(?(x)y|x)/' => 'Unknown switch condition (?(...)) {#} m/(?(x{#})y|x)/',
122  '/(?(??{}))/' => 'Unknown switch condition (?(...)) {#} m/(?(?{#}?{}))/',
123  '/(?(?[]))/' => 'Unknown switch condition (?(...)) {#} m/(?(?{#}[]))/',
124
125  '/(?/' => 'Sequence (? incomplete {#} m/(?{#}/',
126
127  '/(?;x/' => 'Sequence (?;...) not recognized {#} m/(?;{#}x/',
128  '/(?<;x/' => 'Group name must start with a non-digit word character {#} m/(?<;{#}x/',
129  '/(?\ix/' => 'Sequence (?\...) not recognized {#} m/(?\{#}ix/',
130  '/(?\mx/' => 'Sequence (?\...) not recognized {#} m/(?\{#}mx/',
131  '/(?\:x/' => 'Sequence (?\...) not recognized {#} m/(?\{#}:x/',
132  '/(?\=x/' => 'Sequence (?\...) not recognized {#} m/(?\{#}=x/',
133  '/(?\!x/' => 'Sequence (?\...) not recognized {#} m/(?\{#}!x/',
134  '/(?\<=x/' => 'Sequence (?\...) not recognized {#} m/(?\{#}<=x/',
135  '/(?\<!x/' => 'Sequence (?\...) not recognized {#} m/(?\{#}<!x/',
136  '/(?\>x/' => 'Sequence (?\...) not recognized {#} m/(?\{#}>x/',
137  '/(?^-i:foo)/' => 'Sequence (?^-...) not recognized {#} m/(?^-{#}i:foo)/',
138  '/(?^-i)foo/' => 'Sequence (?^-...) not recognized {#} m/(?^-{#}i)foo/',
139  '/(?^d:foo)/' => 'Sequence (?^d...) not recognized {#} m/(?^d{#}:foo)/',
140  '/(?^d)foo/' => 'Sequence (?^d...) not recognized {#} m/(?^d{#})foo/',
141  '/(?^lu:foo)/' => 'Regexp modifiers "l" and "u" are mutually exclusive {#} m/(?^lu{#}:foo)/',
142  '/(?^lu)foo/' => 'Regexp modifiers "l" and "u" are mutually exclusive {#} m/(?^lu{#})foo/',
143 '/(?da:foo)/' => 'Regexp modifiers "d" and "a" are mutually exclusive {#} m/(?da{#}:foo)/',
144 '/(?lil:foo)/' => 'Regexp modifier "l" may not appear twice {#} m/(?lil{#}:foo)/',
145 '/(?aaia:foo)/' => 'Regexp modifier "a" may appear a maximum of twice {#} m/(?aaia{#}:foo)/',
146 '/(?i-l:foo)/' => 'Regexp modifier "l" may not appear after the "-" {#} m/(?i-l{#}:foo)/',
147
148  '/((x)/' => 'Unmatched ( {#} m/({#}(x)/',
149
150  "/x{$inf_p1}/" => "Quantifier in {,} bigger than $inf_m1 {#} m/x{{#}$inf_p1}/",
151
152
153  '/x**/' => 'Nested quantifiers {#} m/x**{#}/',
154
155  '/x[/' => 'Unmatched [ {#} m/x[{#}/',
156
157  '/*/', => 'Quantifier follows nothing {#} m/*{#}/',
158
159  '/\p{x/' => 'Missing right brace on \p{} {#} m/\p{{#}x/',
160
161  '/[\p{x]/' => 'Missing right brace on \p{} {#} m/[\p{{#}x]/',
162
163  '/(x)\2/' => 'Reference to nonexistent group {#} m/(x)\2{#}/',
164
165  '/\g/' => 'Unterminated \g... pattern {#} m/\g{#}/',
166  '/\g{1/' => 'Unterminated \g{...} pattern {#} m/\g{1{#}/',
167
168  'my $m = "\\\"; $m =~ $m', => 'Trailing \ in regex m/\/',
169
170  '/\x{1/' => 'Missing right brace on \x{} {#} m/\x{1{#}/',
171  '/\x{X/' => 'Missing right brace on \x{} {#} m/\x{{#}X/',
172
173  '/[\x{X]/' => 'Missing right brace on \x{} {#} m/[\x{{#}X]/',
174  '/[\x{A]/' => 'Missing right brace on \x{} {#} m/[\x{A{#}]/',
175
176  '/\o{1/' => 'Missing right brace on \o{ {#} m/\o{1{#}/',
177  '/\o{X/' => 'Missing right brace on \o{ {#} m/\o{{#}X/',
178
179  '/[\o{X]/' => 'Missing right brace on \o{ {#} m/[\o{{#}X]/',
180  '/[\o{7]/' => 'Missing right brace on \o{ {#} m/[\o{7{#}]/',
181
182  '/[[:barf:]]/' => 'POSIX class [:barf:] unknown {#} m/[[:barf:]{#}]/',
183
184  '/[[=barf=]]/' => 'POSIX syntax [= =] is reserved for future extensions {#} m/[[=barf=]{#}]/',
185
186  '/[[.barf.]]/' => 'POSIX syntax [. .] is reserved for future extensions {#} m/[[.barf.]{#}]/',
187
188  '/[z-a]/' => 'Invalid [] range "z-a" {#} m/[z-a{#}]/',
189
190  '/\p/' => 'Empty \p {#} m/\p{#}/',
191  '/\P/' => 'Empty \P {#} m/\P{#}/',
192  '/\p{}/' => 'Empty \p{} {#} m/\p{{#}}/',
193  '/\P{}/' => 'Empty \P{} {#} m/\P{{#}}/',
194
195 '/a\b{cde/' => 'Missing right brace on \b{} {#} m/a\b{{#}cde/',
196 '/a\B{cde/' => 'Missing right brace on \B{} {#} m/a\B{{#}cde/',
197
198  '/\b{}/' => 'Empty \b{} {#} m/\b{}{#}/',
199  '/\B{}/' => 'Empty \B{} {#} m/\B{}{#}/',
200
201  '/\b{gc}/' => "'gc' is an unknown bound type {#} m/\\b{gc{#}}/",
202  '/\B{gc}/' => "'gc' is an unknown bound type {#} m/\\B{gc{#}}/",
203
204  '/(?[[[::]]])/' => "Syntax error in (?[...]) in regex m/(?[[[::]]])/",
205  '/(?[[[:w:]]])/' => "Syntax error in (?[...]) in regex m/(?[[[:w:]]])/",
206  '/(?[[:w:]])/' => "",
207  '/[][[:alpha:]]' => "",    # [perl #127581]
208  '/(?[a])/' =>  'Unexpected character {#} m/(?[a{#}])/',
209  '/(?[ + \t ])/' => 'Unexpected binary operator \'+\' with no preceding operand {#} m/(?[ +{#} \t ])/',
210  '/(?[ \cK - ( + \t ) ])/' => 'Unexpected binary operator \'+\' with no preceding operand {#} m/(?[ \cK - ( +{#} \t ) ])/',
211  '/(?[ \cK ( \t ) ])/' => 'Unexpected \'(\' with no preceding operator {#} m/(?[ \cK ({#} \t ) ])/',
212  '/(?[ \cK \t ])/' => 'Operand with no preceding operator {#} m/(?[ \cK \t{#} ])/',
213  '/(?[ \0004 ])/' => 'Need exactly 3 octal digits {#} m/(?[ \0004 {#}])/',
214  '/(?[ \05 ])/' => 'Need exactly 3 octal digits {#} m/(?[ \05 {#}])/',
215  '/(?[ \o{1038} ])/' => 'Non-octal character {#} m/(?[ \o{1038{#}} ])/',
216  '/(?[ \o{} ])/' => 'Number with no digits {#} m/(?[ \o{}{#} ])/',
217  '/(?[ \x{defg} ])/' => 'Non-hex character {#} m/(?[ \x{defg{#}} ])/',
218  '/(?[ \xabcdef ])/' => 'Use \\x{...} for more than two hex characters {#} m/(?[ \xabc{#}def ])/',
219  '/(?[ \x{} ])/' => 'Number with no digits {#} m/(?[ \x{}{#} ])/',
220  '/(?[ \cK + ) ])/' => 'Unexpected \')\' {#} m/(?[ \cK + ){#} ])/',
221  '/(?[ \cK + ])/' => 'Incomplete expression within \'(?[ ])\' {#} m/(?[ \cK + {#}])/',
222  '/(?[ ( ) ])/' => 'Incomplete expression within \'(?[ ])\' {#} m/(?[ ( ) {#}])/',
223  '/(?[[0]+()+])/' => 'Incomplete expression within \'(?[ ])\' {#} m/(?[[0]+()+{#}])/',
224  '/(?[ \p{foo} ])/' => 'Can\'t find Unicode property definition "foo" {#} m/(?[ \p{foo}{#} ])/',
225  '/(?[ \p{ foo = bar } ])/' => 'Can\'t find Unicode property definition "foo = bar" {#} m/(?[ \p{ foo = bar }{#} ])/',
226  '/(?[ \8 ])/' => 'Unrecognized escape \8 in character class {#} m/(?[ \8{#} ])/',
227  '/(?[ \t ]/' => 'Syntax error in (?[...]) in regex m/(?[ \t ]/',
228  '/(?[ [ \t ]/' => 'Syntax error in (?[...]) in regex m/(?[ [ \t ]/',
229  '/(?[ \t ] ]/' => 'Syntax error in (?[...]) in regex m/(?[ \t ] ]/',
230  '/(?[ [ ] ]/' => 'Syntax error in (?[...]) in regex m/(?[ [ ] ]/',
231  '/(?[ \t + \e # This was supposed to be a comment ])/' => 'Syntax error in (?[...]) in regex m/(?[ \t + \e # This was supposed to be a comment ])/',
232  '/(?[ ])/' => 'Incomplete expression within \'(?[ ])\' {#} m/(?[ {#}])/',
233  'm/(?[[a-\d]])/' => 'False [] range "a-\d" {#} m/(?[[a-\d{#}]])/',
234  'm/(?[[\w-x]])/' => 'False [] range "\w-" {#} m/(?[[\w-{#}x]])/',
235  'm/(?[[a-\pM]])/' => 'False [] range "a-\pM" {#} m/(?[[a-\pM{#}]])/',
236  'm/(?[[\pM-x]])/' => 'False [] range "\pM-" {#} m/(?[[\pM-{#}x]])/',
237  'm/(?[[^\N{LATIN CAPITAL LETTER A WITH MACRON AND GRAVE}]])/' => '\N{} in inverted character class or as a range end-point is restricted to one character {#} m/(?[[^\N{U+100.300{#}}]])/',
238  'm/(?[ \p{Digit} & (?(?[ \p{Thai} | \p{Lao} ]))])/' => 'Sequence (?(...) not recognized {#} m/(?[ \p{Digit} & (?({#}?[ \p{Thai} | \p{Lao} ]))])/',
239  'm/(?[ \p{Digit} & (?:(?[ \p{Thai} | \p{Lao} ]))])/' => 'Expecting \'(?flags:(?[...\' {#} m/(?[ \p{Digit} & (?{#}:(?[ \p{Thai} | \p{Lao} ]))])/',
240  'm/\o{/' => 'Missing right brace on \o{ {#} m/\o{{#}/',
241  'm/\o/' => 'Missing braces on \o{} {#} m/\o{#}/',
242  'm/\o{}/' => 'Number with no digits {#} m/\o{}{#}/',
243  'm/[\o{]/' => 'Missing right brace on \o{ {#} m/[\o{{#}]/',
244  'm/[\o]/' => 'Missing braces on \o{} {#} m/[\o{#}]/',
245  'm/[\o{}]/' => 'Number with no digits {#} m/[\o{}{#}]/',
246  'm/(?^-i:foo)/' => 'Sequence (?^-...) not recognized {#} m/(?^-{#}i:foo)/',
247  'm/\87/' => 'Reference to nonexistent group {#} m/\87{#}/',
248  'm/a\87/' => 'Reference to nonexistent group {#} m/a\87{#}/',
249  'm/a\97/' => 'Reference to nonexistent group {#} m/a\97{#}/',
250  'm/(*DOOF)/' => 'Unknown verb pattern \'DOOF\' {#} m/(*DOOF){#}/',
251  'm/(?&a/'  => 'Sequence (?&... not terminated {#} m/(?&a{#}/',
252  'm/(?P=/' => 'Sequence ?P=... not terminated {#} m/(?P={#}/',
253  "m/(?'/"  => "Sequence (?'... not terminated {#} m/(?'{#}/",
254  "m/(?</"  => "Sequence (?<... not terminated {#} m/(?<{#}/",
255  'm/(?&/'  => 'Sequence (?&... not terminated {#} m/(?&{#}/',
256  'm/(?(</' => 'Sequence (?(<... not terminated {#} m/(?(<{#}/',
257  "m/(?('/" => "Sequence (?('... not terminated {#} m/(?('{#}/",
258  'm/\g{/'  => 'Sequence \g{... not terminated {#} m/\g{{#}/',
259  'm/\k</'  => 'Sequence \k<... not terminated {#} m/\k<{#}/',
260  'm/\cß/' => "Character following \"\\c\" must be printable ASCII",
261  '/((?# This is a comment in the middle of a token)?:foo)/' => 'In \'(?...)\', the \'(\' and \'?\' must be adjacent {#} m/((?# This is a comment in the middle of a token)?{#}:foo)/',
262  '/((?# This is a comment in the middle of a token)*FAIL)/' => 'In \'(*VERB...)\', the \'(\' and \'*\' must be adjacent {#} m/((?# This is a comment in the middle of a token)*{#}FAIL)/',
263  '/(?[\ &!])/' => 'Incomplete expression within \'(?[ ])\' {#} m/(?[\ &!{#}])/',    # [perl #126180]
264  '/(?[()-!])/' => 'Incomplete expression within \'(?[ ])\' {#} m/(?[()-!{#}])/',    # [perl #126204]
265  '/(?[!()])/' => 'Incomplete expression within \'(?[ ])\' {#} m/(?[!(){#}])/',      # [perl #126404]
266 );
267
268 # These are messages that are warnings when not strict; death under 'use re
269 # "strict".  See comment before @warnings as to why some have a \x{100} in
270 # them.  This array has 3 elements per construct.  [0] is the regex to use;
271 # [1] is the message under no strict, and [2] is under strict.
272 my @death_only_under_strict = (
273     'm/\xABC/' => "",
274                => 'Use \x{...} for more than two hex characters {#} m/\xABC{#}/',
275     'm/[\xABC]/' => "",
276                  => 'Use \x{...} for more than two hex characters {#} m/[\xABC{#}]/',
277
278     # XXX This is a confusing error message.  The G isn't ignored; it just
279     # terminates the \x.  Also some messages below are missing the <-- HERE,
280     # aren't all category 'regexp'.  (Hence we have to turn off 'digit'
281     # messages as well below)
282     'm/\xAG/' => 'Illegal hexadecimal digit \'G\' ignored',
283               => 'Non-hex character {#} m/\xAG{#}/',
284     'm/[\xAG]/' => 'Illegal hexadecimal digit \'G\' ignored',
285                 => 'Non-hex character {#} m/[\xAG{#}]/',
286     'm/\o{789}/' => 'Non-octal character \'8\'.  Resolved as "\o{7}"',
287                  => 'Non-octal character {#} m/\o{78{#}9}/',
288     'm/[\o{789}]/' => 'Non-octal character \'8\'.  Resolved as "\o{7}"',
289                    => 'Non-octal character {#} m/[\o{78{#}9}]/',
290     'm/\x{}/' => "",
291               => 'Number with no digits {#} m/\x{}{#}/',
292     'm/[\x{}]/' => "",
293                 => 'Number with no digits {#} m/[\x{}{#}]/',
294     'm/\x{ABCDEFG}/' => 'Illegal hexadecimal digit \'G\' ignored',
295                      => 'Non-hex character {#} m/\x{ABCDEFG{#}}/',
296     'm/[\x{ABCDEFG}]/' => 'Illegal hexadecimal digit \'G\' ignored',
297                        => 'Non-hex character {#} m/[\x{ABCDEFG{#}}]/',
298     'm/[\N{}]/' => 'Ignoring zero length \\N{} in character class {#} m/[\\N{}{#}]/',
299                 => 'Zero length \\N{} {#} m/[\\N{}{#}]/',
300     'm/\N{}/' => "",
301                 => 'Zero length \\N{} {#} m/\\N{}{#}/',
302     "m'[\\y]\\x{100}'" => 'Unrecognized escape \y in character class passed through {#} m/[\y{#}]\x{100}/',
303                        => 'Unrecognized escape \y in character class {#} m/[\y{#}]\x{100}/',
304     'm/[a-\d]\x{100}/' => 'False [] range "a-\d" {#} m/[a-\d{#}]\x{100}/',
305                        => 'False [] range "a-\d" {#} m/[a-\d{#}]\x{100}/',
306     'm/[\w-x]\x{100}/' => 'False [] range "\w-" {#} m/[\w-{#}x]\x{100}/',
307                        => 'False [] range "\w-" {#} m/[\w-{#}x]\x{100}/',
308     'm/[a-\pM]\x{100}/' => 'False [] range "a-\pM" {#} m/[a-\pM{#}]\x{100}/',
309                         => 'False [] range "a-\pM" {#} m/[a-\pM{#}]\x{100}/',
310     'm/[\pM-x]\x{100}/' => 'False [] range "\pM-" {#} m/[\pM-{#}x]\x{100}/',
311                         => 'False [] range "\pM-" {#} m/[\pM-{#}x]\x{100}/',
312     'm/[^\N{LATIN CAPITAL LETTER A WITH MACRON AND GRAVE}]/' => 'Using just the first character returned by \N{} in character class {#} m/[^\N{U+100.300}{#}]/',
313                                        => '\N{} in inverted character class or as a range end-point is restricted to one character {#} m/[^\N{U+100.300{#}}]/',
314     'm/[\x03-\N{LATIN CAPITAL LETTER A WITH MACRON AND GRAVE}]/' => 'Using just the first character returned by \N{} in character class {#} m/[\x03-\N{U+100.300}{#}]/',
315                                             => '\N{} in inverted character class or as a range end-point is restricted to one character {#} m/[\x03-\N{U+100.300{#}}]/',
316     'm/[\N{LATIN CAPITAL LETTER A WITH MACRON AND GRAVE}-\x{10FFFF}]/' => 'Using just the first character returned by \N{} in character class {#} m/[\N{U+100.300}{#}-\x{10FFFF}]/',
317                                                   => '\N{} in inverted character class or as a range end-point is restricted to one character {#} m/[\N{U+100.300{#}}-\x{10FFFF}]/',
318     '/[\08]/'   => '\'\08\' resolved to \'\o{0}8\' {#} m/[\08{#}]/',
319                 => 'Need exactly 3 octal digits {#} m/[\08{#}]/',
320     '/[\018]/'  => '\'\018\' resolved to \'\o{1}8\' {#} m/[\018{#}]/',
321                 => 'Need exactly 3 octal digits {#} m/[\018{#}]/',
322     '/[\_\0]/'  => "",
323                 => 'Need exactly 3 octal digits {#} m/[\_\0]{#}/',
324     '/[\07]/'   => "",
325                 => 'Need exactly 3 octal digits {#} m/[\07]{#}/',
326     '/[\0005]/' => "",
327                 => 'Need exactly 3 octal digits {#} m/[\0005]{#}/',
328     '/[\8\9]\x{100}/' => ['Unrecognized escape \8 in character class passed through {#} m/[\8{#}\9]\x{100}/',
329                           'Unrecognized escape \9 in character class passed through {#} m/[\8\9{#}]\x{100}/',
330                          ],
331                       => 'Unrecognized escape \8 in character class {#} m/[\8{#}\9]\x{100}/',
332     '/[a-\d]\x{100}/' => 'False [] range "a-\d" {#} m/[a-\d{#}]\x{100}/',
333                       => 'False [] range "a-\d" {#} m/[a-\d{#}]\x{100}/',
334     '/[\d-b]\x{100}/' => 'False [] range "\d-" {#} m/[\d-{#}b]\x{100}/',
335                       => 'False [] range "\d-" {#} m/[\d-{#}b]\x{100}/',
336     '/[\s-\d]\x{100}/' => 'False [] range "\s-" {#} m/[\s-{#}\d]\x{100}/',
337                        => 'False [] range "\s-" {#} m/[\s-{#}\d]\x{100}/',
338     '/[\d-\s]\x{100}/' => 'False [] range "\d-" {#} m/[\d-{#}\s]\x{100}/',
339                        => 'False [] range "\d-" {#} m/[\d-{#}\s]\x{100}/',
340     '/[a-[:digit:]]\x{100}/' => 'False [] range "a-[:digit:]" {#} m/[a-[:digit:]{#}]\x{100}/',
341                              => 'False [] range "a-[:digit:]" {#} m/[a-[:digit:]{#}]\x{100}/',
342     '/[[:digit:]-b]\x{100}/' => 'False [] range "[:digit:]-" {#} m/[[:digit:]-{#}b]\x{100}/',
343                              => 'False [] range "[:digit:]-" {#} m/[[:digit:]-{#}b]\x{100}/',
344     '/[[:alpha:]-[:digit:]]\x{100}/' => 'False [] range "[:alpha:]-" {#} m/[[:alpha:]-{#}[:digit:]]\x{100}/',
345                                      => 'False [] range "[:alpha:]-" {#} m/[[:alpha:]-{#}[:digit:]]\x{100}/',
346     '/[[:digit:]-[:alpha:]]\x{100}/' => 'False [] range "[:digit:]-" {#} m/[[:digit:]-{#}[:alpha:]]\x{100}/',
347                                      => 'False [] range "[:digit:]-" {#} m/[[:digit:]-{#}[:alpha:]]\x{100}/',
348     '/[a\zb]\x{100}/' => 'Unrecognized escape \z in character class passed through {#} m/[a\z{#}b]\x{100}/',
349                       => 'Unrecognized escape \z in character class {#} m/[a\z{#}b]\x{100}/',
350 );
351
352 # These need the character 'ネ' as a marker for mark_as_utf8()
353 my @death_utf8 = mark_as_utf8(
354  '/ネ[[=ネ=]]ネ/' => 'POSIX syntax [= =] is reserved for future extensions {#} m/ネ[[=ネ=]{#}]ネ/',
355  '/ネ(?<= .*)/' =>  'Variable length lookbehind not implemented in regex m/ネ(?<= .*)/',
356
357  '/(?<= ネ{1000})/' => 'Lookbehind longer than 255 not implemented in regex m/(?<= ネ{1000})/',
358
359  '/ネ(?ネ)ネ/' => 'Sequence (?ネ...) not recognized {#} m/ネ(?ネ{#})ネ/',
360
361  '/ネ(?(1ネ))ネ/' => 'Switch condition not recognized {#} m/ネ(?(1ネ{#}))ネ/',
362
363  '/(?(1)ネ|y|ヌ)/' => 'Switch (?(condition)... contains too many branches {#} m/(?(1)ネ|y|{#}ヌ)/',
364
365  '/(?(ネ)y|ネ)/' => 'Unknown switch condition (?(...)) {#} m/(?(ネ{#})y|ネ)/',
366
367  '/ネ(?/' => 'Sequence (? incomplete {#} m/ネ(?{#}/',
368
369  '/ネ(?;ネ/' => 'Sequence (?;...) not recognized {#} m/ネ(?;{#}ネ/',
370  '/ネ(?<;ネ/' => 'Group name must start with a non-digit word character {#} m/ネ(?<;{#}ネ/',
371  '/ネ(?\ixネ/' => 'Sequence (?\...) not recognized {#} m/ネ(?\{#}ixネ/',
372  '/ネ(?^lu:ネ)/' => 'Regexp modifiers "l" and "u" are mutually exclusive {#} m/ネ(?^lu{#}:ネ)/',
373 '/ネ(?lil:ネ)/' => 'Regexp modifier "l" may not appear twice {#} m/ネ(?lil{#}:ネ)/',
374 '/ネ(?aaia:ネ)/' => 'Regexp modifier "a" may appear a maximum of twice {#} m/ネ(?aaia{#}:ネ)/',
375 '/ネ(?i-l:ネ)/' => 'Regexp modifier "l" may not appear after the "-" {#} m/ネ(?i-l{#}:ネ)/',
376
377  '/ネ((ネ)/' => 'Unmatched ( {#} m/ネ({#}(ネ)/',
378
379  "/ネ{$inf_p1}ネ/" => "Quantifier in {,} bigger than $inf_m1 {#} m/ネ{{#}$inf_p1}ネ/",
380
381
382  '/ネ**ネ/' => 'Nested quantifiers {#} m/ネ**{#}ネ/',
383
384  '/ネ[ネ/' => 'Unmatched [ {#} m/ネ[{#}ネ/',
385
386  '/*ネ/', => 'Quantifier follows nothing {#} m/*{#}ネ/',
387
388  '/ネ\p{ネ/' => 'Missing right brace on \p{} {#} m/ネ\p{{#}ネ/',
389
390  '/(ネ)\2ネ/' => 'Reference to nonexistent group {#} m/(ネ)\2{#}ネ/',
391
392  '/\g{ネ/; #no latin1' => 'Sequence \g{... not terminated {#} m/\g{ネ{#}/',
393
394  'my $m = "ネ\\\"; $m =~ $m', => 'Trailing \ in regex m/ネ\/',
395
396  '/\x{ネ/' => 'Missing right brace on \x{} {#} m/\x{{#}ネ/',
397  '/ネ[\x{ネ]ネ/' => 'Missing right brace on \x{} {#} m/ネ[\x{{#}ネ]ネ/',
398  '/ネ[\x{ネ]/' => 'Missing right brace on \x{} {#} m/ネ[\x{{#}ネ]/',
399
400  '/ネ\o{ネ/' => 'Missing right brace on \o{ {#} m/ネ\o{{#}ネ/',
401  '/ネ[[:ネ:]]ネ/' => "",
402
403  '/ネ[[=ネ=]]ネ/' => 'POSIX syntax [= =] is reserved for future extensions {#} m/ネ[[=ネ=]{#}]ネ/',
404
405  '/ネ[[.ネ.]]ネ/' => 'POSIX syntax [. .] is reserved for future extensions {#} m/ネ[[.ネ.]{#}]ネ/',
406
407  '/[ネ-a]ネ/' => 'Invalid [] range "ネ-a" {#} m/[ネ-a{#}]ネ/',
408
409  '/ネ\p{}ネ/' => 'Empty \p{} {#} m/ネ\p{{#}}ネ/',
410
411  '/ネ(?[[[:ネ]]])ネ/' => "Syntax error in (?[...]) in regex m/ネ(?[[[:ネ]]])ネ/",
412  '/ネ(?[[[:ネ: ])ネ/' => "Syntax error in (?[...]) in regex m/ネ(?[[[:ネ: ])ネ/",
413  '/ネ(?[[[::]]])ネ/' => "Syntax error in (?[...]) in regex m/ネ(?[[[::]]])ネ/",
414  '/ネ(?[[[:ネ:]]])ネ/' => "Syntax error in (?[...]) in regex m/ネ(?[[[:ネ:]]])ネ/",
415  '/ネ(?[[:ネ:]])ネ/' => "",
416  '/ネ(?[ネ])ネ/' =>  'Unexpected character {#} m/ネ(?[ネ{#}])ネ/',
417  '/ネ(?[ + [ネ] ])/' => 'Unexpected binary operator \'+\' with no preceding operand {#} m/ネ(?[ +{#} [ネ] ])/',
418  '/ネ(?[ \cK - ( + [ネ] ) ])/' => 'Unexpected binary operator \'+\' with no preceding operand {#} m/ネ(?[ \cK - ( +{#} [ネ] ) ])/',
419  '/ネ(?[ \cK ( [ネ] ) ])/' => 'Unexpected \'(\' with no preceding operator {#} m/ネ(?[ \cK ({#} [ネ] ) ])/',
420  '/ネ(?[ \cK [ネ] ])ネ/' => 'Operand with no preceding operator {#} m/ネ(?[ \cK [ネ{#}] ])ネ/',
421  '/ネ(?[ \0004 ])ネ/' => 'Need exactly 3 octal digits {#} m/ネ(?[ \0004 {#}])ネ/',
422  '/(?[ \o{ネ} ])ネ/' => 'Non-octal character {#} m/(?[ \o{ネ{#}} ])ネ/',
423  '/ネ(?[ \o{} ])ネ/' => 'Number with no digits {#} m/ネ(?[ \o{}{#} ])ネ/',
424  '/(?[ \x{ネ} ])ネ/' => 'Non-hex character {#} m/(?[ \x{ネ{#}} ])ネ/',
425  '/(?[ \p{ネ} ])/' => 'Can\'t find Unicode property definition "ネ" {#} m/(?[ \p{ネ}{#} ])/',
426  '/(?[ \p{ ネ = bar } ])/' => 'Can\'t find Unicode property definition "ネ = bar" {#} m/(?[ \p{ ネ = bar }{#} ])/',
427  '/ネ(?[ \t ]/' => 'Syntax error in (?[...]) in regex m/ネ(?[ \t ]/',
428  '/(?[ \t + \e # ネ This was supposed to be a comment ])/' => 'Syntax error in (?[...]) in regex m/(?[ \t + \e # ネ This was supposed to be a comment ])/',
429  'm/(*ネ)ネ/' => q<Unknown verb pattern 'ネ' {#} m/(*ネ){#}ネ/>,
430  '/\cネ/' => "Character following \"\\c\" must be printable ASCII",
431  '/\b{ネ}/' => "'ネ' is an unknown bound type {#} m/\\b{ネ{#}}/",
432  '/\B{ネ}/' => "'ネ' is an unknown bound type {#} m/\\B{ネ{#}}/",
433 );
434 push @death, @death_utf8;
435
436 my @death_utf8_only_under_strict = (
437     "m'ネ[\\y]ネ'" => 'Unrecognized escape \y in character class passed through {#} m/ネ[\y{#}]ネ/',
438                    => 'Unrecognized escape \y in character class {#} m/ネ[\y{#}]ネ/',
439     'm/ネ[ネ-\d]ネ/' => 'False [] range "ネ-\d" {#} m/ネ[ネ-\d{#}]ネ/',
440                      => 'False [] range "ネ-\d" {#} m/ネ[ネ-\d{#}]ネ/',
441     'm/ネ[\w-ネ]ネ/' => 'False [] range "\w-" {#} m/ネ[\w-{#}ネ]ネ/',
442                      => 'False [] range "\w-" {#} m/ネ[\w-{#}ネ]ネ/',
443     'm/ネ[ネ-\pM]ネ/' => 'False [] range "ネ-\pM" {#} m/ネ[ネ-\pM{#}]ネ/',
444                       => 'False [] range "ネ-\pM" {#} m/ネ[ネ-\pM{#}]ネ/',
445     '/ネ[ネ-[:digit:]]ネ/' => 'False [] range "ネ-[:digit:]" {#} m/ネ[ネ-[:digit:]{#}]ネ/',
446                            => 'False [] range "ネ-[:digit:]" {#} m/ネ[ネ-[:digit:]{#}]ネ/',
447     '/ネ[\d-\s]ネ/' => 'False [] range "\d-" {#} m/ネ[\d-{#}\s]ネ/',
448                     => 'False [] range "\d-" {#} m/ネ[\d-{#}\s]ネ/',
449     '/ネ[a\zb]ネ/' => 'Unrecognized escape \z in character class passed through {#} m/ネ[a\z{#}b]ネ/',
450                    => 'Unrecognized escape \z in character class {#} m/ネ[a\z{#}b]ネ/',
451 );
452 # Tests involving a user-defined charnames translator are in pat_advanced.t
453
454 # In the following arrays of warnings, the value can be an array of things to
455 # expect.  If the empty string, it means no warning should be raised.
456
457
458 # Key-value pairs of code/error of code that should have non-fatal regexp
459 # warnings.  Most currently have \x{100} appended to them to force them to be
460 # upgraded to UTF-8, and the first pass restarted.  Previously this would
461 # cause some warnings to be output twice.  This tests that that behavior has
462 # been fixed.
463
464 my @warning = (
465     'm/\b*\x{100}/' => '\b* matches null string many times {#} m/\b*{#}\x{100}/',
466     '/\b{g}/a' => "Using /u for '\\b{g}' instead of /a {#} m/\\b{g}{#}/",
467     '/\B{gcb}/a' => "Using /u for '\\B{gcb}' instead of /a {#} m/\\B{gcb}{#}/",
468     'm/[:blank:]\x{100}/' => 'POSIX syntax [: :] belongs inside character classes {#} m/[:blank:]{#}\x{100}/',
469     'm/[[:cntrl:]][:^ascii:]\x{100}/' =>  'POSIX syntax [: :] belongs inside character classes {#} m/[[:cntrl:]][:^ascii:]{#}\x{100}/',
470     'm/[[:ascii]]\x{100}/' => "Assuming NOT a POSIX class since there is no terminating ':' {#} m/[[:ascii{#}]]\\x{100}/",
471     'm/(?[[:word]])\x{100}/' => "Assuming NOT a POSIX class since there is no terminating ':' {#} m/(?[[:word{#}]])\\x{100}/",
472     "m'\\y\\x{100}'"     => 'Unrecognized escape \y passed through {#} m/\y{#}\x{100}/',
473     '/x{3,1}/'   => 'Quantifier {n,m} with n > m can\'t match {#} m/x{3,1}{#}/',
474     '/\08/' => '\'\08\' resolved to \'\o{0}8\' {#} m/\08{#}/',
475     '/\018/' => '\'\018\' resolved to \'\o{1}8\' {#} m/\018{#}/',
476     '/(?=a)*/' => '(?=a)* matches null string many times {#} m/(?=a)*{#}/',
477     'my $x = \'\m\'; qr/a$x/' => 'Unrecognized escape \m passed through {#} m/a\m{#}/',
478     '/\q/' => 'Unrecognized escape \q passed through {#} m/\q{#}/',
479
480     # These two tests do not include the marker, because regcomp.c no
481     # longer knows where it goes by the time this warning is emitted.
482     # See [perl #122680] regcomp warning gives wrong position of
483     # problem.
484     '/(?=a){1,3}\x{100}/' => 'Quantifier unexpected on zero-length expression in regex m/(?=a){1,3}\x{100}/',
485     '/(a|b)(?=a){3}\x{100}/' => 'Quantifier unexpected on zero-length expression in regex m/(a|b)(?=a){3}\x{100}/',
486
487     '/\_/' => "",
488     '/[\006]/' => "",
489     '/[:alpha:]\x{100}/' => 'POSIX syntax [: :] belongs inside character classes {#} m/[:alpha:]{#}\x{100}/',
490     '/[:zog:]\x{100}/' => 'POSIX syntax [: :] belongs inside character classes (but this one isn\'t fully valid) {#} m/[:zog:]{#}\x{100}/',
491     '/[.zog.]\x{100}/' => 'POSIX syntax [. .] belongs inside character classes (but this one isn\'t implemented) {#} m/[.zog.]{#}\x{100}/',
492     '/[.z#g.]\x{100}/x' => "",  # Runs into a comment
493     '/[.z\#g.]\x{100}/x' => 'POSIX syntax [. .] belongs inside character classes (but this one isn\'t implemented) {#} m/[.z\#g.]{#}\x{100}/',
494     '/[a-b]/' => "",
495     '/(?c)\x{100}/' => 'Useless (?c) - use /gc modifier {#} m/(?c{#})\x{100}/',
496     '/(?-c)\x{100}/' => 'Useless (?-c) - don\'t use /gc modifier {#} m/(?-c{#})\x{100}/',
497     '/(?g)\x{100}/' => 'Useless (?g) - use /g modifier {#} m/(?g{#})\x{100}/',
498     '/(?-g)\x{100}/' => 'Useless (?-g) - don\'t use /g modifier {#} m/(?-g{#})\x{100}/',
499     '/(?o)\x{100}/' => 'Useless (?o) - use /o modifier {#} m/(?o{#})\x{100}/',
500     '/(?-o)\x{100}/' => 'Useless (?-o) - don\'t use /o modifier {#} m/(?-o{#})\x{100}/',
501     '/(?g-o)\x{100}/' => [ 'Useless (?g) - use /g modifier {#} m/(?g{#}-o)\x{100}/',
502                     'Useless (?-o) - don\'t use /o modifier {#} m/(?g-o{#})\x{100}/',
503                   ],
504     '/(?g-c)\x{100}/' => [ 'Useless (?g) - use /g modifier {#} m/(?g{#}-c)\x{100}/',
505                     'Useless (?-c) - don\'t use /gc modifier {#} m/(?g-c{#})\x{100}/',
506                   ],
507       # (?c) means (?g) error won't be thrown
508      '/(?o-cg)\x{100}/' => [ 'Useless (?o) - use /o modifier {#} m/(?o{#}-cg)\x{100}/',
509                       'Useless (?-c) - don\'t use /gc modifier {#} m/(?o-c{#}g)\x{100}/',
510                     ],
511     '/(?ogc)\x{100}/' => [ 'Useless (?o) - use /o modifier {#} m/(?o{#}gc)\x{100}/',
512                     'Useless (?g) - use /g modifier {#} m/(?og{#}c)\x{100}/',
513                     'Useless (?c) - use /gc modifier {#} m/(?ogc{#})\x{100}/',
514                   ],
515     '/a{1,1}?\x{100}/' => 'Useless use of greediness modifier \'?\' {#} m/a{1,1}?{#}\x{100}/',
516     "/(?[ [ % - % ] ])/" => "",
517     "/(?[ [ : - \\x$colon_hex ] ])\\x{100}/" => "\": - \\x$colon_hex \" is more clearly written simply as \":\" {#} m/(?[ [ : - \\x$colon_hex {#}] ])\\x{100}/",
518     "/(?[ [ \\x$colon_hex - : ] ])\\x{100}/" => "\"\\x$colon_hex\ - : \" is more clearly written simply as \":\" {#} m/(?[ [ \\x$colon_hex - : {#}] ])\\x{100}/",
519     "/(?[ [ \\t - \\x$tab_hex ] ])\\x{100}/" => "\"\\t - \\x$tab_hex \" is more clearly written simply as \"\\t\" {#} m/(?[ [ \\t - \\x$tab_hex {#}] ])\\x{100}/",
520     "/(?[ [ \\x$tab_hex - \\t ] ])\\x{100}/" => "\"\\x$tab_hex\ - \\t \" is more clearly written simply as \"\\t\" {#} m/(?[ [ \\x$tab_hex - \\t {#}] ])\\x{100}/",
521     "/(?[ [ $B_hex - C ] ])/" => "Ranges of ASCII printables should be some subset of \"0-9\", \"A-Z\", or \"a-z\" {#} m/(?[ [ $B_hex - C {#}] ])/",
522     "/(?[ [ A - $B_hex ] ])/" => "Ranges of ASCII printables should be some subset of \"0-9\", \"A-Z\", or \"a-z\" {#} m/(?[ [ A - $B_hex {#}] ])/",
523     "/(?[ [ $low_mixed_alpha - $high_mixed_alpha ] ])/" => "Ranges of ASCII printables should be some subset of \"0-9\", \"A-Z\", or \"a-z\" {#} m/(?[ [ $low_mixed_alpha - $high_mixed_alpha {#}] ])/",
524     "/(?[ [ $low_mixed_digit - $high_mixed_digit ] ])/" => "Ranges of ASCII printables should be some subset of \"0-9\", \"A-Z\", or \"a-z\" {#} m/(?[ [ $low_mixed_digit - $high_mixed_digit {#}] ])/",
525     "/[alnum]/" => "",
526     "/[^alnum]/" => "",
527     '/[:blank]\x{100}/' => 'POSIX syntax [: :] belongs inside character classes (but this one isn\'t fully valid) {#} m/[:blank{#}]\x{100}/',
528     '/[[:digit]]\x{100}/' => 'Assuming NOT a POSIX class since there is no terminating \':\' {#} m/[[:digit{#}]]\x{100}/', # [perl # 8904]
529     '/[[:digit:foo]\x{100}/' => 'Assuming NOT a POSIX class since there is no terminating \']\' {#} m/[[:digit:{#}foo]\x{100}/',
530     '/[[:di#it:foo]\x{100}/x' => 'Assuming NOT a POSIX class since there is no terminating \']\' {#} m/[[:di#it:{#}foo]\x{100}/',
531     '/[[:dgit]]\x{100}/' => 'Assuming NOT a POSIX class since there is no terminating \':\' {#} m/[[:dgit{#}]]\x{100}/',
532     '/[[:dgit:foo]\x{100}/' => 'Assuming NOT a POSIX class since there is no terminating \']\' {#} m/[[:dgit:{#}foo]\x{100}/',
533     '/[[:dgt]]\x{100}/' => "",      # Far enough away from a real class to not be recognized as one
534     '/[[:dgt:foo]\x{100}/' => "",
535     '/[[:DIGIT]]\x{100}/' => [ 'Assuming NOT a POSIX class since the name must be all lowercase letters {#} m/[[:DIGIT{#}]]\x{100}/',
536                                'Assuming NOT a POSIX class since there is no terminating \':\' {#} m/[[:DIGIT{#}]]\x{100}/',
537                            ],
538     '/[[digit]\x{100}/' => [ 'Assuming NOT a POSIX class since there must be a starting \':\' {#} m/[[{#}digit]\x{100}/',
539                              'Assuming NOT a POSIX class since there is no terminating \':\' {#} m/[[digit{#}]\x{100}/',
540                            ],
541     '/[[alpha]]\x{100}/' => [ 'Assuming NOT a POSIX class since there must be a starting \':\' {#} m/[[{#}alpha]]\x{100}/',
542                               'Assuming NOT a POSIX class since there is no terminating \':\' {#} m/[[alpha{#}]]\x{100}/',
543                            ],
544     '/[[^word]\x{100}/' => [ 'Assuming NOT a POSIX class since the \'^\' must come after the colon {#} m/[[^{#}word]\x{100}/',
545                               'Assuming NOT a POSIX class since there must be a starting \':\' {#} m/[[^{#}word]\x{100}/',
546                               'Assuming NOT a POSIX class since there is no terminating \':\' {#} m/[[^word{#}]\x{100}/',
547                             ],
548     '/[[   ^   :   x d i g i t   :   ]   ]\x{100}/' => [ 'Assuming NOT a POSIX class since no blanks are allowed in one {#} m/[[   {#}^   :   x d i g i t   :   ]   ]\x{100}/',
549                                                'Assuming NOT a POSIX class since the \'^\' must come after the colon {#} m/[[   ^{#}   :   x d i g i t   :   ]   ]\x{100}/',
550                                                'Assuming NOT a POSIX class since no blanks are allowed in one {#} m/[[   ^   {#}:   x d i g i t   :   ]   ]\x{100}/',
551                                                'Assuming NOT a POSIX class since no blanks are allowed in one {#} m/[[   ^   :   {#}x d i g i t   :   ]   ]\x{100}/',
552                                                'Assuming NOT a POSIX class since no blanks are allowed in one {#} m/[[   ^   :   x d i g i t   :   ]{#}   ]\x{100}/',
553                             ],
554     '/[foo:lower:]]\x{100}/' => 'Assuming NOT a POSIX class since it doesn\'t start with a \'[\' {#} m/[foo{#}:lower:]]\x{100}/',
555     '/[[;upper;]]\x{100}/' => [ 'Assuming NOT a POSIX class since a semi-colon was found instead of a colon {#} m/[[;{#}upper;]]\x{100}/',
556                                 'Assuming NOT a POSIX class since a semi-colon was found instead of a colon {#} m/[[;upper;]{#}]\x{100}/',
557                               ],
558     '/[foo;punct;]]\x{100}/' => [ 'Assuming NOT a POSIX class since it doesn\'t start with a \'[\' {#} m/[foo{#};punct;]]\x{100}/',
559                                   'Assuming NOT a POSIX class since a semi-colon was found instead of a colon {#} m/[foo;{#}punct;]]\x{100}/',
560                                   'Assuming NOT a POSIX class since a semi-colon was found instead of a colon {#} m/[foo;punct;]{#}]\x{100}/',
561                                 ],
562
563 ); # See comments before this for why '\x{100}' is generally needed
564
565 # These need the character 'ネ' as a marker for mark_as_utf8()
566 my @warnings_utf8 = mark_as_utf8(
567     'm/ネ\b*ネ/' => '\b* matches null string many times {#} m/ネ\b*{#}ネ/',
568     '/(?=ネ)*/' => '(?=ネ)* matches null string many times {#} m/(?=ネ)*{#}/',
569     'm/ネ[:foo:]ネ/' => 'POSIX syntax [: :] belongs inside character classes (but this one isn\'t fully valid) {#} m/ネ[:foo:]{#}ネ/',
570     '/ネ(?c)ネ/' => 'Useless (?c) - use /gc modifier {#} m/ネ(?c{#})ネ/',
571     '/utf8 ネ (?ogc) ネ/' => [
572         'Useless (?o) - use /o modifier {#} m/utf8 ネ (?o{#}gc) ネ/',
573         'Useless (?g) - use /g modifier {#} m/utf8 ネ (?og{#}c) ネ/',
574         'Useless (?c) - use /gc modifier {#} m/utf8 ネ (?ogc{#}) ネ/',
575     ],
576
577 );
578
579 push @warning, @warnings_utf8;
580
581 my @warning_only_under_strict = (
582     '/[\N{U+00}-\x01]\x{100}/' => 'Both or neither range ends should be Unicode {#} m/[\N{U+00}-\x01{#}]\x{100}/',
583     '/[\x00-\N{SOH}]\x{100}/' => 'Both or neither range ends should be Unicode {#} m/[\x00-\N{U+01}{#}]\x{100}/',
584     '/[\N{DEL}-\o{377}]\x{100}/' => 'Both or neither range ends should be Unicode {#} m/[\N{U+7F}-\o{377}{#}]\x{100}/',
585     '/[\o{0}-\N{U+01}]\x{100}/' => 'Both or neither range ends should be Unicode {#} m/[\o{0}-\N{U+01}{#}]\x{100}/',
586     '/[\000-\N{U+01}]\x{100}/' => 'Both or neither range ends should be Unicode {#} m/[\000-\N{U+01}{#}]\x{100}/',
587     '/[\N{DEL}-\377]\x{100}/' => 'Both or neither range ends should be Unicode {#} m/[\N{U+7F}-\377{#}]\x{100}/',
588     '/[\N{U+00}-A]\x{100}/' => 'Ranges of ASCII printables should be some subset of "0-9", "A-Z", or "a-z" {#} m/[\N{U+00}-A{#}]\x{100}/',
589     '/[a-\N{U+FF}]\x{100}/' => 'Ranges of ASCII printables should be some subset of "0-9", "A-Z", or "a-z" {#} m/[a-\N{U+FF}{#}]\x{100}/',
590     '/[\N{U+00}-\a]\x{100}/' => "",
591     '/[\a-\N{U+FF}]\x{100}/' => "",
592     '/[\N{U+FF}-\x{100}]/' => 'Both or neither range ends should be Unicode {#} m/[\N{U+FF}-\x{100}{#}]/',
593     '/[\N{U+100}-\x{101}]/' => "",
594     "/[%-%]/" => "",
595     "/[:-\\x$colon_hex]\\x{100}/" => "\":-\\x$colon_hex\" is more clearly written simply as \":\" {#} m/[:-\\x$colon_hex\{#}]\\x{100}/",
596     "/[\\x$colon_hex-:]\\x{100}/" => "\"\\x$colon_hex-:\" is more clearly written simply as \":\" {#} m/[\\x$colon_hex\-:{#}]\\x{100}/",
597     "/[\\t-\\x$tab_hex]\\x{100}/" => "\"\\t-\\x$tab_hex\" is more clearly written simply as \"\\t\" {#} m/[\\t-\\x$tab_hex\{#}]\\x{100}/",
598     "/[\\x$tab_hex-\\t]\\x{100}/" => "\"\\x$tab_hex-\\t\" is more clearly written simply as \"\\t\" {#} m/[\\x$tab_hex\-\\t{#}]\\x{100}/",
599     "/[$B_hex-C]/" => "Ranges of ASCII printables should be some subset of \"0-9\", \"A-Z\", or \"a-z\" {#} m/[$B_hex-C{#}]/",
600     "/[A-$B_hex]/" => "Ranges of ASCII printables should be some subset of \"0-9\", \"A-Z\", or \"a-z\" {#} m/[A-$B_hex\{#}]/",
601     "/[$low_mixed_alpha-$high_mixed_alpha]/" => "Ranges of ASCII printables should be some subset of \"0-9\", \"A-Z\", or \"a-z\" {#} m/[$low_mixed_alpha-$high_mixed_alpha\{#}]/",
602     "/[$low_mixed_digit-$high_mixed_digit]/" => "Ranges of ASCII printables should be some subset of \"0-9\", \"A-Z\", or \"a-z\" {#} m/[$low_mixed_digit-$high_mixed_digit\{#}]/",
603 );
604
605 my @warning_utf8_only_under_strict = mark_as_utf8(
606  '/ネ[᪉-᪐]/; #no latin1' => "Ranges of digits should be from the same group of 10 {#} m/ネ[᪉-᪐{#}]/",
607  '/ネ(?[ [ ᪉ - ᪐ ] ])/; #no latin1' => "Ranges of digits should be from the same group of 10 {#} m/ネ(?[ [ ᪉ - ᪐ {#}] ])/",
608  '/ネ[᧙-᧚]/; #no latin1' => "Ranges of digits should be from the same group of 10 {#} m/ネ[᧙-᧚{#}]/",
609  '/ネ(?[ [ ᧙ - ᧚ ] ])/; #no latin1' => "Ranges of digits should be from the same group of 10 {#} m/ネ(?[ [ ᧙ - ᧚ {#}] ])/",
610 );
611
612 push @warning_only_under_strict, @warning_utf8_only_under_strict;
613
614 my @experimental_regex_sets = (
615     '/(?[ \t ])/' => 'The regex_sets feature is experimental {#} m/(?[{#} \t ])/',
616     'use utf8; /utf8 ネ (?[ [\tネ] ])/' => do { use utf8; 'The regex_sets feature is experimental {#} m/utf8 ネ (?[{#} [\tネ] ])/' },
617     '/noutf8 ネ (?[ [\tネ] ])/' => 'The regex_sets feature is experimental {#} m/noutf8 ネ (?[{#} [\tネ] ])/',
618 );
619
620 my @deprecated = (
621     '/\w{/' => 'Unescaped left brace in regex is deprecated, passed through {#} m/\w{{#}/',
622     '/\q{/' => [
623                  'Unrecognized escape \q{ passed through {#} m/\q{{#}/',
624                  'Unescaped left brace in regex is deprecated, passed through {#} m/\q{{#}/'
625                ],
626     '/:{4,a}/' => 'Unescaped left brace in regex is deprecated, passed through {#} m/:{{#}4,a}/',
627     '/abc/xix' => 'Having more than one /x regexp modifier is deprecated',
628     '/(?xmsixp:abc)/' => 'Having more than one /x regexp modifier is deprecated',
629     '/(?xmsixp)abc/' => 'Having more than one /x regexp modifier is deprecated',
630     '/(?xxxx:abc)/' => 'Having more than one /x regexp modifier is deprecated',
631 );
632
633 for my $strict ("", "use re 'strict';") {
634
635     # First time just use @death; but under strict we add the things that fail
636     # there.  Doing it this way makes sure that 'strict' doesnt change the
637     # things that are already fatal when not under strict.
638     if ($strict) {
639         for (my $i = 0; $i < @death_only_under_strict; $i += 3) {
640             push @death, $death_only_under_strict[$i],    # The regex
641                          $death_only_under_strict[$i+2];  # The fatal msg
642         }
643         for (my $i = 0; $i < @death_utf8_only_under_strict; $i += 3) {
644
645             # Same with the utf8 versions
646             push @death, mark_as_utf8($death_utf8_only_under_strict[$i],
647                                       $death_utf8_only_under_strict[$i+2]);
648         }
649     }
650     for (my $i = 0; $i < @death; $i += 2) {
651         my $regex = $death[$i];
652         my $expect = fixup_expect($death[$i+1]);
653         no warnings 'experimental::regex_sets';
654         no warnings 'experimental::re_strict';
655
656         warning_is(sub {
657                     my $eval_string = "$strict $regex";
658                     $_ = "x";
659                     eval $eval_string;
660                     like($@, qr/\Q$expect/, $eval_string);
661                 }, undef, "... and died without any other warnings");
662     }
663 }
664
665 for my $strict ("",  "no warnings 'experimental::re_strict'; use re 'strict';") {
666     my @warning_tests = @warning;
667
668     # Build the tests for @warning.  Use the strict/non-strict versions
669     # appropriately.
670     if ($strict) {
671         push @warning_tests, @warning_only_under_strict;
672     }
673     else {
674         for (my $i = 0; $i < @warning_only_under_strict; $i += 2) {
675             if ($warning_only_under_strict[$i] =~ /\Q(?[/) {
676                 push @warning_tests, $warning_only_under_strict[$i],  # The regex
677                                     $warning_only_under_strict[$i+1];
678             }
679             else {
680                 push @warning_tests, $warning_only_under_strict[$i],  # The regex
681                                     "";    # No warning because not strict
682             }
683         }
684         for (my $i = 0; $i < @death_only_under_strict; $i += 3) {
685             push @warning_tests, $death_only_under_strict[$i],    # The regex
686                                  $death_only_under_strict[$i+1];  # The warning
687         }
688         for (my $i = 0; $i < @death_utf8_only_under_strict; $i += 3) {
689             push @warning_tests, mark_as_utf8($death_utf8_only_under_strict[$i],
690                                         $death_utf8_only_under_strict[$i+1]);
691         }
692     }
693
694     foreach my $ref (\@warning_tests, \@experimental_regex_sets, \@deprecated) {
695         my $warning_type;
696         my $turn_off_warnings = "";
697         my $default_on;
698         if ($ref == \@warning_tests) {
699             $warning_type = 'regexp, digit';
700             $turn_off_warnings = "no warnings 'experimental::regex_sets';";
701             $default_on = $strict;
702         }
703         elsif ($ref == \@deprecated) {
704             $warning_type = 'regexp, deprecated';
705             $default_on = 1;
706         }
707         else {
708             $warning_type = 'experimental::regex_sets';
709             $default_on = 1;
710         }
711         for (my $i = 0; $i < @$ref; $i += 2) {
712             my $regex = $ref->[$i];
713             my @expect = fixup_expect($ref->[$i+1]);
714
715             # A length-1 array with an empty warning means no warning gets
716             # generated at all.
717             undef @expect if @expect == 1 && $expect[0] eq "";
718
719             {
720                 $_ = "x";
721                 eval "$strict no warnings; $regex";
722             }
723             if (is($@, "", "$strict $regex did not die")) {
724                 my @got = capture_warnings(sub {
725                                         $_ = "x";
726                                         eval "$strict $turn_off_warnings $regex" });
727                 my $count = @expect;
728                 if (! is(scalar @got, scalar @expect,
729                             "... and gave expected number ($count) of warnings"))
730                 {
731                     if (@got < @expect) {
732                         $count = @got;
733                         note "Expected warnings not gotten:\n\t" . join "\n\t",
734                                                     @expect[$count .. $#expect];
735                     }
736                     else {
737                         note "Unexpected warnings gotten:\n\t" . join("\n\t",
738                                                          @got[$count .. $#got]);
739                     }
740                 }
741                 foreach my $i (0 .. $count - 1) {
742                     if (! like($got[$i], qr/\Q$expect[$i]/,
743                                                "... and gave expected warning"))
744                     {
745                         chomp($got[$i]);
746                         chomp($expect[$i]);
747                         diag("GOT\n'$got[$i]'\nEXPECT\n'$expect[$i]'");
748                     }
749                     else {
750                         ok (0 == capture_warnings(sub {
751                             $_ = "x";
752                             eval "$strict no warnings '$warning_type'; $regex;" }
753                            ),
754                            "... and turning off '$warning_type' warnings suppressed it");
755
756                         # Test that whether the warning is on by default is
757                         # correct.  This test relies on the fact that we
758                         # are outside the scope of any ‘use warnings’.
759                         local $^W;
760                         my @warns = capture_warnings(sub { $_ = "x";
761                                                         eval "$strict $regex" });
762                         # Warning should be on as well if is testing
763                         # '(?[...])' which turns on strict
764                         if ($default_on || grep { $_ =~ /\Q(?[/ } @expect ) {
765                            ok @warns > 0, "... and the warning is on by default";
766                         }
767                         else {
768                          ok @warns == 0, "... and the warning is off by default";
769                         }
770                     }
771                 }
772             }
773         }
774     }
775 }
776
777 done_testing();