1 |
ChangeLog for PCRE |
ChangeLog for PCRE |
2 |
------------------ |
------------------ |
3 |
|
|
4 |
Version 8.21 |
Version 8.34 xx-xxxx-201x |
5 |
------------ |
-------------------------- |
6 |
|
|
7 |
|
1. Add pcre[16|32]_jit_free_unused_memory to forcibly free unused JIT |
8 |
|
executable memory. Patch inspired by Carsten Klein. |
9 |
|
|
10 |
|
2. ./configure --enable-coverage defined SUPPORT_GCOV in config.h, although |
11 |
|
this macro is never tested and has no effect, because the work to support |
12 |
|
coverage involves only compiling and linking options and special targets in |
13 |
|
the Makefile. The comment in config.h implied that defining the macro would |
14 |
|
enable coverage support, which is totally false. There was also support for |
15 |
|
setting this macro in the CMake files (my fault, I just copied it from |
16 |
|
configure). SUPPORT_GCOV has now been removed. |
17 |
|
|
18 |
|
3. Make a small performance improvement in strlen16() and strlen32() in |
19 |
|
pcretest. |
20 |
|
|
21 |
|
4. Change 36 for 8.33 left some unreachable statements in pcre_exec.c, |
22 |
|
detected by the Solaris compiler (gcc doesn't seem to be able to diagnose |
23 |
|
these cases). There was also one in pcretest.c. |
24 |
|
|
25 |
|
5. Cleaned up a "may be uninitialized" compiler warning in pcre_exec.c. |
26 |
|
|
27 |
|
6. In UTF mode, the code for checking whether a group could match an empty |
28 |
|
string (which is used for indefinitely repeated groups to allow for |
29 |
|
breaking an infinite loop) was broken when the group contained a repeated |
30 |
|
negated single-character class with a character that occupied more than one |
31 |
|
data item and had a minimum repetition of zero (for example, [^\x{100}]* in |
32 |
|
UTF-8 mode). The effect was undefined: the group might or might not be |
33 |
|
deemed as matching an empty string, or the program might have crashed. |
34 |
|
|
35 |
|
7. The code for checking whether a group could match an empty string was not |
36 |
|
recognizing that \h, \H, \v, \V, and \R must match a character. |
37 |
|
|
38 |
|
8. Implemented PCRE_INFO_MATCH_EMPTY, which yields 1 if the pattern can match |
39 |
|
an empty string. If it can, pcretest shows this in its information output. |
40 |
|
|
41 |
|
9. Fixed two related bugs that applied to Unicode extended grapheme clusters |
42 |
|
that were repeated with a maximizing qualifier (e.g. \X* or \X{2,5}) when |
43 |
|
matched by pcre_exec() without using JIT: |
44 |
|
|
45 |
|
(a) If the rest of the pattern did not match after a maximal run of |
46 |
|
grapheme clusters, the code for backing up to try with fewer of them |
47 |
|
did not always back up over a full grapheme when characters that do not |
48 |
|
have the modifier quality were involved, e.g. Hangul syllables. |
49 |
|
|
50 |
|
(b) If the match point in a subject started with modifier character, and |
51 |
|
there was no match, the code could incorrectly back up beyond the match |
52 |
|
point, and potentially beyond the first character in the subject, |
53 |
|
leading to a segfault or an incorrect match result. |
54 |
|
|
55 |
|
10. A conditional group with an assertion condition could lead to PCRE |
56 |
|
recording an incorrect first data item for a match if no other firse data |
57 |
|
item was recorded. For example, the pattern (?(?=ab)ab) recorded "a" as a |
58 |
|
first data item, and therefore matched "ca" after "c" instead of at the |
59 |
|
start. |
60 |
|
|
61 |
|
11. Change 40 for 8.33 (allowing pcregrep to find empty strings) showed up a |
62 |
|
bug that caused the command "echo a | ./pcregrep -M '|a'" to loop. |
63 |
|
|
64 |
|
12. The source of pcregrep now includes z/OS-specific code so that it can be |
65 |
|
compiled for z/OS as part of the special z/OS distribution. |
66 |
|
|
67 |
|
|
68 |
|
Version 8.33 28-May-2013 |
69 |
|
------------------------ |
70 |
|
|
71 |
|
1. Added 'U' to some constants that are compared to unsigned integers, to |
72 |
|
avoid compiler signed/unsigned warnings. Added (int) casts to unsigned |
73 |
|
variables that are added to signed variables, to ensure the result is |
74 |
|
signed and can be negated. |
75 |
|
|
76 |
|
2. Applied patch by Daniel Richard G for quashing MSVC warnings to the |
77 |
|
CMake config files. |
78 |
|
|
79 |
|
3. Revise the creation of config.h.generic so that all boolean macros are |
80 |
|
#undefined, whereas non-boolean macros are #ifndef/#endif-ed. This makes |
81 |
|
overriding via -D on the command line possible. |
82 |
|
|
83 |
|
4. Changing the definition of the variable "op" in pcre_exec.c from pcre_uchar |
84 |
|
to unsigned int is reported to make a quite noticeable speed difference in |
85 |
|
a specific Windows environment. Testing on Linux did also appear to show |
86 |
|
some benefit (and it is clearly not harmful). Also fixed the definition of |
87 |
|
Xop which should be unsigned. |
88 |
|
|
89 |
|
5. Related to (4), changing the definition of the intermediate variable cc |
90 |
|
in repeated character loops from pcre_uchar to pcre_uint32 also gave speed |
91 |
|
improvements. |
92 |
|
|
93 |
|
6. Fix forward search in JIT when link size is 3 or greater. Also removed some |
94 |
|
unnecessary spaces. |
95 |
|
|
96 |
|
7. Adjust autogen.sh and configure.ac to lose warnings given by automake 1.12 |
97 |
|
and later. |
98 |
|
|
99 |
|
8. Fix two buffer over read issues in 16 and 32 bit modes. Affects JIT only. |
100 |
|
|
101 |
|
9. Optimizing fast_forward_start_bits in JIT. |
102 |
|
|
103 |
|
10. Adding support for callouts in JIT, and fixing some issues revealed |
104 |
|
during this work. Namely: |
105 |
|
|
106 |
|
(a) Unoptimized capturing brackets incorrectly reset on backtrack. |
107 |
|
|
108 |
|
(b) Minimum length was not checked before the matching is started. |
109 |
|
|
110 |
|
11. The value of capture_last that is passed to callouts was incorrect in some |
111 |
|
cases when there was a capture on one path that was subsequently abandoned |
112 |
|
after a backtrack. Also, the capture_last value is now reset after a |
113 |
|
recursion, since all captures are also reset in this case. |
114 |
|
|
115 |
|
12. The interpreter no longer returns the "too many substrings" error in the |
116 |
|
case when an overflowing capture is in a branch that is subsequently |
117 |
|
abandoned after a backtrack. |
118 |
|
|
119 |
|
13. In the pathological case when an offset vector of size 2 is used, pcretest |
120 |
|
now prints out the matched string after a yield of 0 or 1. |
121 |
|
|
122 |
|
14. Inlining subpatterns in recursions, when certain conditions are fulfilled. |
123 |
|
Only supported by the JIT compiler at the moment. |
124 |
|
|
125 |
|
15. JIT compiler now supports 32 bit Macs thanks to Lawrence Velazquez. |
126 |
|
|
127 |
|
16. Partial matches now set offsets[2] to the "bumpalong" value, that is, the |
128 |
|
offset of the starting point of the matching process, provided the offsets |
129 |
|
vector is large enough. |
130 |
|
|
131 |
|
17. The \A escape now records a lookbehind value of 1, though its execution |
132 |
|
does not actually inspect the previous character. This is to ensure that, |
133 |
|
in partial multi-segment matching, at least one character from the old |
134 |
|
segment is retained when a new segment is processed. Otherwise, if there |
135 |
|
are no lookbehinds in the pattern, \A might match incorrectly at the start |
136 |
|
of a new segment. |
137 |
|
|
138 |
|
18. Added some #ifdef __VMS code into pcretest.c to help VMS implementations. |
139 |
|
|
140 |
|
19. Redefined some pcre_uchar variables in pcre_exec.c as pcre_uint32; this |
141 |
|
gives some modest performance improvement in 8-bit mode. |
142 |
|
|
143 |
|
20. Added the PCRE-specific property \p{Xuc} for matching characters that can |
144 |
|
be expressed in certain programming languages using Universal Character |
145 |
|
Names. |
146 |
|
|
147 |
|
21. Unicode validation has been updated in the light of Unicode Corrigendum #9, |
148 |
|
which points out that "non characters" are not "characters that may not |
149 |
|
appear in Unicode strings" but rather "characters that are reserved for |
150 |
|
internal use and have only local meaning". |
151 |
|
|
152 |
|
22. When a pattern was compiled with automatic callouts (PCRE_AUTO_CALLOUT) and |
153 |
|
there was a conditional group that depended on an assertion, if the |
154 |
|
assertion was false, the callout that immediately followed the alternation |
155 |
|
in the condition was skipped when pcre_exec() was used for matching. |
156 |
|
|
157 |
|
23. Allow an explicit callout to be inserted before an assertion that is the |
158 |
|
condition for a conditional group, for compatibility with automatic |
159 |
|
callouts, which always insert a callout at this point. |
160 |
|
|
161 |
|
24. In 8.31, (*COMMIT) was confined to within a recursive subpattern. Perl also |
162 |
|
confines (*SKIP) and (*PRUNE) in the same way, and this has now been done. |
163 |
|
|
164 |
|
25. (*PRUNE) is now supported by the JIT compiler. |
165 |
|
|
166 |
|
26. Fix infinite loop when /(?<=(*SKIP)ac)a/ is matched against aa. |
167 |
|
|
168 |
|
27. Fix the case where there are two or more SKIPs with arguments that may be |
169 |
|
ignored. |
170 |
|
|
171 |
|
28. (*SKIP) is now supported by the JIT compiler. |
172 |
|
|
173 |
|
29. (*THEN) is now supported by the JIT compiler. |
174 |
|
|
175 |
|
30. Update RunTest with additional test selector options. |
176 |
|
|
177 |
|
31. The way PCRE handles backtracking verbs has been changed in two ways. |
178 |
|
|
179 |
|
(1) Previously, in something like (*COMMIT)(*SKIP), COMMIT would override |
180 |
|
SKIP. Now, PCRE acts on whichever backtracking verb is reached first by |
181 |
|
backtracking. In some cases this makes it more Perl-compatible, but Perl's |
182 |
|
rather obscure rules do not always do the same thing. |
183 |
|
|
184 |
|
(2) Previously, backtracking verbs were confined within assertions. This is |
185 |
|
no longer the case for positive assertions, except for (*ACCEPT). Again, |
186 |
|
this sometimes improves Perl compatibility, and sometimes does not. |
187 |
|
|
188 |
|
32. A number of tests that were in test 2 because Perl did things differently |
189 |
|
have been moved to test 1, because either Perl or PCRE has changed, and |
190 |
|
these tests are now compatible. |
191 |
|
|
192 |
|
32. Backtracking control verbs are now handled in the same way in JIT and |
193 |
|
interpreter. |
194 |
|
|
195 |
|
33. An opening parenthesis in a MARK/PRUNE/SKIP/THEN name in a pattern that |
196 |
|
contained a forward subroutine reference caused a compile error. |
197 |
|
|
198 |
|
34. Auto-detect and optimize limited repetitions in JIT. |
199 |
|
|
200 |
|
35. Implement PCRE_NEVER_UTF to lock out the use of UTF, in particular, |
201 |
|
blocking (*UTF) etc. |
202 |
|
|
203 |
|
36. In the interpreter, maximizing pattern repetitions for characters and |
204 |
|
character types now use tail recursion, which reduces stack usage. |
205 |
|
|
206 |
|
37. The value of the max lookbehind was not correctly preserved if a compiled |
207 |
|
and saved regex was reloaded on a host of different endianness. |
208 |
|
|
209 |
|
38. Implemented (*LIMIT_MATCH) and (*LIMIT_RECURSION). As part of the extension |
210 |
|
of the compiled pattern block, expand the flags field from 16 to 32 bits |
211 |
|
because it was almost full. |
212 |
|
|
213 |
|
39. Try madvise first before posix_madvise. |
214 |
|
|
215 |
|
40. Change 7 for PCRE 7.9 made it impossible for pcregrep to find empty lines |
216 |
|
with a pattern such as ^$. It has taken 4 years for anybody to notice! The |
217 |
|
original change locked out all matches of empty strings. This has been |
218 |
|
changed so that one match of an empty string per line is recognized. |
219 |
|
Subsequent searches on the same line (for colouring or for --only-matching, |
220 |
|
for example) do not recognize empty strings. |
221 |
|
|
222 |
|
41. Applied a user patch to fix a number of spelling mistakes in comments. |
223 |
|
|
224 |
|
42. Data lines longer than 65536 caused pcretest to crash. |
225 |
|
|
226 |
|
43. Clarified the data type for length and startoffset arguments for pcre_exec |
227 |
|
and pcre_dfa_exec in the function-specific man pages, where they were |
228 |
|
explicitly stated to be in bytes, never having been updated. I also added |
229 |
|
some clarification to the pcreapi man page. |
230 |
|
|
231 |
|
44. A call to pcre_dfa_exec() with an output vector size less than 2 caused |
232 |
|
a segmentation fault. |
233 |
|
|
234 |
|
|
235 |
|
Version 8.32 30-November-2012 |
236 |
|
----------------------------- |
237 |
|
|
238 |
|
1. Improved JIT compiler optimizations for first character search and single |
239 |
|
character iterators. |
240 |
|
|
241 |
|
2. Supporting IBM XL C compilers for PPC architectures in the JIT compiler. |
242 |
|
Patch by Daniel Richard G. |
243 |
|
|
244 |
|
3. Single character iterator optimizations in the JIT compiler. |
245 |
|
|
246 |
|
4. Improved JIT compiler optimizations for character ranges. |
247 |
|
|
248 |
|
5. Rename the "leave" variable names to "quit" to improve WinCE compatibility. |
249 |
|
Reported by Giuseppe D'Angelo. |
250 |
|
|
251 |
|
6. The PCRE_STARTLINE bit, indicating that a match can occur only at the start |
252 |
|
of a line, was being set incorrectly in cases where .* appeared inside |
253 |
|
atomic brackets at the start of a pattern, or where there was a subsequent |
254 |
|
*PRUNE or *SKIP. |
255 |
|
|
256 |
|
7. Improved instruction cache flush for POWER/PowerPC. |
257 |
|
Patch by Daniel Richard G. |
258 |
|
|
259 |
|
8. Fixed a number of issues in pcregrep, making it more compatible with GNU |
260 |
|
grep: |
261 |
|
|
262 |
|
(a) There is now no limit to the number of patterns to be matched. |
263 |
|
|
264 |
|
(b) An error is given if a pattern is too long. |
265 |
|
|
266 |
|
(c) Multiple uses of --exclude, --exclude-dir, --include, and --include-dir |
267 |
|
are now supported. |
268 |
|
|
269 |
|
(d) --exclude-from and --include-from (multiple use) have been added. |
270 |
|
|
271 |
|
(e) Exclusions and inclusions now apply to all files and directories, not |
272 |
|
just to those obtained from scanning a directory recursively. |
273 |
|
|
274 |
|
(f) Multiple uses of -f and --file-list are now supported. |
275 |
|
|
276 |
|
(g) In a Windows environment, the default for -d has been changed from |
277 |
|
"read" (the GNU grep default) to "skip", because otherwise the presence |
278 |
|
of a directory in the file list provokes an error. |
279 |
|
|
280 |
|
(h) The documentation has been revised and clarified in places. |
281 |
|
|
282 |
|
9. Improve the matching speed of capturing brackets. |
283 |
|
|
284 |
|
10. Changed the meaning of \X so that it now matches a Unicode extended |
285 |
|
grapheme cluster. |
286 |
|
|
287 |
|
11. Patch by Daniel Richard G to the autoconf files to add a macro for sorting |
288 |
|
out POSIX threads when JIT support is configured. |
289 |
|
|
290 |
|
12. Added support for PCRE_STUDY_EXTRA_NEEDED. |
291 |
|
|
292 |
|
13. In the POSIX wrapper regcomp() function, setting re_nsub field in the preg |
293 |
|
structure could go wrong in environments where size_t is not the same size |
294 |
|
as int. |
295 |
|
|
296 |
|
14. Applied user-supplied patch to pcrecpp.cc to allow PCRE_NO_UTF8_CHECK to be |
297 |
|
set. |
298 |
|
|
299 |
|
15. The EBCDIC support had decayed; later updates to the code had included |
300 |
|
explicit references to (e.g.) \x0a instead of CHAR_LF. There has been a |
301 |
|
general tidy up of EBCDIC-related issues, and the documentation was also |
302 |
|
not quite right. There is now a test that can be run on ASCII systems to |
303 |
|
check some of the EBCDIC-related things (but is it not a full test). |
304 |
|
|
305 |
|
16. The new PCRE_STUDY_EXTRA_NEEDED option is now used by pcregrep, resulting |
306 |
|
in a small tidy to the code. |
307 |
|
|
308 |
|
17. Fix JIT tests when UTF is disabled and both 8 and 16 bit mode are enabled. |
309 |
|
|
310 |
|
18. If the --only-matching (-o) option in pcregrep is specified multiple |
311 |
|
times, each one causes appropriate output. For example, -o1 -o2 outputs the |
312 |
|
substrings matched by the 1st and 2nd capturing parentheses. A separating |
313 |
|
string can be specified by --om-separator (default empty). |
314 |
|
|
315 |
|
19. Improving the first n character searches. |
316 |
|
|
317 |
|
20. Turn case lists for horizontal and vertical white space into macros so that |
318 |
|
they are defined only once. |
319 |
|
|
320 |
|
21. This set of changes together give more compatible Unicode case-folding |
321 |
|
behaviour for characters that have more than one other case when UCP |
322 |
|
support is available. |
323 |
|
|
324 |
|
(a) The Unicode property table now has offsets into a new table of sets of |
325 |
|
three or more characters that are case-equivalent. The MultiStage2.py |
326 |
|
script that generates these tables (the pcre_ucd.c file) now scans |
327 |
|
CaseFolding.txt instead of UnicodeData.txt for character case |
328 |
|
information. |
329 |
|
|
330 |
|
(b) The code for adding characters or ranges of characters to a character |
331 |
|
class has been abstracted into a generalized function that also handles |
332 |
|
case-independence. In UTF-mode with UCP support, this uses the new data |
333 |
|
to handle characters with more than one other case. |
334 |
|
|
335 |
|
(c) A bug that is fixed as a result of (b) is that codepoints less than 256 |
336 |
|
whose other case is greater than 256 are now correctly matched |
337 |
|
caselessly. Previously, the high codepoint matched the low one, but not |
338 |
|
vice versa. |
339 |
|
|
340 |
|
(d) The processing of \h, \H, \v, and \ in character classes now makes use |
341 |
|
of the new class addition function, using character lists defined as |
342 |
|
macros alongside the case definitions of 20 above. |
343 |
|
|
344 |
|
(e) Caseless back references now work with characters that have more than |
345 |
|
one other case. |
346 |
|
|
347 |
|
(f) General caseless matching of characters with more than one other case |
348 |
|
is supported. |
349 |
|
|
350 |
|
22. Unicode character properties were updated from Unicode 6.2.0 |
351 |
|
|
352 |
|
23. Improved CMake support under Windows. Patch by Daniel Richard G. |
353 |
|
|
354 |
|
24. Add support for 32-bit character strings, and UTF-32 |
355 |
|
|
356 |
|
25. Major JIT compiler update (code refactoring and bugfixing). |
357 |
|
Experimental Sparc 32 support is added. |
358 |
|
|
359 |
|
26. Applied a modified version of Daniel Richard G's patch to create |
360 |
|
pcre.h.generic and config.h.generic by "make" instead of in the |
361 |
|
PrepareRelease script. |
362 |
|
|
363 |
|
27. Added a definition for CHAR_NULL (helpful for the z/OS port), and use it in |
364 |
|
pcre_compile.c when checking for a zero character. |
365 |
|
|
366 |
|
28. Introducing a native interface for JIT. Through this interface, the compiled |
367 |
|
machine code can be directly executed. The purpose of this interface is to |
368 |
|
provide fast pattern matching, so several sanity checks are not performed. |
369 |
|
However, feature tests are still performed. The new interface provides |
370 |
|
1.4x speedup compared to the old one. |
371 |
|
|
372 |
|
29. If pcre_exec() or pcre_dfa_exec() was called with a negative value for |
373 |
|
the subject string length, the error given was PCRE_ERROR_BADOFFSET, which |
374 |
|
was confusing. There is now a new error PCRE_ERROR_BADLENGTH for this case. |
375 |
|
|
376 |
|
30. In 8-bit UTF-8 mode, pcretest failed to give an error for data codepoints |
377 |
|
greater than 0x7fffffff (which cannot be represented in UTF-8, even under |
378 |
|
the "old" RFC 2279). Instead, it ended up passing a negative length to |
379 |
|
pcre_exec(). |
380 |
|
|
381 |
|
31. Add support for GCC's visibility feature to hide internal functions. |
382 |
|
|
383 |
|
32. Running "pcretest -C pcre8" or "pcretest -C pcre16" gave a spurious error |
384 |
|
"unknown -C option" after outputting 0 or 1. |
385 |
|
|
386 |
|
33. There is now support for generating a code coverage report for the test |
387 |
|
suite in environments where gcc is the compiler and lcov is installed. This |
388 |
|
is mainly for the benefit of the developers. |
389 |
|
|
390 |
|
34. If PCRE is built with --enable-valgrind, certain memory regions are marked |
391 |
|
unaddressable using valgrind annotations, allowing valgrind to detect |
392 |
|
invalid memory accesses. This is mainly for the benefit of the developers. |
393 |
|
|
394 |
|
25. (*UTF) can now be used to start a pattern in any of the three libraries. |
395 |
|
|
396 |
|
26. Give configure error if --enable-cpp but no C++ compiler found. |
397 |
|
|
398 |
|
|
399 |
|
Version 8.31 06-July-2012 |
400 |
|
------------------------- |
401 |
|
|
402 |
|
1. Fixing a wrong JIT test case and some compiler warnings. |
403 |
|
|
404 |
|
2. Removed a bashism from the RunTest script. |
405 |
|
|
406 |
|
3. Add a cast to pcre_exec.c to fix the warning "unary minus operator applied |
407 |
|
to unsigned type, result still unsigned" that was given by an MS compiler |
408 |
|
on encountering the code "-sizeof(xxx)". |
409 |
|
|
410 |
|
4. Partial matching support is added to the JIT compiler. |
411 |
|
|
412 |
|
5. Fixed several bugs concerned with partial matching of items that consist |
413 |
|
of more than one character: |
414 |
|
|
415 |
|
(a) /^(..)\1/ did not partially match "aba" because checking references was |
416 |
|
done on an "all or nothing" basis. This also applied to repeated |
417 |
|
references. |
418 |
|
|
419 |
|
(b) \R did not give a hard partial match if \r was found at the end of the |
420 |
|
subject. |
421 |
|
|
422 |
|
(c) \X did not give a hard partial match after matching one or more |
423 |
|
characters at the end of the subject. |
424 |
|
|
425 |
|
(d) When newline was set to CRLF, a pattern such as /a$/ did not recognize |
426 |
|
a partial match for the string "\r". |
427 |
|
|
428 |
|
(e) When newline was set to CRLF, the metacharacter "." did not recognize |
429 |
|
a partial match for a CR character at the end of the subject string. |
430 |
|
|
431 |
|
6. If JIT is requested using /S++ or -s++ (instead of just /S+ or -s+) when |
432 |
|
running pcretest, the text "(JIT)" added to the output whenever JIT is |
433 |
|
actually used to run the match. |
434 |
|
|
435 |
|
7. Individual JIT compile options can be set in pcretest by following -s+[+] |
436 |
|
or /S+[+] with a digit between 1 and 7. |
437 |
|
|
438 |
|
8. OP_NOT now supports any UTF character not just single-byte ones. |
439 |
|
|
440 |
|
9. (*MARK) control verb is now supported by the JIT compiler. |
441 |
|
|
442 |
|
10. The command "./RunTest list" lists the available tests without actually |
443 |
|
running any of them. (Because I keep forgetting what they all are.) |
444 |
|
|
445 |
|
11. Add PCRE_INFO_MAXLOOKBEHIND. |
446 |
|
|
447 |
|
12. Applied a (slightly modified) user-supplied patch that improves performance |
448 |
|
when the heap is used for recursion (compiled with --disable-stack-for- |
449 |
|
recursion). Instead of malloc and free for each heap frame each time a |
450 |
|
logical recursion happens, frames are retained on a chain and re-used where |
451 |
|
possible. This sometimes gives as much as 30% improvement. |
452 |
|
|
453 |
|
13. As documented, (*COMMIT) is now confined to within a recursive subpattern |
454 |
|
call. |
455 |
|
|
456 |
|
14. As documented, (*COMMIT) is now confined to within a positive assertion. |
457 |
|
|
458 |
|
15. It is now possible to link pcretest with libedit as an alternative to |
459 |
|
libreadline. |
460 |
|
|
461 |
|
16. (*COMMIT) control verb is now supported by the JIT compiler. |
462 |
|
|
463 |
|
17. The Unicode data tables have been updated to Unicode 6.1.0. |
464 |
|
|
465 |
|
18. Added --file-list option to pcregrep. |
466 |
|
|
467 |
|
19. Added binary file support to pcregrep, including the -a, --binary-files, |
468 |
|
-I, and --text options. |
469 |
|
|
470 |
|
20. The madvise function is renamed for posix_madvise for QNX compatibility |
471 |
|
reasons. Fixed by Giuseppe D'Angelo. |
472 |
|
|
473 |
|
21. Fixed a bug for backward assertions with REVERSE 0 in the JIT compiler. |
474 |
|
|
475 |
|
22. Changed the option for creating symbolic links for 16-bit man pages from |
476 |
|
-s to -sf so that re-installing does not cause issues. |
477 |
|
|
478 |
|
23. Support PCRE_NO_START_OPTIMIZE in JIT as (*MARK) support requires it. |
479 |
|
|
480 |
|
24. Fixed a very old bug in pcretest that caused errors with restarted DFA |
481 |
|
matches in certain environments (the workspace was not being correctly |
482 |
|
retained). Also added to pcre_dfa_exec() a simple plausibility check on |
483 |
|
some of the workspace data at the beginning of a restart. |
484 |
|
|
485 |
|
25. \s*\R was auto-possessifying the \s* when it should not, whereas \S*\R |
486 |
|
was not doing so when it should - probably a typo introduced by SVN 528 |
487 |
|
(change 8.10/14). |
488 |
|
|
489 |
|
26. When PCRE_UCP was not set, \w+\x{c4} was incorrectly auto-possessifying the |
490 |
|
\w+ when the character tables indicated that \x{c4} was a word character. |
491 |
|
There were several related cases, all because the tests for doing a table |
492 |
|
lookup were testing for characters less than 127 instead of 255. |
493 |
|
|
494 |
|
27. If a pattern contains capturing parentheses that are not used in a match, |
495 |
|
their slots in the ovector are set to -1. For those that are higher than |
496 |
|
any matched groups, this happens at the end of processing. In the case when |
497 |
|
there were back references that the ovector was too small to contain |
498 |
|
(causing temporary malloc'd memory to be used during matching), and the |
499 |
|
highest capturing number was not used, memory off the end of the ovector |
500 |
|
was incorrectly being set to -1. (It was using the size of the temporary |
501 |
|
memory instead of the true size.) |
502 |
|
|
503 |
|
28. To catch bugs like 27 using valgrind, when pcretest is asked to specify an |
504 |
|
ovector size, it uses memory at the end of the block that it has got. |
505 |
|
|
506 |
|
29. Check for an overlong MARK name and give an error at compile time. The |
507 |
|
limit is 255 for the 8-bit library and 65535 for the 16-bit library. |
508 |
|
|
509 |
|
30. JIT compiler update. |
510 |
|
|
511 |
|
31. JIT is now supported on jailbroken iOS devices. Thanks for Ruiger |
512 |
|
Rill for the patch. |
513 |
|
|
514 |
|
32. Put spaces around SLJIT_PRINT_D in the JIT compiler. Required by CXX11. |
515 |
|
|
516 |
|
33. Variable renamings in the PCRE-JIT compiler. No functionality change. |
517 |
|
|
518 |
|
34. Fixed typos in pcregrep: in two places there was SUPPORT_LIBZ2 instead of |
519 |
|
SUPPORT_LIBBZ2. This caused a build problem when bzip2 but not gzip (zlib) |
520 |
|
was enabled. |
521 |
|
|
522 |
|
35. Improve JIT code generation for greedy plus quantifier. |
523 |
|
|
524 |
|
36. When /((?:a?)*)*c/ or /((?>a?)*)*c/ was matched against "aac", it set group |
525 |
|
1 to "aa" instead of to an empty string. The bug affected repeated groups |
526 |
|
that could potentially match an empty string. |
527 |
|
|
528 |
|
37. Optimizing single character iterators in JIT. |
529 |
|
|
530 |
|
38. Wide characters specified with \uxxxx in JavaScript mode are now subject to |
531 |
|
the same checks as \x{...} characters in non-JavaScript mode. Specifically, |
532 |
|
codepoints that are too big for the mode are faulted, and in a UTF mode, |
533 |
|
disallowed codepoints are also faulted. |
534 |
|
|
535 |
|
39. If PCRE was compiled with UTF support, in three places in the DFA |
536 |
|
matcher there was code that should only have been obeyed in UTF mode, but |
537 |
|
was being obeyed unconditionally. In 8-bit mode this could cause incorrect |
538 |
|
processing when bytes with values greater than 127 were present. In 16-bit |
539 |
|
mode the bug would be provoked by values in the range 0xfc00 to 0xdc00. In |
540 |
|
both cases the values are those that cannot be the first data item in a UTF |
541 |
|
character. The three items that might have provoked this were recursions, |
542 |
|
possessively repeated groups, and atomic groups. |
543 |
|
|
544 |
|
40. Ensure that libpcre is explicitly listed in the link commands for pcretest |
545 |
|
and pcregrep, because some OS require shared objects to be explicitly |
546 |
|
passed to ld, causing the link step to fail if they are not. |
547 |
|
|
548 |
|
41. There were two incorrect #ifdefs in pcre_study.c, meaning that, in 16-bit |
549 |
|
mode, patterns that started with \h* or \R* might be incorrectly matched. |
550 |
|
|
551 |
|
|
552 |
|
Version 8.30 04-February-2012 |
553 |
|
----------------------------- |
554 |
|
|
555 |
|
1. Renamed "isnumber" as "is_a_number" because in some Mac environments this |
556 |
|
name is defined in ctype.h. |
557 |
|
|
558 |
|
2. Fixed a bug in fixed-length calculation for lookbehinds that would show up |
559 |
|
only in quite long subpatterns. |
560 |
|
|
561 |
|
3. Removed the function pcre_info(), which has been obsolete and deprecated |
562 |
|
since it was replaced by pcre_fullinfo() in February 2000. |
563 |
|
|
564 |
|
4. For a non-anchored pattern, if (*SKIP) was given with a name that did not |
565 |
|
match a (*MARK), and the match failed at the start of the subject, a |
566 |
|
reference to memory before the start of the subject could occur. This bug |
567 |
|
was introduced by fix 17 of release 8.21. |
568 |
|
|
569 |
|
5. A reference to an unset group with zero minimum repetition was giving |
570 |
|
totally wrong answers (in non-JavaScript-compatibility mode). For example, |
571 |
|
/(another)?(\1?)test/ matched against "hello world test". This bug was |
572 |
|
introduced in release 8.13. |
573 |
|
|
574 |
|
6. Add support for 16-bit character strings (a large amount of work involving |
575 |
|
many changes and refactorings). |
576 |
|
|
577 |
|
7. RunGrepTest failed on msys because \r\n was replaced by whitespace when the |
578 |
|
command "pattern=`printf 'xxx\r\njkl'`" was run. The pattern is now taken |
579 |
|
from a file. |
580 |
|
|
581 |
|
8. Ovector size of 2 is also supported by JIT based pcre_exec (the ovector size |
582 |
|
rounding is not applied in this particular case). |
583 |
|
|
584 |
|
9. The invalid Unicode surrogate codepoints U+D800 to U+DFFF are now rejected |
585 |
|
if they appear, or are escaped, in patterns. |
586 |
|
|
587 |
|
10. Get rid of a number of -Wunused-but-set-variable warnings. |
588 |
|
|
589 |
|
11. The pattern /(?=(*:x))(q|)/ matches an empty string, and returns the mark |
590 |
|
"x". The similar pattern /(?=(*:x))((*:y)q|)/ did not return a mark at all. |
591 |
|
Oddly, Perl behaves the same way. PCRE has been fixed so that this pattern |
592 |
|
also returns the mark "x". This bug applied to capturing parentheses, |
593 |
|
non-capturing parentheses, and atomic parentheses. It also applied to some |
594 |
|
assertions. |
595 |
|
|
596 |
|
12. Stephen Kelly's patch to CMakeLists.txt allows it to parse the version |
597 |
|
information out of configure.ac instead of relying on pcre.h.generic, which |
598 |
|
is not stored in the repository. |
599 |
|
|
600 |
|
13. Applied Dmitry V. Levin's patch for a more portable method for linking with |
601 |
|
-lreadline. |
602 |
|
|
603 |
|
14. ZH added PCRE_CONFIG_JITTARGET; added its output to pcretest -C. |
604 |
|
|
605 |
|
15. Applied Graycode's patch to put the top-level frame on the stack rather |
606 |
|
than the heap when not using the stack for recursion. This gives a |
607 |
|
performance improvement in many cases when recursion is not deep. |
608 |
|
|
609 |
|
16. Experimental code added to "pcretest -C" to output the stack frame size. |
610 |
|
|
611 |
|
|
612 |
|
Version 8.21 12-Dec-2011 |
613 |
|
------------------------ |
614 |
|
|
615 |
1. Updating the JIT compiler. |
1. Updating the JIT compiler. |
616 |
|
|
621 |
PCRE_EXTRA_TABLES is not suported by JIT, and should be checked before |
PCRE_EXTRA_TABLES is not suported by JIT, and should be checked before |
622 |
calling _pcre_jit_exec. Some extra comments are added. |
calling _pcre_jit_exec. Some extra comments are added. |
623 |
|
|
624 |
4. Mark settings inside atomic groups that do not contain any capturing |
4. (*MARK) settings inside atomic groups that do not contain any capturing |
625 |
parentheses, for example, (?>a(*:m)), were not being passed out. This bug |
parentheses, for example, (?>a(*:m)), were not being passed out. This bug |
626 |
was introduced by change 18 for 8.20. |
was introduced by change 18 for 8.20. |
627 |
|
|
630 |
|
|
631 |
6. Lookbehinds such as (?<=a{2}b) that contained a fixed repetition were |
6. Lookbehinds such as (?<=a{2}b) that contained a fixed repetition were |
632 |
erroneously being rejected as "not fixed length" if PCRE_CASELESS was set. |
erroneously being rejected as "not fixed length" if PCRE_CASELESS was set. |
633 |
This bug was probably introduced by change 9 of 8.13. |
This bug was probably introduced by change 9 of 8.13. |
634 |
|
|
635 |
7. While fixing 6 above, I noticed that a number of other items were being |
7. While fixing 6 above, I noticed that a number of other items were being |
636 |
incorrectly rejected as "not fixed length". This arose partly because newer |
incorrectly rejected as "not fixed length". This arose partly because newer |
637 |
opcodes had not been added to the fixed-length checking code. I have (a) |
opcodes had not been added to the fixed-length checking code. I have (a) |
638 |
corrected the bug and added tests for these items, and (b) arranged for an |
corrected the bug and added tests for these items, and (b) arranged for an |
639 |
error to occur if an unknown opcode is encountered while checking for fixed |
error to occur if an unknown opcode is encountered while checking for fixed |
640 |
length instead of just assuming "not fixed length". The items that were |
length instead of just assuming "not fixed length". The items that were |
641 |
rejected were: (*ACCEPT), (*COMMIT), (*FAIL), (*MARK), (*PRUNE), (*SKIP), |
rejected were: (*ACCEPT), (*COMMIT), (*FAIL), (*MARK), (*PRUNE), (*SKIP), |
642 |
(*THEN), \h, \H, \v, \V, and single character negative classes with fixed |
(*THEN), \h, \H, \v, \V, and single character negative classes with fixed |
643 |
repetitions, e.g. [^a]{3}, with and without PCRE_CASELESS. |
repetitions, e.g. [^a]{3}, with and without PCRE_CASELESS. |
644 |
|
|
645 |
8. A possessively repeated conditional subpattern such as (?(?=c)c|d)++ was |
8. A possessively repeated conditional subpattern such as (?(?=c)c|d)++ was |
646 |
being incorrectly compiled and would have given unpredicatble results. |
being incorrectly compiled and would have given unpredicatble results. |
647 |
|
|
648 |
9. A possessively repeated subpattern with minimum repeat count greater than |
9. A possessively repeated subpattern with minimum repeat count greater than |
649 |
one behaved incorrectly. For example, (A){2,}+ behaved as if it was |
one behaved incorrectly. For example, (A){2,}+ behaved as if it was |
650 |
(A)(A)++ which meant that, after a subsequent mismatch, backtracking into |
(A)(A)++ which meant that, after a subsequent mismatch, backtracking into |
651 |
the first (A) could occur when it should not. |
the first (A) could occur when it should not. |
652 |
|
|
653 |
10. Add a cast and remove a redundant test from the code. |
10. Add a cast and remove a redundant test from the code. |
654 |
|
|
655 |
11. JIT should use pcre_malloc/pcre_free for allocation. |
11. JIT should use pcre_malloc/pcre_free for allocation. |
656 |
|
|
657 |
12. Updated pcre-config so that it no longer shows -L/usr/lib, which seems |
12. Updated pcre-config so that it no longer shows -L/usr/lib, which seems |
658 |
best practice nowadays, and helps with cross-compiling. (If the exec_prefix |
best practice nowadays, and helps with cross-compiling. (If the exec_prefix |
659 |
is anything other than /usr, -L is still shown). |
is anything other than /usr, -L is still shown). |
660 |
|
|
661 |
13. In non-UTF-8 mode, \C is now supported in lookbehinds and DFA matching. |
13. In non-UTF-8 mode, \C is now supported in lookbehinds and DFA matching. |
662 |
|
|
663 |
14. Perl does not support \N without a following name in a [] class; PCRE now |
14. Perl does not support \N without a following name in a [] class; PCRE now |
664 |
also gives an error. |
also gives an error. |
665 |
|
|
666 |
15. If a forward reference was repeated with an upper limit of around 2000, |
15. If a forward reference was repeated with an upper limit of around 2000, |
667 |
it caused the error "internal error: overran compiling workspace". The |
it caused the error "internal error: overran compiling workspace". The |
668 |
maximum number of forward references (including repeats) was limited by the |
maximum number of forward references (including repeats) was limited by the |
669 |
internal workspace, and dependent on the LINK_SIZE. The code has been |
internal workspace, and dependent on the LINK_SIZE. The code has been |
670 |
rewritten so that the workspace expands (via pcre_malloc) if necessary, and |
rewritten so that the workspace expands (via pcre_malloc) if necessary, and |
671 |
the default depends on LINK_SIZE. There is a new upper limit (for safety) |
the default depends on LINK_SIZE. There is a new upper limit (for safety) |
672 |
of around 200,000 forward references. While doing this, I also speeded up |
of around 200,000 forward references. While doing this, I also speeded up |
673 |
the filling in of repeated forward references. |
the filling in of repeated forward references. |
674 |
|
|
675 |
16. A repeated forward reference in a pattern such as (a)(?2){2}(.) was |
16. A repeated forward reference in a pattern such as (a)(?2){2}(.) was |
676 |
incorrectly expecting the subject to contain another "a" after the start. |
incorrectly expecting the subject to contain another "a" after the start. |
677 |
|
|
678 |
17. When (*SKIP:name) is activated without a corresponding (*MARK:name) earlier |
17. When (*SKIP:name) is activated without a corresponding (*MARK:name) earlier |
679 |
in the match, the SKIP should be ignored. This was not happening; instead |
in the match, the SKIP should be ignored. This was not happening; instead |
680 |
the SKIP was being treated as NOMATCH. For patterns such as |
the SKIP was being treated as NOMATCH. For patterns such as |
681 |
/A(*MARK:A)A+(*SKIP:B)Z|AAC/ this meant that the AAC branch was never |
/A(*MARK:A)A+(*SKIP:B)Z|AAC/ this meant that the AAC branch was never |
682 |
tested. |
tested. |
683 |
|
|
684 |
18. The behaviour of (*MARK), (*PRUNE), and (*THEN) has been reworked and is |
18. The behaviour of (*MARK), (*PRUNE), and (*THEN) has been reworked and is |
685 |
now much more compatible with Perl, in particular in cases where the result |
now much more compatible with Perl, in particular in cases where the result |
686 |
is a non-match for a non-anchored pattern. For example, if |
is a non-match for a non-anchored pattern. For example, if |
687 |
/b(*:m)f|a(*:n)w/ is matched against "abc", the non-match returns the name |
/b(*:m)f|a(*:n)w/ is matched against "abc", the non-match returns the name |
688 |
"m", where previously it did not return a name. A side effect of this |
"m", where previously it did not return a name. A side effect of this |
689 |
change is that for partial matches, the last encountered mark name is |
change is that for partial matches, the last encountered mark name is |
690 |
returned, as for non matches. A number of tests that were previously not |
returned, as for non matches. A number of tests that were previously not |
691 |
Perl-compatible have been moved into the Perl-compatible test files. The |
Perl-compatible have been moved into the Perl-compatible test files. The |
692 |
refactoring has had the pleasing side effect of removing one argument from |
refactoring has had the pleasing side effect of removing one argument from |
693 |
the match() function, thus reducing its stack requirements. |
the match() function, thus reducing its stack requirements. |
694 |
|
|
695 |
|
19. If the /S+ option was used in pcretest to study a pattern using JIT, |
696 |
|
subsequent uses of /S (without +) incorrectly behaved like /S+. |
697 |
|
|
698 |
|
21. Retrieve executable code size support for the JIT compiler and fixing |
699 |
|
some warnings. |
700 |
|
|
701 |
|
22. A caseless match of a UTF-8 character whose other case uses fewer bytes did |
702 |
|
not work when the shorter character appeared right at the end of the |
703 |
|
subject string. |
704 |
|
|
705 |
|
23. Added some (int) casts to non-JIT modules to reduce warnings on 64-bit |
706 |
|
systems. |
707 |
|
|
708 |
|
24. Added PCRE_INFO_JITSIZE to pass on the value from (21) above, and also |
709 |
|
output it when the /M option is used in pcretest. |
710 |
|
|
711 |
|
25. The CheckMan script was not being included in the distribution. Also, added |
712 |
|
an explicit "perl" to run Perl scripts from the PrepareRelease script |
713 |
|
because this is reportedly needed in Windows. |
714 |
|
|
715 |
|
26. If study data was being save in a file and studying had not found a set of |
716 |
|
"starts with" bytes for the pattern, the data written to the file (though |
717 |
|
never used) was taken from uninitialized memory and so caused valgrind to |
718 |
|
complain. |
719 |
|
|
720 |
|
27. Updated RunTest.bat as provided by Sheri Pierce. |
721 |
|
|
722 |
|
28. Fixed a possible uninitialized memory bug in pcre_jit_compile.c. |
723 |
|
|
724 |
|
29. Computation of memory usage for the table of capturing group names was |
725 |
|
giving an unnecessarily large value. |
726 |
|
|
727 |
|
|
728 |
Version 8.20 21-Oct-2011 |
Version 8.20 21-Oct-2011 |
729 |
------------------------ |
------------------------ |
1739 |
7. A pattern that could match an empty string could cause pcregrep to loop; it |
7. A pattern that could match an empty string could cause pcregrep to loop; it |
1740 |
doesn't make sense to accept an empty string match in pcregrep, so I have |
doesn't make sense to accept an empty string match in pcregrep, so I have |
1741 |
locked it out (using PCRE's PCRE_NOTEMPTY option). By experiment, this |
locked it out (using PCRE's PCRE_NOTEMPTY option). By experiment, this |
1742 |
seems to be how GNU grep behaves. |
seems to be how GNU grep behaves. [But see later change 40 for release |
1743 |
|
8.33.] |
1744 |
|
|
1745 |
8. The pattern (?(?=.*b)b|^) was incorrectly compiled as "match must be at |
8. The pattern (?(?=.*b)b|^) was incorrectly compiled as "match must be at |
1746 |
start or after a newline", because the conditional assertion was not being |
start or after a newline", because the conditional assertion was not being |
1983 |
containing () gave an internal compiling error instead of "reference to |
containing () gave an internal compiling error instead of "reference to |
1984 |
non-existent subpattern". Fortunately, when the pattern did exist, the |
non-existent subpattern". Fortunately, when the pattern did exist, the |
1985 |
compiled code was correct. (When scanning forwards to check for the |
compiled code was correct. (When scanning forwards to check for the |
1986 |
existencd of the subpattern, it was treating the data ']' as terminating |
existence of the subpattern, it was treating the data ']' as terminating |
1987 |
the class, so got the count wrong. When actually compiling, the reference |
the class, so got the count wrong. When actually compiling, the reference |
1988 |
was subsequently set up correctly.) |
was subsequently set up correctly.) |
1989 |
|
|