blob: 31406c52c09f54b6c32e098f5cf7cc5fcb5bff9a [file] [log] [blame]
Janis Danisevskis112c9cc2016-03-31 13:35:25 +01001#! /bin/sh
2
3# Script for testing regular expressions with perl to check that PCRE2 handles
Elliott Hughes0c26e192019-08-07 12:24:46 -07004# them the same. For testing with different versions of Perl, if the first
5# argument is -perl then the second is taken as the Perl command to use, and
6# both are then removed. If the next argument is "-w", Perl is called with
7# "-w", which turns on its warning mode.
Elliott Hughes9bc971b2018-07-27 13:23:14 -07008#
9# The Perl code has to have "use utf8" and "require Encode" at the start when
10# running UTF-8 tests, but *not* for non-utf8 tests. (The "require" would
11# actually be OK for non-utf8-tests, but is not always installed, so this way
12# the script will always run for these tests.)
Janis Danisevskis112c9cc2016-03-31 13:35:25 +010013#
14# The desired effect is achieved by making this a shell script that passes the
Elliott Hughes0c26e192019-08-07 12:24:46 -070015# Perl script to Perl through a pipe. If the next argument is "-utf8", a
16# suitable prefix is set up.
Janis Danisevskis112c9cc2016-03-31 13:35:25 +010017#
18# The remaining arguments, if any, are passed to Perl. They are an input file
19# and an output file. If there is one argument, the output is written to
20# STDOUT. If Perl receives no arguments, it opens /dev/tty as input, and writes
21# output to STDOUT. (I haven't found a way of getting it to use STDIN, because
22# of the contorted piping input.)
23
24perl=perl
Elliott Hughes9bc971b2018-07-27 13:23:14 -070025perlarg=''
Janis Danisevskis112c9cc2016-03-31 13:35:25 +010026prefix=''
Elliott Hughes9bc971b2018-07-27 13:23:14 -070027
Elliott Hughes0c26e192019-08-07 12:24:46 -070028if [ $# -gt 1 -a "$1" = "-perl" ] ; then
29 shift
30 perl=$1
31 shift
32fi
33
Elliott Hughes9bc971b2018-07-27 13:23:14 -070034if [ $# -gt 0 -a "$1" = "-w" ] ; then
35 perlarg="-w"
36 shift
37fi
38
Janis Danisevskis112c9cc2016-03-31 13:35:25 +010039if [ $# -gt 0 -a "$1" = "-utf8" ] ; then
40 prefix="use utf8; require Encode;"
41 shift
42fi
43
44
45# The Perl script that follows has a similar specification to pcre2test, and so
46# can be given identical input, except that input patterns can be followed only
47# by Perl's lower case modifiers and certain other pcre2test modifiers that are
48# either handled or ignored:
49#
50# aftertext interpreted as "print $' afterwards"
51# afteralltext ignored
52# dupnames ignored (Perl always allows)
Elliott Hughes9bc971b2018-07-27 13:23:14 -070053# jitstack ignored
Elliott Hughes653c2102019-01-09 15:41:36 -080054# mark show mark information
Janis Danisevskis112c9cc2016-03-31 13:35:25 +010055# no_auto_possess ignored
Elliott Hughes653c2102019-01-09 15:41:36 -080056# no_start_optimize insert (??{""}) at pattern start (disables optimizing)
57# -no_start_optimize ignored
Elliott Hughes9bc971b2018-07-27 13:23:14 -070058# subject_literal does not process subjects for escapes
Janis Danisevskis112c9cc2016-03-31 13:35:25 +010059# ucp sets Perl's /u modifier
60# utf invoke UTF-8 functionality
61#
Elliott Hughes653c2102019-01-09 15:41:36 -080062# Comment lines are ignored. The #pattern command can be used to set modifiers
63# that will be added to each subsequent pattern, after any modifiers it may
64# already have. NOTE: this is different to pcre2test where #pattern sets
65# defaults which can be overridden on individual patterns. The #subject command
66# may be used to set or unset a default "mark" modifier for data lines. This is
67# the only use of #subject that is supported. The #perltest, #forbid_utf, and
68# #newline_default commands, which are needed in the relevant pcre2test files,
69# are ignored. Any other #-command is ignored, with a warning message.
70#
Elliott Hughes3435c422020-12-04 13:18:28 -080071# The pattern lines should use only / as the delimiter. The other characters
72# that pcre2test supports cause problems with this script.
73#
Elliott Hughes9bc971b2018-07-27 13:23:14 -070074# The data lines must not have any pcre2test modifiers. Unless
Elliott Hughes653c2102019-01-09 15:41:36 -080075# "subject_literal" is on the pattern, data lines are processed as
Janis Danisevskis112c9cc2016-03-31 13:35:25 +010076# Perl double-quoted strings, so if they contain " $ or @ characters, these
77# have to be escaped. For this reason, all such characters in the
78# Perl-compatible testinput1 and testinput4 files are escaped so that they can
79# be used for perltest as well as for pcre2test. The output from this script
80# should be same as from pcre2test, apart from the initial identifying banner.
81#
82# The other testinput files are not suitable for feeding to perltest.sh,
83# because they make use of the special modifiers that pcre2test uses for
84# testing features of PCRE2. Some of these files also contain malformed regular
85# expressions, in order to check that PCRE2 diagnoses them correctly.
86
87(echo "$prefix" ; cat <<'PERLEND'
88
Elliott Hughes0c26e192019-08-07 12:24:46 -070089# The alpha assertions currently give warnings even when -w is not specified.
90
91no warnings "experimental::alpha_assertions";
92no warnings "experimental::script_run";
93
Janis Danisevskis112c9cc2016-03-31 13:35:25 +010094# Function for turning a string into a string of printing chars.
95
96sub pchars {
97my($t) = "";
98if ($utf8)
99 {
100 @p = unpack('U*', $_[0]);
101 foreach $c (@p)
102 {
103 if ($c >= 32 && $c < 127) { $t .= chr $c; }
104 else { $t .= sprintf("\\x{%02x}", $c);
105 }
106 }
107 }
108else
109 {
110 foreach $c (split(//, $_[0]))
111 {
112 if (ord $c >= 32 && ord $c < 127) { $t .= $c; }
113 else { $t .= sprintf("\\x%02x", ord $c); }
114 }
115 }
116$t;
117}
118
119
120# Read lines from a named file or stdin and write to a named file or stdout;
121# lines consist of a regular expression, in delimiters and optionally followed
122# by options, followed by a set of test data, terminated by an empty line.
123
124# Sort out the input and output files
125
126if (@ARGV > 0)
127 {
128 open(INFILE, "<$ARGV[0]") || die "Failed to open $ARGV[0]\n";
129 $infile = "INFILE";
130 $interact = 0;
131 }
132else
133 {
134 open(INFILE, "</dev/tty") || die "Failed to open /dev/tty\n";
135 $infile = "INFILE";
136 $interact = 1;
137 }
138
139if (@ARGV > 1)
140 {
141 open(OUTFILE, ">$ARGV[1]") || die "Failed to open $ARGV[1]\n";
142 $outfile = "OUTFILE";
143 }
144else { $outfile = "STDOUT"; }
145
Elliott Hughes2dbd7d22020-06-03 14:32:37 -0700146printf($outfile "Perl $^V\n\n");
Janis Danisevskis112c9cc2016-03-31 13:35:25 +0100147
Elliott Hughes0c26e192019-08-07 12:24:46 -0700148$extra_modifiers = "";
149$default_show_mark = 0;
150
Janis Danisevskis112c9cc2016-03-31 13:35:25 +0100151# Main loop
152
153NEXT_RE:
154for (;;)
155 {
156 printf " re> " if $interact;
157 last if ! ($_ = <$infile>);
158 printf $outfile "$_" if ! $interact;
Elliott Hughes653c2102019-01-09 15:41:36 -0800159 next if ($_ =~ /^\s*$/ || $_ =~ /^#[\s!]/);
160
161 # A few of pcre2test's #-commands are supported, or just ignored. Any others
162 # cause an error.
163
164 if ($_ =~ /^#pattern(.*)/)
165 {
166 $extra_modifiers = $1;
167 chomp($extra_modifiers);
168 $extra_modifiers =~ s/\s+$//;
169 next;
170 }
171 elsif ($_ =~ /^#subject(.*)/)
172 {
173 $mod = $1;
174 chomp($mod);
175 $mod =~ s/\s+$//;
176 if ($mod =~ s/(-?)mark,?//)
177 {
178 $minus = $1;
179 $default_show_mark = ($minus =~ /^$/);
180 }
181 if ($mod !~ /^\s*$/)
182 {
183 printf $outfile "** Warning: \"$mod\" in #subject ignored\n";
184 }
185 next;
186 }
187 elsif ($_ =~ /^#/)
188 {
189 if ($_ !~ /^#newline_default|^#perltest|^#forbid_utf/)
190 {
191 printf $outfile "** Warning: #-command ignored: %s", $_;
192 }
193 next;
194 }
Janis Danisevskis112c9cc2016-03-31 13:35:25 +0100195
196 $pattern = $_;
197
198 while ($pattern !~ /^\s*(.).*\1/s)
199 {
200 printf " > " if $interact;
201 last if ! ($_ = <$infile>);
202 printf $outfile "$_" if ! $interact;
203 $pattern .= $_;
204 }
205
206 chomp($pattern);
207 $pattern =~ s/\s+$//;
208
209 # Split the pattern from the modifiers and adjust them as necessary.
210
211 $pattern =~ /^\s*((.).*\2)(.*)$/s;
212 $pat = $1;
Elliott Hughes653c2102019-01-09 15:41:36 -0800213 $del = $2;
214 $mod = "$3,$extra_modifiers";
215 $mod =~ s/^,\s*//;
Janis Danisevskis112c9cc2016-03-31 13:35:25 +0100216
217 # The private "aftertext" modifier means "print $' afterwards".
218
219 $showrest = ($mod =~ s/aftertext,?//);
220
Elliott Hughes9bc971b2018-07-27 13:23:14 -0700221 # The "subject_literal" modifer disables escapes in subjects.
222
223 $subject_literal = ($mod =~ s/subject_literal,?//);
224
Janis Danisevskis112c9cc2016-03-31 13:35:25 +0100225 # "allaftertext" is used by pcre2test to print remainders after captures
226
227 $mod =~ s/allaftertext,?//;
228
229 # Detect utf
230
231 $utf8 = $mod =~ s/utf,?//;
232
233 # Remove "dupnames".
234
235 $mod =~ s/dupnames,?//;
236
Elliott Hughes9bc971b2018-07-27 13:23:14 -0700237 # Remove "jitstack".
238
239 $mod =~ s/jitstack=\d+,?//;
240
Elliott Hughes653c2102019-01-09 15:41:36 -0800241 # The "mark" modifier requests checking of MARK data */
Janis Danisevskis112c9cc2016-03-31 13:35:25 +0100242
Elliott Hughes653c2102019-01-09 15:41:36 -0800243 $show_mark = $default_show_mark | ($mod =~ s/mark,?//);
Janis Danisevskis112c9cc2016-03-31 13:35:25 +0100244
245 # "ucp" asks pcre2test to set PCRE2_UCP; change this to /u for Perl
246
247 $mod =~ s/ucp,?/u/;
248
Elliott Hughes653c2102019-01-09 15:41:36 -0800249 # Remove "no_auto_possess".
Janis Danisevskis112c9cc2016-03-31 13:35:25 +0100250
251 $mod =~ s/no_auto_possess,?//;
Elliott Hughes653c2102019-01-09 15:41:36 -0800252
253 # Use no_start_optimize (disable PCRE2 start-up optimization) to disable Perl
254 # optimization by inserting (??{""}) at the start of the pattern. We may
255 # also encounter -no_start_optimize from a #pattern setting.
256
257 $mod =~ s/-no_start_optimize,?//;
258 if ($mod =~ s/no_start_optimize,?//) { $pat =~ s/$del/$del(??{""})/; }
Janis Danisevskis112c9cc2016-03-31 13:35:25 +0100259
260 # Add back retained modifiers and check that the pattern is valid.
261
262 $mod =~ s/,//g;
263 $pattern = "$pat$mod";
264 eval "\$_ =~ ${pattern}";
265 if ($@)
266 {
267 printf $outfile "Error: $@";
268 if (! $interact)
269 {
270 for (;;)
271 {
272 last if ! ($_ = <$infile>);
273 last if $_ =~ /^\s*$/;
274 }
275 }
276 next NEXT_RE;
277 }
278
279 # If the /g modifier is present, we want to put a loop round the matching;
280 # otherwise just a single "if".
281
282 $cmd = ($pattern =~ /g[a-z]*$/)? "while" : "if";
283
284 # If the pattern is actually the null string, Perl uses the most recently
285 # executed (and successfully compiled) regex is used instead. This is a
286 # nasty trap for the unwary! The PCRE2 test suite does contain null strings
287 # in places - if they are allowed through here all sorts of weird and
288 # unexpected effects happen. To avoid this, we replace such patterns with
289 # a non-null pattern that has the same effect.
290
291 $pattern = "/(?#)/$2" if ($pattern =~ /^(.)\1(.*)$/);
292
293 # Read data lines and test them
294
295 for (;;)
296 {
297 printf "data> " if $interact;
298 last NEXT_RE if ! ($_ = <$infile>);
299 chomp;
300 printf $outfile "%s", "$_\n" if ! $interact;
301
302 s/\s+$//; # Remove trailing space
303 s/^\s+//; # Remove leading space
304
305 last if ($_ eq "");
306 next if $_ =~ /^\\=(?:\s|$)/; # Comment line
307
Elliott Hughes9bc971b2018-07-27 13:23:14 -0700308 if ($subject_literal)
309 {
310 $x = $_;
311 }
312 else
313 {
314 $x = eval "\"$_\""; # To get escapes processed
315 }
Janis Danisevskis112c9cc2016-03-31 13:35:25 +0100316
317 # Empty array for holding results, ensure $REGERROR and $REGMARK are
318 # unset, then do the matching.
319
320 @subs = ();
321
322 $pushes = "push \@subs,\$&;" .
323 "push \@subs,\$1;" .
324 "push \@subs,\$2;" .
325 "push \@subs,\$3;" .
326 "push \@subs,\$4;" .
327 "push \@subs,\$5;" .
328 "push \@subs,\$6;" .
329 "push \@subs,\$7;" .
330 "push \@subs,\$8;" .
331 "push \@subs,\$9;" .
332 "push \@subs,\$10;" .
333 "push \@subs,\$11;" .
334 "push \@subs,\$12;" .
335 "push \@subs,\$13;" .
336 "push \@subs,\$14;" .
337 "push \@subs,\$15;" .
338 "push \@subs,\$16;" .
339 "push \@subs,\$'; }";
340
341 undef $REGERROR;
342 undef $REGMARK;
343
344 eval "${cmd} (\$x =~ ${pattern}) {" . $pushes;
345
346 if ($@)
347 {
348 printf $outfile "Error: $@\n";
349 next NEXT_RE;
350 }
351 elsif (scalar(@subs) == 0)
352 {
353 printf $outfile "No match";
Elliott Hughes653c2102019-01-09 15:41:36 -0800354 if ($show_mark && defined $REGERROR && $REGERROR != 1)
Janis Danisevskis112c9cc2016-03-31 13:35:25 +0100355 { printf $outfile (", mark = %s", &pchars($REGERROR)); }
356 printf $outfile "\n";
357 }
358 else
359 {
360 while (scalar(@subs) != 0)
361 {
362 printf $outfile (" 0: %s\n", &pchars($subs[0]));
363 printf $outfile (" 0+ %s\n", &pchars($subs[17])) if $showrest;
364 $last_printed = 0;
365 for ($i = 1; $i <= 16; $i++)
366 {
367 if (defined $subs[$i])
368 {
369 while ($last_printed++ < $i-1)
370 { printf $outfile ("%2d: <unset>\n", $last_printed); }
371 printf $outfile ("%2d: %s\n", $i, &pchars($subs[$i]));
372 $last_printed = $i;
373 }
374 }
375 splice(@subs, 0, 18);
376 }
377
378 # It seems that $REGMARK is not marked as UTF-8 even when use utf8 is
379 # set and the input pattern was a UTF-8 string. We can, however, force
380 # it to be so marked.
381
Elliott Hughes653c2102019-01-09 15:41:36 -0800382 if ($show_mark && defined $REGMARK && $REGMARK != 1)
Janis Danisevskis112c9cc2016-03-31 13:35:25 +0100383 {
384 $xx = $REGMARK;
385 $xx = Encode::decode_utf8($xx) if $utf8;
386 printf $outfile ("MK: %s\n", &pchars($xx));
387 }
388 }
389 }
390 }
391
Elliott Hughes0c26e192019-08-07 12:24:46 -0700392# By closing OUTFILE explicitly, we avoid a Perl warning in -w mode
393# "main::OUTFILE" used only once".
394
395close(OUTFILE) if $outfile eq "OUTFILE";
Janis Danisevskis112c9cc2016-03-31 13:35:25 +0100396
397PERLEND
Elliott Hughes9bc971b2018-07-27 13:23:14 -0700398) | $perl $perlarg - $@
Janis Danisevskis112c9cc2016-03-31 13:35:25 +0100399
400# End