1 |
ChangeLog for PCRE |
ChangeLog for PCRE |
2 |
------------------ |
------------------ |
3 |
|
|
4 |
Version 7.5 12-Nov-07 |
Version 8.21 |
5 |
|
------------ |
6 |
|
|
7 |
|
1. Updating the JIT compiler. |
8 |
|
|
9 |
|
2. JIT compiler now supports OP_NCREF, OP_RREF and OP_NRREF. New test cases |
10 |
|
are added as well. |
11 |
|
|
12 |
|
3. Fix cache-flush issue on PowerPC (It is still an experimental JIT port). |
13 |
|
PCRE_EXTRA_TABLES is not suported by JIT, and should be checked before |
14 |
|
calling _pcre_jit_exec. Some extra comments are added. |
15 |
|
|
16 |
|
4. Mark settings inside atomic groups that do not contain any capturing |
17 |
|
parentheses, for example, (?>a(*:m)), were not being passed out. This bug |
18 |
|
was introduced by change 18 for 8.20. |
19 |
|
|
20 |
|
5. Supporting of \x, \U and \u in JavaScript compatibility mode based on the |
21 |
|
ECMA-262 standard. |
22 |
|
|
23 |
|
6. Lookbehinds such as (?<=a{2}b) that contained a fixed repetition were |
24 |
|
erroneously being rejected as "not fixed length" if PCRE_CASELESS was set. |
25 |
|
This bug was probably introduced by change 9 of 8.13. |
26 |
|
|
27 |
|
7. While fixing 6 above, I noticed that a number of other items were being |
28 |
|
incorrectly rejected as "not fixed length". This arose partly because newer |
29 |
|
opcodes had not been added to the fixed-length checking code. I have (a) |
30 |
|
corrected the bug and added tests for these items, and (b) arranged for an |
31 |
|
error to occur if an unknown opcode is encountered while checking for fixed |
32 |
|
length instead of just assuming "not fixed length". The items that were |
33 |
|
rejected were: (*ACCEPT), (*COMMIT), (*FAIL), (*MARK), (*PRUNE), (*SKIP), |
34 |
|
(*THEN), \h, \H, \v, \V, and single character negative classes with fixed |
35 |
|
repetitions, e.g. [^a]{3}, with and without PCRE_CASELESS. |
36 |
|
|
37 |
|
8. A possessively repeated conditional subpattern such as (?(?=c)c|d)++ was |
38 |
|
being incorrectly compiled and would have given unpredicatble results. |
39 |
|
|
40 |
|
9. A possessively repeated subpattern with minimum repeat count greater than |
41 |
|
one behaved incorrectly. For example, (A){2,}+ behaved as if it was |
42 |
|
(A)(A)++ which meant that, after a subsequent mismatch, backtracking into |
43 |
|
the first (A) could occur when it should not. |
44 |
|
|
45 |
|
10. Add a cast and remove a redundant test from the code. |
46 |
|
|
47 |
|
11. JIT should use pcre_malloc/pcre_free for allocation. |
48 |
|
|
49 |
|
12. Updated pcre-config so that it no longer shows -L/usr/lib, which seems |
50 |
|
best practice nowadays, and helps with cross-compiling. (If the exec_prefix |
51 |
|
is anything other than /usr, -L is still shown). |
52 |
|
|
53 |
|
13. In non-UTF-8 mode, \C is now supported in lookbehinds and DFA matching. |
54 |
|
|
55 |
|
|
56 |
|
Version 8.20 21-Oct-2011 |
57 |
|
------------------------ |
58 |
|
|
59 |
|
1. Change 37 of 8.13 broke patterns like [:a]...[b:] because it thought it had |
60 |
|
a POSIX class. After further experiments with Perl, which convinced me that |
61 |
|
Perl has bugs and confusions, a closing square bracket is no longer allowed |
62 |
|
in a POSIX name. This bug also affected patterns with classes that started |
63 |
|
with full stops. |
64 |
|
|
65 |
|
2. If a pattern such as /(a)b|ac/ is matched against "ac", there is no |
66 |
|
captured substring, but while checking the failing first alternative, |
67 |
|
substring 1 is temporarily captured. If the output vector supplied to |
68 |
|
pcre_exec() was not big enough for this capture, the yield of the function |
69 |
|
was still zero ("insufficient space for captured substrings"). This cannot |
70 |
|
be totally fixed without adding another stack variable, which seems a lot |
71 |
|
of expense for a edge case. However, I have improved the situation in cases |
72 |
|
such as /(a)(b)x|abc/ matched against "abc", where the return code |
73 |
|
indicates that fewer than the maximum number of slots in the ovector have |
74 |
|
been set. |
75 |
|
|
76 |
|
3. Related to (2) above: when there are more back references in a pattern than |
77 |
|
slots in the output vector, pcre_exec() uses temporary memory during |
78 |
|
matching, and copies in the captures as far as possible afterwards. It was |
79 |
|
using the entire output vector, but this conflicts with the specification |
80 |
|
that only 2/3 is used for passing back captured substrings. Now it uses |
81 |
|
only the first 2/3, for compatibility. This is, of course, another edge |
82 |
|
case. |
83 |
|
|
84 |
|
4. Zoltan Herczeg's just-in-time compiler support has been integrated into the |
85 |
|
main code base, and can be used by building with --enable-jit. When this is |
86 |
|
done, pcregrep automatically uses it unless --disable-pcregrep-jit or the |
87 |
|
runtime --no-jit option is given. |
88 |
|
|
89 |
|
5. When the number of matches in a pcre_dfa_exec() run exactly filled the |
90 |
|
ovector, the return from the function was zero, implying that there were |
91 |
|
other matches that did not fit. The correct "exactly full" value is now |
92 |
|
returned. |
93 |
|
|
94 |
|
6. If a subpattern that was called recursively or as a subroutine contained |
95 |
|
(*PRUNE) or any other control that caused it to give a non-standard return, |
96 |
|
invalid errors such as "Error -26 (nested recursion at the same subject |
97 |
|
position)" or even infinite loops could occur. |
98 |
|
|
99 |
|
7. If a pattern such as /a(*SKIP)c|b(*ACCEPT)|/ was studied, it stopped |
100 |
|
computing the minimum length on reaching *ACCEPT, and so ended up with the |
101 |
|
wrong value of 1 rather than 0. Further investigation indicates that |
102 |
|
computing a minimum subject length in the presence of *ACCEPT is difficult |
103 |
|
(think back references, subroutine calls), and so I have changed the code |
104 |
|
so that no minimum is registered for a pattern that contains *ACCEPT. |
105 |
|
|
106 |
|
8. If (*THEN) was present in the first (true) branch of a conditional group, |
107 |
|
it was not handled as intended. [But see 16 below.] |
108 |
|
|
109 |
|
9. Replaced RunTest.bat and CMakeLists.txt with improved versions provided by |
110 |
|
Sheri Pierce. |
111 |
|
|
112 |
|
10. A pathological pattern such as /(*ACCEPT)a/ was miscompiled, thinking that |
113 |
|
the first byte in a match must be "a". |
114 |
|
|
115 |
|
11. Change 17 for 8.13 increased the recursion depth for patterns like |
116 |
|
/a(?:.)*?a/ drastically. I've improved things by remembering whether a |
117 |
|
pattern contains any instances of (*THEN). If it does not, the old |
118 |
|
optimizations are restored. It would be nice to do this on a per-group |
119 |
|
basis, but at the moment that is not feasible. |
120 |
|
|
121 |
|
12. In some environments, the output of pcretest -C is CRLF terminated. This |
122 |
|
broke RunTest's code that checks for the link size. A single white space |
123 |
|
character after the value is now allowed for. |
124 |
|
|
125 |
|
13. RunTest now checks for the "fr" locale as well as for "fr_FR" and "french". |
126 |
|
For "fr", it uses the Windows-specific input and output files. |
127 |
|
|
128 |
|
14. If (*THEN) appeared in a group that was called recursively or as a |
129 |
|
subroutine, it did not work as intended. [But see next item.] |
130 |
|
|
131 |
|
15. Consider the pattern /A (B(*THEN)C) | D/ where A, B, C, and D are complex |
132 |
|
pattern fragments (but not containing any | characters). If A and B are |
133 |
|
matched, but there is a failure in C so that it backtracks to (*THEN), PCRE |
134 |
|
was behaving differently to Perl. PCRE backtracked into A, but Perl goes to |
135 |
|
D. In other words, Perl considers parentheses that do not contain any | |
136 |
|
characters to be part of a surrounding alternative, whereas PCRE was |
137 |
|
treading (B(*THEN)C) the same as (B(*THEN)C|(*FAIL)) -- which Perl handles |
138 |
|
differently. PCRE now behaves in the same way as Perl, except in the case |
139 |
|
of subroutine/recursion calls such as (?1) which have in any case always |
140 |
|
been different (but PCRE had them first :-). |
141 |
|
|
142 |
|
16. Related to 15 above: Perl does not treat the | in a conditional group as |
143 |
|
creating alternatives. Such a group is treated in the same way as an |
144 |
|
ordinary group without any | characters when processing (*THEN). PCRE has |
145 |
|
been changed to match Perl's behaviour. |
146 |
|
|
147 |
|
17. If a user had set PCREGREP_COLO(U)R to something other than 1:31, the |
148 |
|
RunGrepTest script failed. |
149 |
|
|
150 |
|
18. Change 22 for version 13 caused atomic groups to use more stack. This is |
151 |
|
inevitable for groups that contain captures, but it can lead to a lot of |
152 |
|
stack use in large patterns. The old behaviour has been restored for atomic |
153 |
|
groups that do not contain any capturing parentheses. |
154 |
|
|
155 |
|
19. If the PCRE_NO_START_OPTIMIZE option was set for pcre_compile(), it did not |
156 |
|
suppress the check for a minimum subject length at run time. (If it was |
157 |
|
given to pcre_exec() or pcre_dfa_exec() it did work.) |
158 |
|
|
159 |
|
20. Fixed an ASCII-dependent infelicity in pcretest that would have made it |
160 |
|
fail to work when decoding hex characters in data strings in EBCDIC |
161 |
|
environments. |
162 |
|
|
163 |
|
21. It appears that in at least one Mac OS environment, the isxdigit() function |
164 |
|
is implemented as a macro that evaluates to its argument more than once, |
165 |
|
contravening the C 90 Standard (I haven't checked a later standard). There |
166 |
|
was an instance in pcretest which caused it to go wrong when processing |
167 |
|
\x{...} escapes in subject strings. The has been rewritten to avoid using |
168 |
|
things like p++ in the argument of isxdigit(). |
169 |
|
|
170 |
|
|
171 |
|
Version 8.13 16-Aug-2011 |
172 |
|
------------------------ |
173 |
|
|
174 |
|
1. The Unicode data tables have been updated to Unicode 6.0.0. |
175 |
|
|
176 |
|
2. Two minor typos in pcre_internal.h have been fixed. |
177 |
|
|
178 |
|
3. Added #include <string.h> to pcre_scanner_unittest.cc, pcrecpp.cc, and |
179 |
|
pcrecpp_unittest.cc. They are needed for strcmp(), memset(), and strchr() |
180 |
|
in some environments (e.g. Solaris 10/SPARC using Sun Studio 12U2). |
181 |
|
|
182 |
|
4. There were a number of related bugs in the code for matching backrefences |
183 |
|
caselessly in UTF-8 mode when codes for the characters concerned were |
184 |
|
different numbers of bytes. For example, U+023A and U+2C65 are an upper |
185 |
|
and lower case pair, using 2 and 3 bytes, respectively. The main bugs were: |
186 |
|
(a) A reference to 3 copies of a 2-byte code matched only 2 of a 3-byte |
187 |
|
code. (b) A reference to 2 copies of a 3-byte code would not match 2 of a |
188 |
|
2-byte code at the end of the subject (it thought there wasn't enough data |
189 |
|
left). |
190 |
|
|
191 |
|
5. Comprehensive information about what went wrong is now returned by |
192 |
|
pcre_exec() and pcre_dfa_exec() when the UTF-8 string check fails, as long |
193 |
|
as the output vector has at least 2 elements. The offset of the start of |
194 |
|
the failing character and a reason code are placed in the vector. |
195 |
|
|
196 |
|
6. When the UTF-8 string check fails for pcre_compile(), the offset that is |
197 |
|
now returned is for the first byte of the failing character, instead of the |
198 |
|
last byte inspected. This is an incompatible change, but I hope it is small |
199 |
|
enough not to be a problem. It makes the returned offset consistent with |
200 |
|
pcre_exec() and pcre_dfa_exec(). |
201 |
|
|
202 |
|
7. pcretest now gives a text phrase as well as the error number when |
203 |
|
pcre_exec() or pcre_dfa_exec() fails; if the error is a UTF-8 check |
204 |
|
failure, the offset and reason code are output. |
205 |
|
|
206 |
|
8. When \R was used with a maximizing quantifier it failed to skip backwards |
207 |
|
over a \r\n pair if the subsequent match failed. Instead, it just skipped |
208 |
|
back over a single character (\n). This seems wrong (because it treated the |
209 |
|
two characters as a single entity when going forwards), conflicts with the |
210 |
|
documentation that \R is equivalent to (?>\r\n|\n|...etc), and makes the |
211 |
|
behaviour of \R* different to (\R)*, which also seems wrong. The behaviour |
212 |
|
has been changed. |
213 |
|
|
214 |
|
9. Some internal refactoring has changed the processing so that the handling |
215 |
|
of the PCRE_CASELESS and PCRE_MULTILINE options is done entirely at compile |
216 |
|
time (the PCRE_DOTALL option was changed this way some time ago: version |
217 |
|
7.7 change 16). This has made it possible to abolish the OP_OPT op code, |
218 |
|
which was always a bit of a fudge. It also means that there is one less |
219 |
|
argument for the match() function, which reduces its stack requirements |
220 |
|
slightly. This change also fixes an incompatibility with Perl: the pattern |
221 |
|
(?i:([^b]))(?1) should not match "ab", but previously PCRE gave a match. |
222 |
|
|
223 |
|
10. More internal refactoring has drastically reduced the number of recursive |
224 |
|
calls to match() for possessively repeated groups such as (abc)++ when |
225 |
|
using pcre_exec(). |
226 |
|
|
227 |
|
11. While implementing 10, a number of bugs in the handling of groups were |
228 |
|
discovered and fixed: |
229 |
|
|
230 |
|
(?<=(a)+) was not diagnosed as invalid (non-fixed-length lookbehind). |
231 |
|
(a|)*(?1) gave a compile-time internal error. |
232 |
|
((a|)+)+ did not notice that the outer group could match an empty string. |
233 |
|
(^a|^)+ was not marked as anchored. |
234 |
|
(.*a|.*)+ was not marked as matching at start or after a newline. |
235 |
|
|
236 |
|
12. Yet more internal refactoring has removed another argument from the match() |
237 |
|
function. Special calls to this function are now indicated by setting a |
238 |
|
value in a variable in the "match data" data block. |
239 |
|
|
240 |
|
13. Be more explicit in pcre_study() instead of relying on "default" for |
241 |
|
opcodes that mean there is no starting character; this means that when new |
242 |
|
ones are added and accidentally left out of pcre_study(), testing should |
243 |
|
pick them up. |
244 |
|
|
245 |
|
14. The -s option of pcretest has been documented for ages as being an old |
246 |
|
synonym of -m (show memory usage). I have changed it to mean "force study |
247 |
|
for every regex", that is, assume /S for every regex. This is similar to -i |
248 |
|
and -d etc. It's slightly incompatible, but I'm hoping nobody is still |
249 |
|
using it. It makes it easier to run collections of tests with and without |
250 |
|
study enabled, and thereby test pcre_study() more easily. All the standard |
251 |
|
tests are now run with and without -s (but some patterns can be marked as |
252 |
|
"never study" - see 20 below). |
253 |
|
|
254 |
|
15. When (*ACCEPT) was used in a subpattern that was called recursively, the |
255 |
|
restoration of the capturing data to the outer values was not happening |
256 |
|
correctly. |
257 |
|
|
258 |
|
16. If a recursively called subpattern ended with (*ACCEPT) and matched an |
259 |
|
empty string, and PCRE_NOTEMPTY was set, pcre_exec() thought the whole |
260 |
|
pattern had matched an empty string, and so incorrectly returned a no |
261 |
|
match. |
262 |
|
|
263 |
|
17. There was optimizing code for the last branch of non-capturing parentheses, |
264 |
|
and also for the obeyed branch of a conditional subexpression, which used |
265 |
|
tail recursion to cut down on stack usage. Unfortunately, now that there is |
266 |
|
the possibility of (*THEN) occurring in these branches, tail recursion is |
267 |
|
no longer possible because the return has to be checked for (*THEN). These |
268 |
|
two optimizations have therefore been removed. [But see 8.20/11 above.] |
269 |
|
|
270 |
|
18. If a pattern containing \R was studied, it was assumed that \R always |
271 |
|
matched two bytes, thus causing the minimum subject length to be |
272 |
|
incorrectly computed because \R can also match just one byte. |
273 |
|
|
274 |
|
19. If a pattern containing (*ACCEPT) was studied, the minimum subject length |
275 |
|
was incorrectly computed. |
276 |
|
|
277 |
|
20. If /S is present twice on a test pattern in pcretest input, it now |
278 |
|
*disables* studying, thereby overriding the use of -s on the command line |
279 |
|
(see 14 above). This is necessary for one or two tests to keep the output |
280 |
|
identical in both cases. |
281 |
|
|
282 |
|
21. When (*ACCEPT) was used in an assertion that matched an empty string and |
283 |
|
PCRE_NOTEMPTY was set, PCRE applied the non-empty test to the assertion. |
284 |
|
|
285 |
|
22. When an atomic group that contained a capturing parenthesis was |
286 |
|
successfully matched, but the branch in which it appeared failed, the |
287 |
|
capturing was not being forgotten if a higher numbered group was later |
288 |
|
captured. For example, /(?>(a))b|(a)c/ when matching "ac" set capturing |
289 |
|
group 1 to "a", when in fact it should be unset. This applied to multi- |
290 |
|
branched capturing and non-capturing groups, repeated or not, and also to |
291 |
|
positive assertions (capturing in negative assertions does not happen |
292 |
|
in PCRE) and also to nested atomic groups. |
293 |
|
|
294 |
|
23. Add the ++ qualifier feature to pcretest, to show the remainder of the |
295 |
|
subject after a captured substring, to make it easier to tell which of a |
296 |
|
number of identical substrings has been captured. |
297 |
|
|
298 |
|
24. The way atomic groups are processed by pcre_exec() has been changed so that |
299 |
|
if they are repeated, backtracking one repetition now resets captured |
300 |
|
values correctly. For example, if ((?>(a+)b)+aabab) is matched against |
301 |
|
"aaaabaaabaabab" the value of captured group 2 is now correctly recorded as |
302 |
|
"aaa". Previously, it would have been "a". As part of this code |
303 |
|
refactoring, the way recursive calls are handled has also been changed. |
304 |
|
|
305 |
|
25. If an assertion condition captured any substrings, they were not passed |
306 |
|
back unless some other capturing happened later. For example, if |
307 |
|
(?(?=(a))a) was matched against "a", no capturing was returned. |
308 |
|
|
309 |
|
26. When studying a pattern that contained subroutine calls or assertions, |
310 |
|
the code for finding the minimum length of a possible match was handling |
311 |
|
direct recursions such as (xxx(?1)|yyy) but not mutual recursions (where |
312 |
|
group 1 called group 2 while simultaneously a separate group 2 called group |
313 |
|
1). A stack overflow occurred in this case. I have fixed this by limiting |
314 |
|
the recursion depth to 10. |
315 |
|
|
316 |
|
27. Updated RunTest.bat in the distribution to the version supplied by Tom |
317 |
|
Fortmann. This supports explicit test numbers on the command line, and has |
318 |
|
argument validation and error reporting. |
319 |
|
|
320 |
|
28. An instance of \X with an unlimited repeat could fail if at any point the |
321 |
|
first character it looked at was a mark character. |
322 |
|
|
323 |
|
29. Some minor code refactoring concerning Unicode properties and scripts |
324 |
|
should reduce the stack requirement of match() slightly. |
325 |
|
|
326 |
|
30. Added the '=' option to pcretest to check the setting of unused capturing |
327 |
|
slots at the end of the pattern, which are documented as being -1, but are |
328 |
|
not included in the return count. |
329 |
|
|
330 |
|
31. If \k was not followed by a braced, angle-bracketed, or quoted name, PCRE |
331 |
|
compiled something random. Now it gives a compile-time error (as does |
332 |
|
Perl). |
333 |
|
|
334 |
|
32. A *MARK encountered during the processing of a positive assertion is now |
335 |
|
recorded and passed back (compatible with Perl). |
336 |
|
|
337 |
|
33. If --only-matching or --colour was set on a pcregrep call whose pattern |
338 |
|
had alternative anchored branches, the search for a second match in a line |
339 |
|
was done as if at the line start. Thus, for example, /^01|^02/ incorrectly |
340 |
|
matched the line "0102" twice. The same bug affected patterns that started |
341 |
|
with a backwards assertion. For example /\b01|\b02/ also matched "0102" |
342 |
|
twice. |
343 |
|
|
344 |
|
34. Previously, PCRE did not allow quantification of assertions. However, Perl |
345 |
|
does, and because of capturing effects, quantifying parenthesized |
346 |
|
assertions may at times be useful. Quantifiers are now allowed for |
347 |
|
parenthesized assertions. |
348 |
|
|
349 |
|
35. A minor code tidy in pcre_compile() when checking options for \R usage. |
350 |
|
|
351 |
|
36. \g was being checked for fancy things in a character class, when it should |
352 |
|
just be a literal "g". |
353 |
|
|
354 |
|
37. PCRE was rejecting [:a[:digit:]] whereas Perl was not. It seems that the |
355 |
|
appearance of a nested POSIX class supersedes an apparent external class. |
356 |
|
For example, [:a[:digit:]b:] matches "a", "b", ":", or a digit. Also, |
357 |
|
unescaped square brackets may also appear as part of class names. For |
358 |
|
example, [:a[:abc]b:] gives unknown class "[:abc]b:]". PCRE now behaves |
359 |
|
more like Perl. (But see 8.20/1 above.) |
360 |
|
|
361 |
|
38. PCRE was giving an error for \N with a braced quantifier such as {1,} (this |
362 |
|
was because it thought it was \N{name}, which is not supported). |
363 |
|
|
364 |
|
39. Add minix to OS list not supporting the -S option in pcretest. |
365 |
|
|
366 |
|
40. PCRE tries to detect cases of infinite recursion at compile time, but it |
367 |
|
cannot analyze patterns in sufficient detail to catch mutual recursions |
368 |
|
such as ((?1))((?2)). There is now a runtime test that gives an error if a |
369 |
|
subgroup is called recursively as a subpattern for a second time at the |
370 |
|
same position in the subject string. In previous releases this might have |
371 |
|
been caught by the recursion limit, or it might have run out of stack. |
372 |
|
|
373 |
|
41. A pattern such as /(?(R)a+|(?R)b)/ is quite safe, as the recursion can |
374 |
|
happen only once. PCRE was, however incorrectly giving a compile time error |
375 |
|
"recursive call could loop indefinitely" because it cannot analyze the |
376 |
|
pattern in sufficient detail. The compile time test no longer happens when |
377 |
|
PCRE is compiling a conditional subpattern, but actual runaway loops are |
378 |
|
now caught at runtime (see 40 above). |
379 |
|
|
380 |
|
42. It seems that Perl allows any characters other than a closing parenthesis |
381 |
|
to be part of the NAME in (*MARK:NAME) and other backtracking verbs. PCRE |
382 |
|
has been changed to be the same. |
383 |
|
|
384 |
|
43. Updated configure.ac to put in more quoting round AC_LANG_PROGRAM etc. so |
385 |
|
as not to get warnings when autogen.sh is called. Also changed |
386 |
|
AC_PROG_LIBTOOL (deprecated) to LT_INIT (the current macro). |
387 |
|
|
388 |
|
44. To help people who use pcregrep to scan files containing exceedingly long |
389 |
|
lines, the following changes have been made: |
390 |
|
|
391 |
|
(a) The default value of the buffer size parameter has been increased from |
392 |
|
8K to 20K. (The actual buffer used is three times this size.) |
393 |
|
|
394 |
|
(b) The default can be changed by ./configure --with-pcregrep-bufsize when |
395 |
|
PCRE is built. |
396 |
|
|
397 |
|
(c) A --buffer-size=n option has been added to pcregrep, to allow the size |
398 |
|
to be set at run time. |
399 |
|
|
400 |
|
(d) Numerical values in pcregrep options can be followed by K or M, for |
401 |
|
example --buffer-size=50K. |
402 |
|
|
403 |
|
(e) If a line being scanned overflows pcregrep's buffer, an error is now |
404 |
|
given and the return code is set to 2. |
405 |
|
|
406 |
|
45. Add a pointer to the latest mark to the callout data block. |
407 |
|
|
408 |
|
46. The pattern /.(*F)/, when applied to "abc" with PCRE_PARTIAL_HARD, gave a |
409 |
|
partial match of an empty string instead of no match. This was specific to |
410 |
|
the use of ".". |
411 |
|
|
412 |
|
47. The pattern /f.*/8s, when applied to "for" with PCRE_PARTIAL_HARD, gave a |
413 |
|
complete match instead of a partial match. This bug was dependent on both |
414 |
|
the PCRE_UTF8 and PCRE_DOTALL options being set. |
415 |
|
|
416 |
|
48. For a pattern such as /\babc|\bdef/ pcre_study() was failing to set up the |
417 |
|
starting byte set, because \b was not being ignored. |
418 |
|
|
419 |
|
|
420 |
|
Version 8.12 15-Jan-2011 |
421 |
|
------------------------ |
422 |
|
|
423 |
|
1. Fixed some typos in the markup of the man pages, and wrote a script that |
424 |
|
checks for such things as part of the documentation building process. |
425 |
|
|
426 |
|
2. On a big-endian 64-bit system, pcregrep did not correctly process the |
427 |
|
--match-limit and --recursion-limit options (added for 8.11). In |
428 |
|
particular, this made one of the standard tests fail. (The integer value |
429 |
|
went into the wrong half of a long int.) |
430 |
|
|
431 |
|
3. If the --colour option was given to pcregrep with -v (invert match), it |
432 |
|
did strange things, either producing crazy output, or crashing. It should, |
433 |
|
of course, ignore a request for colour when reporting lines that do not |
434 |
|
match. |
435 |
|
|
436 |
|
4. Another pcregrep bug caused similar problems if --colour was specified with |
437 |
|
-M (multiline) and the pattern match finished with a line ending. |
438 |
|
|
439 |
|
5. In pcregrep, when a pattern that ended with a literal newline sequence was |
440 |
|
matched in multiline mode, the following line was shown as part of the |
441 |
|
match. This seems wrong, so I have changed it. |
442 |
|
|
443 |
|
6. Another pcregrep bug in multiline mode, when --colour was specified, caused |
444 |
|
the check for further matches in the same line (so they could be coloured) |
445 |
|
to overrun the end of the current line. If another match was found, it was |
446 |
|
incorrectly shown (and then shown again when found in the next line). |
447 |
|
|
448 |
|
7. If pcregrep was compiled under Windows, there was a reference to the |
449 |
|
function pcregrep_exit() before it was defined. I am assuming this was |
450 |
|
the cause of the "error C2371: 'pcregrep_exit' : redefinition;" that was |
451 |
|
reported by a user. I've moved the definition above the reference. |
452 |
|
|
453 |
|
|
454 |
|
Version 8.11 10-Dec-2010 |
455 |
|
------------------------ |
456 |
|
|
457 |
|
1. (*THEN) was not working properly if there were untried alternatives prior |
458 |
|
to it in the current branch. For example, in ((a|b)(*THEN)(*F)|c..) it |
459 |
|
backtracked to try for "b" instead of moving to the next alternative branch |
460 |
|
at the same level (in this case, to look for "c"). The Perl documentation |
461 |
|
is clear that when (*THEN) is backtracked onto, it goes to the "next |
462 |
|
alternative in the innermost enclosing group". |
463 |
|
|
464 |
|
2. (*COMMIT) was not overriding (*THEN), as it does in Perl. In a pattern |
465 |
|
such as (A(*COMMIT)B(*THEN)C|D) any failure after matching A should |
466 |
|
result in overall failure. Similarly, (*COMMIT) now overrides (*PRUNE) and |
467 |
|
(*SKIP), (*SKIP) overrides (*PRUNE) and (*THEN), and (*PRUNE) overrides |
468 |
|
(*THEN). |
469 |
|
|
470 |
|
3. If \s appeared in a character class, it removed the VT character from |
471 |
|
the class, even if it had been included by some previous item, for example |
472 |
|
in [\x00-\xff\s]. (This was a bug related to the fact that VT is not part |
473 |
|
of \s, but is part of the POSIX "space" class.) |
474 |
|
|
475 |
|
4. A partial match never returns an empty string (because you can always |
476 |
|
match an empty string at the end of the subject); however the checking for |
477 |
|
an empty string was starting at the "start of match" point. This has been |
478 |
|
changed to the "earliest inspected character" point, because the returned |
479 |
|
data for a partial match starts at this character. This means that, for |
480 |
|
example, /(?<=abc)def/ gives a partial match for the subject "abc" |
481 |
|
(previously it gave "no match"). |
482 |
|
|
483 |
|
5. Changes have been made to the way PCRE_PARTIAL_HARD affects the matching |
484 |
|
of $, \z, \Z, \b, and \B. If the match point is at the end of the string, |
485 |
|
previously a full match would be given. However, setting PCRE_PARTIAL_HARD |
486 |
|
has an implication that the given string is incomplete (because a partial |
487 |
|
match is preferred over a full match). For this reason, these items now |
488 |
|
give a partial match in this situation. [Aside: previously, the one case |
489 |
|
/t\b/ matched against "cat" with PCRE_PARTIAL_HARD set did return a partial |
490 |
|
match rather than a full match, which was wrong by the old rules, but is |
491 |
|
now correct.] |
492 |
|
|
493 |
|
6. There was a bug in the handling of #-introduced comments, recognized when |
494 |
|
PCRE_EXTENDED is set, when PCRE_NEWLINE_ANY and PCRE_UTF8 were also set. |
495 |
|
If a UTF-8 multi-byte character included the byte 0x85 (e.g. +U0445, whose |
496 |
|
UTF-8 encoding is 0xd1,0x85), this was misinterpreted as a newline when |
497 |
|
scanning for the end of the comment. (*Character* 0x85 is an "any" newline, |
498 |
|
but *byte* 0x85 is not, in UTF-8 mode). This bug was present in several |
499 |
|
places in pcre_compile(). |
500 |
|
|
501 |
|
7. Related to (6) above, when pcre_compile() was skipping #-introduced |
502 |
|
comments when looking ahead for named forward references to subpatterns, |
503 |
|
the only newline sequence it recognized was NL. It now handles newlines |
504 |
|
according to the set newline convention. |
505 |
|
|
506 |
|
8. SunOS4 doesn't have strerror() or strtoul(); pcregrep dealt with the |
507 |
|
former, but used strtoul(), whereas pcretest avoided strtoul() but did not |
508 |
|
cater for a lack of strerror(). These oversights have been fixed. |
509 |
|
|
510 |
|
9. Added --match-limit and --recursion-limit to pcregrep. |
511 |
|
|
512 |
|
10. Added two casts needed to build with Visual Studio when NO_RECURSE is set. |
513 |
|
|
514 |
|
11. When the -o option was used, pcregrep was setting a return code of 1, even |
515 |
|
when matches were found, and --line-buffered was not being honoured. |
516 |
|
|
517 |
|
12. Added an optional parentheses number to the -o and --only-matching options |
518 |
|
of pcregrep. |
519 |
|
|
520 |
|
13. Imitating Perl's /g action for multiple matches is tricky when the pattern |
521 |
|
can match an empty string. The code to do it in pcretest and pcredemo |
522 |
|
needed fixing: |
523 |
|
|
524 |
|
(a) When the newline convention was "crlf", pcretest got it wrong, skipping |
525 |
|
only one byte after an empty string match just before CRLF (this case |
526 |
|
just got forgotten; "any" and "anycrlf" were OK). |
527 |
|
|
528 |
|
(b) The pcretest code also had a bug, causing it to loop forever in UTF-8 |
529 |
|
mode when an empty string match preceded an ASCII character followed by |
530 |
|
a non-ASCII character. (The code for advancing by one character rather |
531 |
|
than one byte was nonsense.) |
532 |
|
|
533 |
|
(c) The pcredemo.c sample program did not have any code at all to handle |
534 |
|
the cases when CRLF is a valid newline sequence. |
535 |
|
|
536 |
|
14. Neither pcre_exec() nor pcre_dfa_exec() was checking that the value given |
537 |
|
as a starting offset was within the subject string. There is now a new |
538 |
|
error, PCRE_ERROR_BADOFFSET, which is returned if the starting offset is |
539 |
|
negative or greater than the length of the string. In order to test this, |
540 |
|
pcretest is extended to allow the setting of negative starting offsets. |
541 |
|
|
542 |
|
15. In both pcre_exec() and pcre_dfa_exec() the code for checking that the |
543 |
|
starting offset points to the beginning of a UTF-8 character was |
544 |
|
unnecessarily clumsy. I tidied it up. |
545 |
|
|
546 |
|
16. Added PCRE_ERROR_SHORTUTF8 to make it possible to distinguish between a |
547 |
|
bad UTF-8 sequence and one that is incomplete when using PCRE_PARTIAL_HARD. |
548 |
|
|
549 |
|
17. Nobody had reported that the --include_dir option, which was added in |
550 |
|
release 7.7 should have been called --include-dir (hyphen, not underscore) |
551 |
|
for compatibility with GNU grep. I have changed it to --include-dir, but |
552 |
|
left --include_dir as an undocumented synonym, and the same for |
553 |
|
--exclude-dir, though that is not available in GNU grep, at least as of |
554 |
|
release 2.5.4. |
555 |
|
|
556 |
|
18. At a user's suggestion, the macros GETCHAR and friends (which pick up UTF-8 |
557 |
|
characters from a string of bytes) have been redefined so as not to use |
558 |
|
loops, in order to improve performance in some environments. At the same |
559 |
|
time, I abstracted some of the common code into auxiliary macros to save |
560 |
|
repetition (this should not affect the compiled code). |
561 |
|
|
562 |
|
19. If \c was followed by a multibyte UTF-8 character, bad things happened. A |
563 |
|
compile-time error is now given if \c is not followed by an ASCII |
564 |
|
character, that is, a byte less than 128. (In EBCDIC mode, the code is |
565 |
|
different, and any byte value is allowed.) |
566 |
|
|
567 |
|
20. Recognize (*NO_START_OPT) at the start of a pattern to set the PCRE_NO_ |
568 |
|
START_OPTIMIZE option, which is now allowed at compile time - but just |
569 |
|
passed through to pcre_exec() or pcre_dfa_exec(). This makes it available |
570 |
|
to pcregrep and other applications that have no direct access to PCRE |
571 |
|
options. The new /Y option in pcretest sets this option when calling |
572 |
|
pcre_compile(). |
573 |
|
|
574 |
|
21. Change 18 of release 8.01 broke the use of named subpatterns for recursive |
575 |
|
back references. Groups containing recursive back references were forced to |
576 |
|
be atomic by that change, but in the case of named groups, the amount of |
577 |
|
memory required was incorrectly computed, leading to "Failed: internal |
578 |
|
error: code overflow". This has been fixed. |
579 |
|
|
580 |
|
22. Some patches to pcre_stringpiece.h, pcre_stringpiece_unittest.cc, and |
581 |
|
pcretest.c, to avoid build problems in some Borland environments. |
582 |
|
|
583 |
|
|
584 |
|
Version 8.10 25-Jun-2010 |
585 |
|
------------------------ |
586 |
|
|
587 |
|
1. Added support for (*MARK:ARG) and for ARG additions to PRUNE, SKIP, and |
588 |
|
THEN. |
589 |
|
|
590 |
|
2. (*ACCEPT) was not working when inside an atomic group. |
591 |
|
|
592 |
|
3. Inside a character class, \B is treated as a literal by default, but |
593 |
|
faulted if PCRE_EXTRA is set. This mimics Perl's behaviour (the -w option |
594 |
|
causes the error). The code is unchanged, but I tidied the documentation. |
595 |
|
|
596 |
|
4. Inside a character class, PCRE always treated \R and \X as literals, |
597 |
|
whereas Perl faults them if its -w option is set. I have changed PCRE so |
598 |
|
that it faults them when PCRE_EXTRA is set. |
599 |
|
|
600 |
|
5. Added support for \N, which always matches any character other than |
601 |
|
newline. (It is the same as "." when PCRE_DOTALL is not set.) |
602 |
|
|
603 |
|
6. When compiling pcregrep with newer versions of gcc which may have |
604 |
|
FORTIFY_SOURCE set, several warnings "ignoring return value of 'fwrite', |
605 |
|
declared with attribute warn_unused_result" were given. Just casting the |
606 |
|
result to (void) does not stop the warnings; a more elaborate fudge is |
607 |
|
needed. I've used a macro to implement this. |
608 |
|
|
609 |
|
7. Minor change to pcretest.c to avoid a compiler warning. |
610 |
|
|
611 |
|
8. Added four artifical Unicode properties to help with an option to make |
612 |
|
\s etc use properties (see next item). The new properties are: Xan |
613 |
|
(alphanumeric), Xsp (Perl space), Xps (POSIX space), and Xwd (word). |
614 |
|
|
615 |
|
9. Added PCRE_UCP to make \b, \d, \s, \w, and certain POSIX character classes |
616 |
|
use Unicode properties. (*UCP) at the start of a pattern can be used to set |
617 |
|
this option. Modified pcretest to add /W to test this facility. Added |
618 |
|
REG_UCP to make it available via the POSIX interface. |
619 |
|
|
620 |
|
10. Added --line-buffered to pcregrep. |
621 |
|
|
622 |
|
11. In UTF-8 mode, if a pattern that was compiled with PCRE_CASELESS was |
623 |
|
studied, and the match started with a letter with a code point greater than |
624 |
|
127 whose first byte was different to the first byte of the other case of |
625 |
|
the letter, the other case of this starting letter was not recognized |
626 |
|
(#976). |
627 |
|
|
628 |
|
12. If a pattern that was studied started with a repeated Unicode property |
629 |
|
test, for example, \p{Nd}+, there was the theoretical possibility of |
630 |
|
setting up an incorrect bitmap of starting bytes, but fortunately it could |
631 |
|
not have actually happened in practice until change 8 above was made (it |
632 |
|
added property types that matched character-matching opcodes). |
633 |
|
|
634 |
|
13. pcre_study() now recognizes \h, \v, and \R when constructing a bit map of |
635 |
|
possible starting bytes for non-anchored patterns. |
636 |
|
|
637 |
|
14. Extended the "auto-possessify" feature of pcre_compile(). It now recognizes |
638 |
|
\R, and also a number of cases that involve Unicode properties, both |
639 |
|
explicit and implicit when PCRE_UCP is set. |
640 |
|
|
641 |
|
15. If a repeated Unicode property match (e.g. \p{Lu}*) was used with non-UTF-8 |
642 |
|
input, it could crash or give wrong results if characters with values |
643 |
|
greater than 0xc0 were present in the subject string. (Detail: it assumed |
644 |
|
UTF-8 input when processing these items.) |
645 |
|
|
646 |
|
16. Added a lot of (int) casts to avoid compiler warnings in systems where |
647 |
|
size_t is 64-bit (#991). |
648 |
|
|
649 |
|
17. Added a check for running out of memory when PCRE is compiled with |
650 |
|
--disable-stack-for-recursion (#990). |
651 |
|
|
652 |
|
18. If the last data line in a file for pcretest does not have a newline on |
653 |
|
the end, a newline was missing in the output. |
654 |
|
|
655 |
|
19. The default pcre_chartables.c file recognizes only ASCII characters (values |
656 |
|
less than 128) in its various bitmaps. However, there is a facility for |
657 |
|
generating tables according to the current locale when PCRE is compiled. It |
658 |
|
turns out that in some environments, 0x85 and 0xa0, which are Unicode space |
659 |
|
characters, are recognized by isspace() and therefore were getting set in |
660 |
|
these tables, and indeed these tables seem to approximate to ISO 8859. This |
661 |
|
caused a problem in UTF-8 mode when pcre_study() was used to create a list |
662 |
|
of bytes that can start a match. For \s, it was including 0x85 and 0xa0, |
663 |
|
which of course cannot start UTF-8 characters. I have changed the code so |
664 |
|
that only real ASCII characters (less than 128) and the correct starting |
665 |
|
bytes for UTF-8 encodings are set for characters greater than 127 when in |
666 |
|
UTF-8 mode. (When PCRE_UCP is set - see 9 above - the code is different |
667 |
|
altogether.) |
668 |
|
|
669 |
|
20. Added the /T option to pcretest so as to be able to run tests with non- |
670 |
|
standard character tables, thus making it possible to include the tests |
671 |
|
used for 19 above in the standard set of tests. |
672 |
|
|
673 |
|
21. A pattern such as (?&t)(?#()(?(DEFINE)(?<t>a)) which has a forward |
674 |
|
reference to a subpattern the other side of a comment that contains an |
675 |
|
opening parenthesis caused either an internal compiling error, or a |
676 |
|
reference to the wrong subpattern. |
677 |
|
|
678 |
|
|
679 |
|
Version 8.02 19-Mar-2010 |
680 |
|
------------------------ |
681 |
|
|
682 |
|
1. The Unicode data tables have been updated to Unicode 5.2.0. |
683 |
|
|
684 |
|
2. Added the option --libs-cpp to pcre-config, but only when C++ support is |
685 |
|
configured. |
686 |
|
|
687 |
|
3. Updated the licensing terms in the pcregexp.pas file, as agreed with the |
688 |
|
original author of that file, following a query about its status. |
689 |
|
|
690 |
|
4. On systems that do not have stdint.h (e.g. Solaris), check for and include |
691 |
|
inttypes.h instead. This fixes a bug that was introduced by change 8.01/8. |
692 |
|
|
693 |
|
5. A pattern such as (?&t)*+(?(DEFINE)(?<t>.)) which has a possessive |
694 |
|
quantifier applied to a forward-referencing subroutine call, could compile |
695 |
|
incorrect code or give the error "internal error: previously-checked |
696 |
|
referenced subpattern not found". |
697 |
|
|
698 |
|
6. Both MS Visual Studio and Symbian OS have problems with initializing |
699 |
|
variables to point to external functions. For these systems, therefore, |
700 |
|
pcre_malloc etc. are now initialized to local functions that call the |
701 |
|
relevant global functions. |
702 |
|
|
703 |
|
7. There were two entries missing in the vectors called coptable and poptable |
704 |
|
in pcre_dfa_exec.c. This could lead to memory accesses outsize the vectors. |
705 |
|
I've fixed the data, and added a kludgy way of testing at compile time that |
706 |
|
the lengths are correct (equal to the number of opcodes). |
707 |
|
|
708 |
|
8. Following on from 7, I added a similar kludge to check the length of the |
709 |
|
eint vector in pcreposix.c. |
710 |
|
|
711 |
|
9. Error texts for pcre_compile() are held as one long string to avoid too |
712 |
|
much relocation at load time. To find a text, the string is searched, |
713 |
|
counting zeros. There was no check for running off the end of the string, |
714 |
|
which could happen if a new error number was added without updating the |
715 |
|
string. |
716 |
|
|
717 |
|
10. \K gave a compile-time error if it appeared in a lookbehind assersion. |
718 |
|
|
719 |
|
11. \K was not working if it appeared in an atomic group or in a group that |
720 |
|
was called as a "subroutine", or in an assertion. Perl 5.11 documents that |
721 |
|
\K is "not well defined" if used in an assertion. PCRE now accepts it if |
722 |
|
the assertion is positive, but not if it is negative. |
723 |
|
|
724 |
|
12. Change 11 fortuitously reduced the size of the stack frame used in the |
725 |
|
"match()" function of pcre_exec.c by one pointer. Forthcoming |
726 |
|
implementation of support for (*MARK) will need an extra pointer on the |
727 |
|
stack; I have reserved it now, so that the stack frame size does not |
728 |
|
decrease. |
729 |
|
|
730 |
|
13. A pattern such as (?P<L1>(?P<L2>0)|(?P>L2)(?P>L1)) in which the only other |
731 |
|
item in branch that calls a recursion is a subroutine call - as in the |
732 |
|
second branch in the above example - was incorrectly given the compile- |
733 |
|
time error "recursive call could loop indefinitely" because pcre_compile() |
734 |
|
was not correctly checking the subroutine for matching a non-empty string. |
735 |
|
|
736 |
|
14. The checks for overrunning compiling workspace could trigger after an |
737 |
|
overrun had occurred. This is a "should never occur" error, but it can be |
738 |
|
triggered by pathological patterns such as hundreds of nested parentheses. |
739 |
|
The checks now trigger 100 bytes before the end of the workspace. |
740 |
|
|
741 |
|
15. Fix typo in configure.ac: "srtoq" should be "strtoq". |
742 |
|
|
743 |
|
|
744 |
|
Version 8.01 19-Jan-2010 |
745 |
|
------------------------ |
746 |
|
|
747 |
|
1. If a pattern contained a conditional subpattern with only one branch (in |
748 |
|
particular, this includes all (*DEFINE) patterns), a call to pcre_study() |
749 |
|
computed the wrong minimum data length (which is of course zero for such |
750 |
|
subpatterns). This could cause incorrect "no match" results. |
751 |
|
|
752 |
|
2. For patterns such as (?i)a(?-i)b|c where an option setting at the start of |
753 |
|
the pattern is reset in the first branch, pcre_compile() failed with |
754 |
|
"internal error: code overflow at offset...". This happened only when |
755 |
|
the reset was to the original external option setting. (An optimization |
756 |
|
abstracts leading options settings into an external setting, which was the |
757 |
|
cause of this.) |
758 |
|
|
759 |
|
3. A pattern such as ^(?!a(*SKIP)b) where a negative assertion contained one |
760 |
|
of the verbs SKIP, PRUNE, or COMMIT, did not work correctly. When the |
761 |
|
assertion pattern did not match (meaning that the assertion was true), it |
762 |
|
was incorrectly treated as false if the SKIP had been reached during the |
763 |
|
matching. This also applied to assertions used as conditions. |
764 |
|
|
765 |
|
4. If an item that is not supported by pcre_dfa_exec() was encountered in an |
766 |
|
assertion subpattern, including such a pattern used as a condition, |
767 |
|
unpredictable results occurred, instead of the error return |
768 |
|
PCRE_ERROR_DFA_UITEM. |
769 |
|
|
770 |
|
5. The C++ GlobalReplace function was not working like Perl for the special |
771 |
|
situation when an empty string is matched. It now does the fancy magic |
772 |
|
stuff that is necessary. |
773 |
|
|
774 |
|
6. In pcre_internal.h, obsolete includes to setjmp.h and stdarg.h have been |
775 |
|
removed. (These were left over from very, very early versions of PCRE.) |
776 |
|
|
777 |
|
7. Some cosmetic changes to the code to make life easier when compiling it |
778 |
|
as part of something else: |
779 |
|
|
780 |
|
(a) Change DEBUG to PCRE_DEBUG. |
781 |
|
|
782 |
|
(b) In pcre_compile(), rename the member of the "branch_chain" structure |
783 |
|
called "current" as "current_branch", to prevent a collision with the |
784 |
|
Linux macro when compiled as a kernel module. |
785 |
|
|
786 |
|
(c) In pcre_study(), rename the function set_bit() as set_table_bit(), to |
787 |
|
prevent a collision with the Linux macro when compiled as a kernel |
788 |
|
module. |
789 |
|
|
790 |
|
8. In pcre_compile() there are some checks for integer overflows that used to |
791 |
|
cast potentially large values to (double). This has been changed to that |
792 |
|
when building, a check for int64_t is made, and if it is found, it is used |
793 |
|
instead, thus avoiding the use of floating point arithmetic. (There is no |
794 |
|
other use of FP in PCRE.) If int64_t is not found, the fallback is to |
795 |
|
double. |
796 |
|
|
797 |
|
9. Added two casts to avoid signed/unsigned warnings from VS Studio Express |
798 |
|
2005 (difference between two addresses compared to an unsigned value). |
799 |
|
|
800 |
|
10. Change the standard AC_CHECK_LIB test for libbz2 in configure.ac to a |
801 |
|
custom one, because of the following reported problem in Windows: |
802 |
|
|
803 |
|
- libbz2 uses the Pascal calling convention (WINAPI) for the functions |
804 |
|
under Win32. |
805 |
|
- The standard autoconf AC_CHECK_LIB fails to include "bzlib.h", |
806 |
|
therefore missing the function definition. |
807 |
|
- The compiler thus generates a "C" signature for the test function. |
808 |
|
- The linker fails to find the "C" function. |
809 |
|
- PCRE fails to configure if asked to do so against libbz2. |
810 |
|
|
811 |
|
11. When running libtoolize from libtool-2.2.6b as part of autogen.sh, these |
812 |
|
messages were output: |
813 |
|
|
814 |
|
Consider adding `AC_CONFIG_MACRO_DIR([m4])' to configure.ac and |
815 |
|
rerunning libtoolize, to keep the correct libtool macros in-tree. |
816 |
|
Consider adding `-I m4' to ACLOCAL_AMFLAGS in Makefile.am. |
817 |
|
|
818 |
|
I have done both of these things. |
819 |
|
|
820 |
|
12. Although pcre_dfa_exec() does not use nearly as much stack as pcre_exec() |
821 |
|
most of the time, it *can* run out if it is given a pattern that contains a |
822 |
|
runaway infinite recursion. I updated the discussion in the pcrestack man |
823 |
|
page. |
824 |
|
|
825 |
|
13. Now that we have gone to the x.xx style of version numbers, the minor |
826 |
|
version may start with zero. Using 08 or 09 is a bad idea because users |
827 |
|
might check the value of PCRE_MINOR in their code, and 08 or 09 may be |
828 |
|
interpreted as invalid octal numbers. I've updated the previous comment in |
829 |
|
configure.ac, and also added a check that gives an error if 08 or 09 are |
830 |
|
used. |
831 |
|
|
832 |
|
14. Change 8.00/11 was not quite complete: code had been accidentally omitted, |
833 |
|
causing partial matching to fail when the end of the subject matched \W |
834 |
|
in a UTF-8 pattern where \W was quantified with a minimum of 3. |
835 |
|
|
836 |
|
15. There were some discrepancies between the declarations in pcre_internal.h |
837 |
|
of _pcre_is_newline(), _pcre_was_newline(), and _pcre_valid_utf8() and |
838 |
|
their definitions. The declarations used "const uschar *" and the |
839 |
|
definitions used USPTR. Even though USPTR is normally defined as "const |
840 |
|
unsigned char *" (and uschar is typedeffed as "unsigned char"), it was |
841 |
|
reported that: "This difference in casting confuses some C++ compilers, for |
842 |
|
example, SunCC recognizes above declarations as different functions and |
843 |
|
generates broken code for hbpcre." I have changed the declarations to use |
844 |
|
USPTR. |
845 |
|
|
846 |
|
16. GNU libtool is named differently on some systems. The autogen.sh script now |
847 |
|
tries several variants such as glibtoolize (MacOSX) and libtoolize1x |
848 |
|
(FreeBSD). |
849 |
|
|
850 |
|
17. Applied Craig's patch that fixes an HP aCC compile error in pcre 8.00 |
851 |
|
(strtoXX undefined when compiling pcrecpp.cc). The patch contains this |
852 |
|
comment: "Figure out how to create a longlong from a string: strtoll and |
853 |
|
equivalent. It's not enough to call AC_CHECK_FUNCS: hpux has a strtoll, for |
854 |
|
instance, but it only takes 2 args instead of 3!" |
855 |
|
|
856 |
|
18. A subtle bug concerned with back references has been fixed by a change of |
857 |
|
specification, with a corresponding code fix. A pattern such as |
858 |
|
^(xa|=?\1a)+$ which contains a back reference inside the group to which it |
859 |
|
refers, was giving matches when it shouldn't. For example, xa=xaaa would |
860 |
|
match that pattern. Interestingly, Perl (at least up to 5.11.3) has the |
861 |
|
same bug. Such groups have to be quantified to be useful, or contained |
862 |
|
inside another quantified group. (If there's no repetition, the reference |
863 |
|
can never match.) The problem arises because, having left the group and |
864 |
|
moved on to the rest of the pattern, a later failure that backtracks into |
865 |
|
the group uses the captured value from the final iteration of the group |
866 |
|
rather than the correct earlier one. I have fixed this in PCRE by forcing |
867 |
|
any group that contains a reference to itself to be an atomic group; that |
868 |
|
is, there cannot be any backtracking into it once it has completed. This is |
869 |
|
similar to recursive and subroutine calls. |
870 |
|
|
871 |
|
|
872 |
|
Version 8.00 19-Oct-09 |
873 |
|
---------------------- |
874 |
|
|
875 |
|
1. The table for translating pcre_compile() error codes into POSIX error codes |
876 |
|
was out-of-date, and there was no check on the pcre_compile() error code |
877 |
|
being within the table. This could lead to an OK return being given in |
878 |
|
error. |
879 |
|
|
880 |
|
2. Changed the call to open a subject file in pcregrep from fopen(pathname, |
881 |
|
"r") to fopen(pathname, "rb"), which fixed a problem with some of the tests |
882 |
|
in a Windows environment. |
883 |
|
|
884 |
|
3. The pcregrep --count option prints the count for each file even when it is |
885 |
|
zero, as does GNU grep. However, pcregrep was also printing all files when |
886 |
|
--files-with-matches was added. Now, when both options are given, it prints |
887 |
|
counts only for those files that have at least one match. (GNU grep just |
888 |
|
prints the file name in this circumstance, but including the count seems |
889 |
|
more useful - otherwise, why use --count?) Also ensured that the |
890 |
|
combination -clh just lists non-zero counts, with no names. |
891 |
|
|
892 |
|
4. The long form of the pcregrep -F option was incorrectly implemented as |
893 |
|
--fixed_strings instead of --fixed-strings. This is an incompatible change, |
894 |
|
but it seems right to fix it, and I didn't think it was worth preserving |
895 |
|
the old behaviour. |
896 |
|
|
897 |
|
5. The command line items --regex=pattern and --regexp=pattern were not |
898 |
|
recognized by pcregrep, which required --regex pattern or --regexp pattern |
899 |
|
(with a space rather than an '='). The man page documented the '=' forms, |
900 |
|
which are compatible with GNU grep; these now work. |
901 |
|
|
902 |
|
6. No libpcreposix.pc file was created for pkg-config; there was just |
903 |
|
libpcre.pc and libpcrecpp.pc. The omission has been rectified. |
904 |
|
|
905 |
|
7. Added #ifndef SUPPORT_UCP into the pcre_ucd.c module, to reduce its size |
906 |
|
when UCP support is not needed, by modifying the Python script that |
907 |
|
generates it from Unicode data files. This should not matter if the module |
908 |
|
is correctly used as a library, but I received one complaint about 50K of |
909 |
|
unwanted data. My guess is that the person linked everything into his |
910 |
|
program rather than using a library. Anyway, it does no harm. |
911 |
|
|
912 |
|
8. A pattern such as /\x{123}{2,2}+/8 was incorrectly compiled; the trigger |
913 |
|
was a minimum greater than 1 for a wide character in a possessive |
914 |
|
repetition. The same bug could also affect patterns like /(\x{ff}{0,2})*/8 |
915 |
|
which had an unlimited repeat of a nested, fixed maximum repeat of a wide |
916 |
|
character. Chaos in the form of incorrect output or a compiling loop could |
917 |
|
result. |
918 |
|
|
919 |
|
9. The restrictions on what a pattern can contain when partial matching is |
920 |
|
requested for pcre_exec() have been removed. All patterns can now be |
921 |
|
partially matched by this function. In addition, if there are at least two |
922 |
|
slots in the offset vector, the offset of the earliest inspected character |
923 |
|
for the match and the offset of the end of the subject are set in them when |
924 |
|
PCRE_ERROR_PARTIAL is returned. |
925 |
|
|
926 |
|
10. Partial matching has been split into two forms: PCRE_PARTIAL_SOFT, which is |
927 |
|
synonymous with PCRE_PARTIAL, for backwards compatibility, and |
928 |
|
PCRE_PARTIAL_HARD, which causes a partial match to supersede a full match, |
929 |
|
and may be more useful for multi-segment matching. |
930 |
|
|
931 |
|
11. Partial matching with pcre_exec() is now more intuitive. A partial match |
932 |
|
used to be given if ever the end of the subject was reached; now it is |
933 |
|
given only if matching could not proceed because another character was |
934 |
|
needed. This makes a difference in some odd cases such as Z(*FAIL) with the |
935 |
|
string "Z", which now yields "no match" instead of "partial match". In the |
936 |
|
case of pcre_dfa_exec(), "no match" is given if every matching path for the |
937 |
|
final character ended with (*FAIL). |
938 |
|
|
939 |
|
12. Restarting a match using pcre_dfa_exec() after a partial match did not work |
940 |
|
if the pattern had a "must contain" character that was already found in the |
941 |
|
earlier partial match, unless partial matching was again requested. For |
942 |
|
example, with the pattern /dog.(body)?/, the "must contain" character is |
943 |
|
"g". If the first part-match was for the string "dog", restarting with |
944 |
|
"sbody" failed. This bug has been fixed. |
945 |
|
|
946 |
|
13. The string returned by pcre_dfa_exec() after a partial match has been |
947 |
|
changed so that it starts at the first inspected character rather than the |
948 |
|
first character of the match. This makes a difference only if the pattern |
949 |
|
starts with a lookbehind assertion or \b or \B (\K is not supported by |
950 |
|
pcre_dfa_exec()). It's an incompatible change, but it makes the two |
951 |
|
matching functions compatible, and I think it's the right thing to do. |
952 |
|
|
953 |
|
14. Added a pcredemo man page, created automatically from the pcredemo.c file, |
954 |
|
so that the demonstration program is easily available in environments where |
955 |
|
PCRE has not been installed from source. |
956 |
|
|
957 |
|
15. Arranged to add -DPCRE_STATIC to cflags in libpcre.pc, libpcreposix.cp, |
958 |
|
libpcrecpp.pc and pcre-config when PCRE is not compiled as a shared |
959 |
|
library. |
960 |
|
|
961 |
|
16. Added REG_UNGREEDY to the pcreposix interface, at the request of a user. |
962 |
|
It maps to PCRE_UNGREEDY. It is not, of course, POSIX-compatible, but it |
963 |
|
is not the first non-POSIX option to be added. Clearly some people find |
964 |
|
these options useful. |
965 |
|
|
966 |
|
17. If a caller to the POSIX matching function regexec() passes a non-zero |
967 |
|
value for nmatch with a NULL value for pmatch, the value of |
968 |
|
nmatch is forced to zero. |
969 |
|
|
970 |
|
18. RunGrepTest did not have a test for the availability of the -u option of |
971 |
|
the diff command, as RunTest does. It now checks in the same way as |
972 |
|
RunTest, and also checks for the -b option. |
973 |
|
|
974 |
|
19. If an odd number of negated classes containing just a single character |
975 |
|
interposed, within parentheses, between a forward reference to a named |
976 |
|
subpattern and the definition of the subpattern, compilation crashed with |
977 |
|
an internal error, complaining that it could not find the referenced |
978 |
|
subpattern. An example of a crashing pattern is /(?&A)(([^m])(?<A>))/. |
979 |
|
[The bug was that it was starting one character too far in when skipping |
980 |
|
over the character class, thus treating the ] as data rather than |
981 |
|
terminating the class. This meant it could skip too much.] |
982 |
|
|
983 |
|
20. Added PCRE_NOTEMPTY_ATSTART in order to be able to correctly implement the |
984 |
|
/g option in pcretest when the pattern contains \K, which makes it possible |
985 |
|
to have an empty string match not at the start, even when the pattern is |
986 |
|
anchored. Updated pcretest and pcredemo to use this option. |
987 |
|
|
988 |
|
21. If the maximum number of capturing subpatterns in a recursion was greater |
989 |
|
than the maximum at the outer level, the higher number was returned, but |
990 |
|
with unset values at the outer level. The correct (outer level) value is |
991 |
|
now given. |
992 |
|
|
993 |
|
22. If (*ACCEPT) appeared inside capturing parentheses, previous releases of |
994 |
|
PCRE did not set those parentheses (unlike Perl). I have now found a way to |
995 |
|
make it do so. The string so far is captured, making this feature |
996 |
|
compatible with Perl. |
997 |
|
|
998 |
|
23. The tests have been re-organized, adding tests 11 and 12, to make it |
999 |
|
possible to check the Perl 5.10 features against Perl 5.10. |
1000 |
|
|
1001 |
|
24. Perl 5.10 allows subroutine calls in lookbehinds, as long as the subroutine |
1002 |
|
pattern matches a fixed length string. PCRE did not allow this; now it |
1003 |
|
does. Neither allows recursion. |
1004 |
|
|
1005 |
|
25. I finally figured out how to implement a request to provide the minimum |
1006 |
|
length of subject string that was needed in order to match a given pattern. |
1007 |
|
(It was back references and recursion that I had previously got hung up |
1008 |
|
on.) This code has now been added to pcre_study(); it finds a lower bound |
1009 |
|
to the length of subject needed. It is not necessarily the greatest lower |
1010 |
|
bound, but using it to avoid searching strings that are too short does give |
1011 |
|
some useful speed-ups. The value is available to calling programs via |
1012 |
|
pcre_fullinfo(). |
1013 |
|
|
1014 |
|
26. While implementing 25, I discovered to my embarrassment that pcretest had |
1015 |
|
not been passing the result of pcre_study() to pcre_dfa_exec(), so the |
1016 |
|
study optimizations had never been tested with that matching function. |
1017 |
|
Oops. What is worse, even when it was passed study data, there was a bug in |
1018 |
|
pcre_dfa_exec() that meant it never actually used it. Double oops. There |
1019 |
|
were also very few tests of studied patterns with pcre_dfa_exec(). |
1020 |
|
|
1021 |
|
27. If (?| is used to create subpatterns with duplicate numbers, they are now |
1022 |
|
allowed to have the same name, even if PCRE_DUPNAMES is not set. However, |
1023 |
|
on the other side of the coin, they are no longer allowed to have different |
1024 |
|
names, because these cannot be distinguished in PCRE, and this has caused |
1025 |
|
confusion. (This is a difference from Perl.) |
1026 |
|
|
1027 |
|
28. When duplicate subpattern names are present (necessarily with different |
1028 |
|
numbers, as required by 27 above), and a test is made by name in a |
1029 |
|
conditional pattern, either for a subpattern having been matched, or for |
1030 |
|
recursion in such a pattern, all the associated numbered subpatterns are |
1031 |
|
tested, and the overall condition is true if the condition is true for any |
1032 |
|
one of them. This is the way Perl works, and is also more like the way |
1033 |
|
testing by number works. |
1034 |
|
|
1035 |
|
|
1036 |
|
Version 7.9 11-Apr-09 |
1037 |
|
--------------------- |
1038 |
|
|
1039 |
|
1. When building with support for bzlib/zlib (pcregrep) and/or readline |
1040 |
|
(pcretest), all targets were linked against these libraries. This included |
1041 |
|
libpcre, libpcreposix, and libpcrecpp, even though they do not use these |
1042 |
|
libraries. This caused unwanted dependencies to be created. This problem |
1043 |
|
has been fixed, and now only pcregrep is linked with bzlib/zlib and only |
1044 |
|
pcretest is linked with readline. |
1045 |
|
|
1046 |
|
2. The "typedef int BOOL" in pcre_internal.h that was included inside the |
1047 |
|
"#ifndef FALSE" condition by an earlier change (probably 7.8/18) has been |
1048 |
|
moved outside it again, because FALSE and TRUE are already defined in AIX, |
1049 |
|
but BOOL is not. |
1050 |
|
|
1051 |
|
3. The pcre_config() function was treating the PCRE_MATCH_LIMIT and |
1052 |
|
PCRE_MATCH_LIMIT_RECURSION values as ints, when they should be long ints. |
1053 |
|
|
1054 |
|
4. The pcregrep documentation said spaces were inserted as well as colons (or |
1055 |
|
hyphens) following file names and line numbers when outputting matching |
1056 |
|
lines. This is not true; no spaces are inserted. I have also clarified the |
1057 |
|
wording for the --colour (or --color) option. |
1058 |
|
|
1059 |
|
5. In pcregrep, when --colour was used with -o, the list of matching strings |
1060 |
|
was not coloured; this is different to GNU grep, so I have changed it to be |
1061 |
|
the same. |
1062 |
|
|
1063 |
|
6. When --colo(u)r was used in pcregrep, only the first matching substring in |
1064 |
|
each matching line was coloured. Now it goes on to look for further matches |
1065 |
|
of any of the test patterns, which is the same behaviour as GNU grep. |
1066 |
|
|
1067 |
|
7. A pattern that could match an empty string could cause pcregrep to loop; it |
1068 |
|
doesn't make sense to accept an empty string match in pcregrep, so I have |
1069 |
|
locked it out (using PCRE's PCRE_NOTEMPTY option). By experiment, this |
1070 |
|
seems to be how GNU grep behaves. |
1071 |
|
|
1072 |
|
8. The pattern (?(?=.*b)b|^) was incorrectly compiled as "match must be at |
1073 |
|
start or after a newline", because the conditional assertion was not being |
1074 |
|
correctly handled. The rule now is that both the assertion and what follows |
1075 |
|
in the first alternative must satisfy the test. |
1076 |
|
|
1077 |
|
9. If auto-callout was enabled in a pattern with a conditional group whose |
1078 |
|
condition was an assertion, PCRE could crash during matching, both with |
1079 |
|
pcre_exec() and pcre_dfa_exec(). |
1080 |
|
|
1081 |
|
10. The PCRE_DOLLAR_ENDONLY option was not working when pcre_dfa_exec() was |
1082 |
|
used for matching. |
1083 |
|
|
1084 |
|
11. Unicode property support in character classes was not working for |
1085 |
|
characters (bytes) greater than 127 when not in UTF-8 mode. |
1086 |
|
|
1087 |
|
12. Added the -M command line option to pcretest. |
1088 |
|
|
1089 |
|
14. Added the non-standard REG_NOTEMPTY option to the POSIX interface. |
1090 |
|
|
1091 |
|
15. Added the PCRE_NO_START_OPTIMIZE match-time option. |
1092 |
|
|
1093 |
|
16. Added comments and documentation about mis-use of no_arg in the C++ |
1094 |
|
wrapper. |
1095 |
|
|
1096 |
|
17. Implemented support for UTF-8 encoding in EBCDIC environments, a patch |
1097 |
|
from Martin Jerabek that uses macro names for all relevant character and |
1098 |
|
string constants. |
1099 |
|
|
1100 |
|
18. Added to pcre_internal.h two configuration checks: (a) If both EBCDIC and |
1101 |
|
SUPPORT_UTF8 are set, give an error; (b) If SUPPORT_UCP is set without |
1102 |
|
SUPPORT_UTF8, define SUPPORT_UTF8. The "configure" script handles both of |
1103 |
|
these, but not everybody uses configure. |
1104 |
|
|
1105 |
|
19. A conditional group that had only one branch was not being correctly |
1106 |
|
recognized as an item that could match an empty string. This meant that an |
1107 |
|
enclosing group might also not be so recognized, causing infinite looping |
1108 |
|
(and probably a segfault) for patterns such as ^"((?(?=[a])[^"])|b)*"$ |
1109 |
|
with the subject "ab", where knowledge that the repeated group can match |
1110 |
|
nothing is needed in order to break the loop. |
1111 |
|
|
1112 |
|
20. If a pattern that was compiled with callouts was matched using pcre_dfa_ |
1113 |
|
exec(), but without supplying a callout function, matching went wrong. |
1114 |
|
|
1115 |
|
21. If PCRE_ERROR_MATCHLIMIT occurred during a recursion, there was a memory |
1116 |
|
leak if the size of the offset vector was greater than 30. When the vector |
1117 |
|
is smaller, the saved offsets during recursion go onto a local stack |
1118 |
|
vector, but for larger vectors malloc() is used. It was failing to free |
1119 |
|
when the recursion yielded PCRE_ERROR_MATCH_LIMIT (or any other "abnormal" |
1120 |
|
error, in fact). |
1121 |
|
|
1122 |
|
22. There was a missing #ifdef SUPPORT_UTF8 round one of the variables in the |
1123 |
|
heapframe that is used only when UTF-8 support is enabled. This caused no |
1124 |
|
problem, but was untidy. |
1125 |
|
|
1126 |
|
23. Steven Van Ingelgem's patch to CMakeLists.txt to change the name |
1127 |
|
CMAKE_BINARY_DIR to PROJECT_BINARY_DIR so that it works when PCRE is |
1128 |
|
included within another project. |
1129 |
|
|
1130 |
|
24. Steven Van Ingelgem's patches to add more options to the CMake support, |
1131 |
|
slightly modified by me: |
1132 |
|
|
1133 |
|
(a) PCRE_BUILD_TESTS can be set OFF not to build the tests, including |
1134 |
|
not building pcregrep. |
1135 |
|
|
1136 |
|
(b) PCRE_BUILD_PCREGREP can be see OFF not to build pcregrep, but only |
1137 |
|
if PCRE_BUILD_TESTS is also set OFF, because the tests use pcregrep. |
1138 |
|
|
1139 |
|
25. Forward references, both numeric and by name, in patterns that made use of |
1140 |
|
duplicate group numbers, could behave incorrectly or give incorrect errors, |
1141 |
|
because when scanning forward to find the reference group, PCRE was not |
1142 |
|
taking into account the duplicate group numbers. A pattern such as |
1143 |
|
^X(?3)(a)(?|(b)|(q))(Y) is an example. |
1144 |
|
|
1145 |
|
26. Changed a few more instances of "const unsigned char *" to USPTR, making |
1146 |
|
the feature of a custom pointer more persuasive (as requested by a user). |
1147 |
|
|
1148 |
|
27. Wrapped the definitions of fileno and isatty for Windows, which appear in |
1149 |
|
pcretest.c, inside #ifndefs, because it seems they are sometimes already |
1150 |
|
pre-defined. |
1151 |
|
|
1152 |
|
28. Added support for (*UTF8) at the start of a pattern. |
1153 |
|
|
1154 |
|
29. Arrange for flags added by the "release type" setting in CMake to be shown |
1155 |
|
in the configuration summary. |
1156 |
|
|
1157 |
|
|
1158 |
|
Version 7.8 05-Sep-08 |
1159 |
|
--------------------- |
1160 |
|
|
1161 |
|
1. Replaced UCP searching code with optimized version as implemented for Ad |
1162 |
|
Muncher (http://www.admuncher.com/) by Peter Kankowski. This uses a two- |
1163 |
|
stage table and inline lookup instead of a function, giving speed ups of 2 |
1164 |
|
to 5 times on some simple patterns that I tested. Permission was given to |
1165 |
|
distribute the MultiStage2.py script that generates the tables (it's not in |
1166 |
|
the tarball, but is in the Subversion repository). |
1167 |
|
|
1168 |
|
2. Updated the Unicode datatables to Unicode 5.1.0. This adds yet more |
1169 |
|
scripts. |
1170 |
|
|
1171 |
|
3. Change 12 for 7.7 introduced a bug in pcre_study() when a pattern contained |
1172 |
|
a group with a zero qualifier. The result of the study could be incorrect, |
1173 |
|
or the function might crash, depending on the pattern. |
1174 |
|
|
1175 |
|
4. Caseless matching was not working for non-ASCII characters in back |
1176 |
|
references. For example, /(\x{de})\1/8i was not matching \x{de}\x{fe}. |
1177 |
|
It now works when Unicode Property Support is available. |
1178 |
|
|
1179 |
|
5. In pcretest, an escape such as \x{de} in the data was always generating |
1180 |
|
a UTF-8 string, even in non-UTF-8 mode. Now it generates a single byte in |
1181 |
|
non-UTF-8 mode. If the value is greater than 255, it gives a warning about |
1182 |
|
truncation. |
1183 |
|
|
1184 |
|
6. Minor bugfix in pcrecpp.cc (change "" == ... to NULL == ...). |
1185 |
|
|
1186 |
|
7. Added two (int) casts to pcregrep when printing the difference of two |
1187 |
|
pointers, in case they are 64-bit values. |
1188 |
|
|
1189 |
|
8. Added comments about Mac OS X stack usage to the pcrestack man page and to |
1190 |
|
test 2 if it fails. |
1191 |
|
|
1192 |
|
9. Added PCRE_CALL_CONVENTION just before the names of all exported functions, |
1193 |
|
and a #define of that name to empty if it is not externally set. This is to |
1194 |
|
allow users of MSVC to set it if necessary. |
1195 |
|
|
1196 |
|
10. The PCRE_EXP_DEFN macro which precedes exported functions was missing from |
1197 |
|
the convenience functions in the pcre_get.c source file. |
1198 |
|
|
1199 |
|
11. An option change at the start of a pattern that had top-level alternatives |
1200 |
|
could cause overwriting and/or a crash. This command provoked a crash in |
1201 |
|
some environments: |
1202 |
|
|
1203 |
|
printf "/(?i)[\xc3\xa9\xc3\xbd]|[\xc3\xa9\xc3\xbdA]/8\n" | pcretest |
1204 |
|
|
1205 |
|
This potential security problem was recorded as CVE-2008-2371. |
1206 |
|
|
1207 |
|
12. For a pattern where the match had to start at the beginning or immediately |
1208 |
|
after a newline (e.g /.*anything/ without the DOTALL flag), pcre_exec() and |
1209 |
|
pcre_dfa_exec() could read past the end of the passed subject if there was |
1210 |
|
no match. To help with detecting such bugs (e.g. with valgrind), I modified |
1211 |
|
pcretest so that it places the subject at the end of its malloc-ed buffer. |
1212 |
|
|
1213 |
|
13. The change to pcretest in 12 above threw up a couple more cases when pcre_ |
1214 |
|
exec() might read past the end of the data buffer in UTF-8 mode. |
1215 |
|
|
1216 |
|
14. A similar bug to 7.3/2 existed when the PCRE_FIRSTLINE option was set and |
1217 |
|
the data contained the byte 0x85 as part of a UTF-8 character within its |
1218 |
|
first line. This applied both to normal and DFA matching. |
1219 |
|
|
1220 |
|
15. Lazy qualifiers were not working in some cases in UTF-8 mode. For example, |
1221 |
|
/^[^d]*?$/8 failed to match "abc". |
1222 |
|
|
1223 |
|
16. Added a missing copyright notice to pcrecpp_internal.h. |
1224 |
|
|
1225 |
|
17. Make it more clear in the documentation that values returned from |
1226 |
|
pcre_exec() in ovector are byte offsets, not character counts. |
1227 |
|
|
1228 |
|
18. Tidied a few places to stop certain compilers from issuing warnings. |
1229 |
|
|
1230 |
|
19. Updated the Virtual Pascal + BCC files to compile the latest v7.7, as |
1231 |
|
supplied by Stefan Weber. I made a further small update for 7.8 because |
1232 |
|
there is a change of source arrangements: the pcre_searchfuncs.c module is |
1233 |
|
replaced by pcre_ucd.c. |
1234 |
|
|
1235 |
|
|
1236 |
|
Version 7.7 07-May-08 |
1237 |
|
--------------------- |
1238 |
|
|
1239 |
|
1. Applied Craig's patch to sort out a long long problem: "If we can't convert |
1240 |
|
a string to a long long, pretend we don't even have a long long." This is |
1241 |
|
done by checking for the strtoq, strtoll, and _strtoi64 functions. |
1242 |
|
|
1243 |
|
2. Applied Craig's patch to pcrecpp.cc to restore ABI compatibility with |
1244 |
|
pre-7.6 versions, which defined a global no_arg variable instead of putting |
1245 |
|
it in the RE class. (See also #8 below.) |
1246 |
|
|
1247 |
|
3. Remove a line of dead code, identified by coverity and reported by Nuno |
1248 |
|
Lopes. |
1249 |
|
|
1250 |
|
4. Fixed two related pcregrep bugs involving -r with --include or --exclude: |
1251 |
|
|
1252 |
|
(1) The include/exclude patterns were being applied to the whole pathnames |
1253 |
|
of files, instead of just to the final components. |
1254 |
|
|
1255 |
|
(2) If there was more than one level of directory, the subdirectories were |
1256 |
|
skipped unless they satisfied the include/exclude conditions. This is |
1257 |
|
inconsistent with GNU grep (and could even be seen as contrary to the |
1258 |
|
pcregrep specification - which I improved to make it absolutely clear). |
1259 |
|
The action now is always to scan all levels of directory, and just |
1260 |
|
apply the include/exclude patterns to regular files. |
1261 |
|
|
1262 |
|
5. Added the --include_dir and --exclude_dir patterns to pcregrep, and used |
1263 |
|
--exclude_dir in the tests to avoid scanning .svn directories. |
1264 |
|
|
1265 |
|
6. Applied Craig's patch to the QuoteMeta function so that it escapes the |
1266 |
|
NUL character as backslash + 0 rather than backslash + NUL, because PCRE |
1267 |
|
doesn't support NULs in patterns. |
1268 |
|
|
1269 |
|
7. Added some missing "const"s to declarations of static tables in |
1270 |
|
pcre_compile.c and pcre_dfa_exec.c. |
1271 |
|
|
1272 |
|
8. Applied Craig's patch to pcrecpp.cc to fix a problem in OS X that was |
1273 |
|
caused by fix #2 above. (Subsequently also a second patch to fix the |
1274 |
|
first patch. And a third patch - this was a messy problem.) |
1275 |
|
|
1276 |
|
9. Applied Craig's patch to remove the use of push_back(). |
1277 |
|
|
1278 |
|
10. Applied Alan Lehotsky's patch to add REG_STARTEND support to the POSIX |
1279 |
|
matching function regexec(). |
1280 |
|
|
1281 |
|
11. Added support for the Oniguruma syntax \g<name>, \g<n>, \g'name', \g'n', |
1282 |
|
which, however, unlike Perl's \g{...}, are subroutine calls, not back |
1283 |
|
references. PCRE supports relative numbers with this syntax (I don't think |
1284 |
|
Oniguruma does). |
1285 |
|
|
1286 |
|
12. Previously, a group with a zero repeat such as (...){0} was completely |
1287 |
|
omitted from the compiled regex. However, this means that if the group |
1288 |
|
was called as a subroutine from elsewhere in the pattern, things went wrong |
1289 |
|
(an internal error was given). Such groups are now left in the compiled |
1290 |
|
pattern, with a new opcode that causes them to be skipped at execution |
1291 |
|
time. |
1292 |
|
|
1293 |
|
13. Added the PCRE_JAVASCRIPT_COMPAT option. This makes the following changes |
1294 |
|
to the way PCRE behaves: |
1295 |
|
|
1296 |
|
(a) A lone ] character is dis-allowed (Perl treats it as data). |
1297 |
|
|
1298 |
|
(b) A back reference to an unmatched subpattern matches an empty string |
1299 |
|
(Perl fails the current match path). |
1300 |
|
|
1301 |
|
(c) A data ] in a character class must be notated as \] because if the |
1302 |
|
first data character in a class is ], it defines an empty class. (In |
1303 |
|
Perl it is not possible to have an empty class.) The empty class [] |
1304 |
|
never matches; it forces failure and is equivalent to (*FAIL) or (?!). |
1305 |
|
The negative empty class [^] matches any one character, independently |
1306 |
|
of the DOTALL setting. |
1307 |
|
|
1308 |
|
14. A pattern such as /(?2)[]a()b](abc)/ which had a forward reference to a |
1309 |
|
non-existent subpattern following a character class starting with ']' and |
1310 |
|
containing () gave an internal compiling error instead of "reference to |
1311 |
|
non-existent subpattern". Fortunately, when the pattern did exist, the |
1312 |
|
compiled code was correct. (When scanning forwards to check for the |
1313 |
|
existencd of the subpattern, it was treating the data ']' as terminating |
1314 |
|
the class, so got the count wrong. When actually compiling, the reference |
1315 |
|
was subsequently set up correctly.) |
1316 |
|
|
1317 |
|
15. The "always fail" assertion (?!) is optimzed to (*FAIL) by pcre_compile; |
1318 |
|
it was being rejected as not supported by pcre_dfa_exec(), even though |
1319 |
|
other assertions are supported. I have made pcre_dfa_exec() support |
1320 |
|
(*FAIL). |
1321 |
|
|
1322 |
|
16. The implementation of 13c above involved the invention of a new opcode, |
1323 |
|
OP_ALLANY, which is like OP_ANY but doesn't check the /s flag. Since /s |
1324 |
|
cannot be changed at match time, I realized I could make a small |
1325 |
|
improvement to matching performance by compiling OP_ALLANY instead of |
1326 |
|
OP_ANY for "." when DOTALL was set, and then removing the runtime tests |
1327 |
|
on the OP_ANY path. |
1328 |
|
|
1329 |
|
17. Compiling pcretest on Windows with readline support failed without the |
1330 |
|
following two fixes: (1) Make the unistd.h include conditional on |
1331 |
|
HAVE_UNISTD_H; (2) #define isatty and fileno as _isatty and _fileno. |
1332 |
|
|
1333 |
|
18. Changed CMakeLists.txt and cmake/FindReadline.cmake to arrange for the |
1334 |
|
ncurses library to be included for pcretest when ReadLine support is |
1335 |
|
requested, but also to allow for it to be overridden. This patch came from |
1336 |
|
Daniel Bergström. |
1337 |
|
|
1338 |
|
19. There was a typo in the file ucpinternal.h where f0_rangeflag was defined |
1339 |
|
as 0x00f00000 instead of 0x00800000. Luckily, this would not have caused |
1340 |
|
any errors with the current Unicode tables. Thanks to Peter Kankowski for |
1341 |
|
spotting this. |
1342 |
|
|
1343 |
|
|
1344 |
|
Version 7.6 28-Jan-08 |
1345 |
|
--------------------- |
1346 |
|
|
1347 |
|
1. A character class containing a very large number of characters with |
1348 |
|
codepoints greater than 255 (in UTF-8 mode, of course) caused a buffer |
1349 |
|
overflow. |
1350 |
|
|
1351 |
|
2. Patch to cut out the "long long" test in pcrecpp_unittest when |
1352 |
|
HAVE_LONG_LONG is not defined. |
1353 |
|
|
1354 |
|
3. Applied Christian Ehrlicher's patch to update the CMake build files to |
1355 |
|
bring them up to date and include new features. This patch includes: |
1356 |
|
|
1357 |
|
- Fixed PH's badly added libz and libbz2 support. |
1358 |
|
- Fixed a problem with static linking. |
1359 |
|
- Added pcredemo. [But later removed - see 7 below.] |
1360 |
|
- Fixed dftables problem and added an option. |
1361 |
|
- Added a number of HAVE_XXX tests, including HAVE_WINDOWS_H and |
1362 |
|
HAVE_LONG_LONG. |
1363 |
|
- Added readline support for pcretest. |
1364 |
|
- Added an listing of the option settings after cmake has run. |
1365 |
|
|
1366 |
|
4. A user submitted a patch to Makefile that makes it easy to create |
1367 |
|
"pcre.dll" under mingw when using Configure/Make. I added stuff to |
1368 |
|
Makefile.am that cause it to include this special target, without |
1369 |
|
affecting anything else. Note that the same mingw target plus all |
1370 |
|
the other distribution libraries and programs are now supported |
1371 |
|
when configuring with CMake (see 6 below) instead of with |
1372 |
|
Configure/Make. |
1373 |
|
|
1374 |
|
5. Applied Craig's patch that moves no_arg into the RE class in the C++ code. |
1375 |
|
This is an attempt to solve the reported problem "pcrecpp::no_arg is not |
1376 |
|
exported in the Windows port". It has not yet been confirmed that the patch |
1377 |
|
solves the problem, but it does no harm. |
1378 |
|
|
1379 |
|
6. Applied Sheri's patch to CMakeLists.txt to add NON_STANDARD_LIB_PREFIX and |
1380 |
|
NON_STANDARD_LIB_SUFFIX for dll names built with mingw when configured |
1381 |
|
with CMake, and also correct the comment about stack recursion. |
1382 |
|
|
1383 |
|
7. Remove the automatic building of pcredemo from the ./configure system and |
1384 |
|
from CMakeLists.txt. The whole idea of pcredemo.c is that it is an example |
1385 |
|
of a program that users should build themselves after PCRE is installed, so |
1386 |
|
building it automatically is not really right. What is more, it gave |
1387 |
|
trouble in some build environments. |
1388 |
|
|
1389 |
|
8. Further tidies to CMakeLists.txt from Sheri and Christian. |
1390 |
|
|
1391 |
|
|
1392 |
|
Version 7.5 10-Jan-08 |
1393 |
--------------------- |
--------------------- |
1394 |
|
|
1395 |
1. Applied a patch from Craig: "This patch makes it possible to 'ignore' |
1. Applied a patch from Craig: "This patch makes it possible to 'ignore' |
1396 |
values in parens when parsing an RE using the C++ wrapper." |
values in parens when parsing an RE using the C++ wrapper." |
1397 |
|
|
1398 |
2. Negative specials like \S did not work in character classes in UTF-8 mode. |
2. Negative specials like \S did not work in character classes in UTF-8 mode. |
1399 |
Characters greater than 255 were excluded from the class instead of being |
Characters greater than 255 were excluded from the class instead of being |
1400 |
included. |
included. |
1401 |
|
|
1402 |
3. The same bug as (2) above applied to negated POSIX classes such as |
3. The same bug as (2) above applied to negated POSIX classes such as |
1403 |
[:^space:]. |
[:^space:]. |
1404 |
|
|
1405 |
4. PCRECPP_STATIC was referenced in pcrecpp_internal.h, but nowhere was it |
4. PCRECPP_STATIC was referenced in pcrecpp_internal.h, but nowhere was it |
1406 |
defined or documented. It seems to have been a typo for PCRE_STATIC, so |
defined or documented. It seems to have been a typo for PCRE_STATIC, so |
1407 |
I have changed it. |
I have changed it. |
1408 |
|
|
1409 |
5. The construct (?&) was not diagnosed as a syntax error (it referenced the |
5. The construct (?&) was not diagnosed as a syntax error (it referenced the |
1410 |
first named subpattern) and a construct such as (?&a) would reference the |
first named subpattern) and a construct such as (?&a) would reference the |
1411 |
first named subpattern whose name started with "a" (in other words, the |
first named subpattern whose name started with "a" (in other words, the |
1412 |
length check was missing). Both these problems are fixed. "Subpattern name |
length check was missing). Both these problems are fixed. "Subpattern name |
1413 |
expected" is now given for (?&) (a zero-length name), and this patch also |
expected" is now given for (?&) (a zero-length name), and this patch also |
1414 |
makes it give the same error for \k'' (previously it complained that that |
makes it give the same error for \k'' (previously it complained that that |
1415 |
was a reference to a non-existent subpattern). |
was a reference to a non-existent subpattern). |
1416 |
|
|
1417 |
6. The erroneous patterns (?+-a) and (?-+a) give different error messages; |
6. The erroneous patterns (?+-a) and (?-+a) give different error messages; |
1418 |
this is right because (?- can be followed by option settings as well as by |
this is right because (?- can be followed by option settings as well as by |
1419 |
digits. I have, however, made the messages clearer. |
digits. I have, however, made the messages clearer. |
1420 |
|
|
1421 |
7. Patterns such as (?(1)a|b) (a pattern that contains fewer subpatterns |
7. Patterns such as (?(1)a|b) (a pattern that contains fewer subpatterns |
1422 |
than the number used in the conditional) now cause a compile-time error. |
than the number used in the conditional) now cause a compile-time error. |
1423 |
This is actually not compatible with Perl, which accepts such patterns, but |
This is actually not compatible with Perl, which accepts such patterns, but |
1424 |
treats the conditional as always being FALSE (as PCRE used to), but it |
treats the conditional as always being FALSE (as PCRE used to), but it |
1425 |
seems to me that giving a diagnostic is better. |
seems to me that giving a diagnostic is better. |
1426 |
|
|
1427 |
8. Change "alphameric" to the more common word "alphanumeric" in comments |
8. Change "alphameric" to the more common word "alphanumeric" in comments |
1428 |
and messages. |
and messages. |
1429 |
|
|
1430 |
9. Fix two occurrences of "backslash" in comments that should have been |
9. Fix two occurrences of "backslash" in comments that should have been |
1431 |
"backspace". |
"backspace". |
1432 |
|
|
1433 |
10. Remove two redundant lines of code that can never be obeyed (their function |
10. Remove two redundant lines of code that can never be obeyed (their function |
1434 |
was moved elsewhere). |
was moved elsewhere). |
1435 |
|
|
1436 |
11. The program that makes PCRE's Unicode character property table had a bug |
11. The program that makes PCRE's Unicode character property table had a bug |
1437 |
which caused it to generate incorrect table entries for sequences of |
which caused it to generate incorrect table entries for sequences of |
1438 |
characters that have the same character type, but are in different scripts. |
characters that have the same character type, but are in different scripts. |
1439 |
It amalgamated them into a single range, with the script of the first of |
It amalgamated them into a single range, with the script of the first of |
1440 |
them. In other words, some characters were in the wrong script. There were |
them. In other words, some characters were in the wrong script. There were |
1441 |
thirteen such cases, affecting characters in the following ranges: |
thirteen such cases, affecting characters in the following ranges: |
1442 |
|
|
1443 |
U+002b0 - U+002c1 |
U+002b0 - U+002c1 |
1444 |
U+0060c - U+0060d |
U+0060c - U+0060d |
1445 |
U+0061e - U+00612 |
U+0061e - U+00612 |
1446 |
U+0064b - U+0065e |
U+0064b - U+0065e |
1447 |
U+0074d - U+0076d |
U+0074d - U+0076d |
1448 |
U+01800 - U+01805 |
U+01800 - U+01805 |
1453 |
U+03260 - U+0327f |
U+03260 - U+0327f |
1454 |
U+0fb46 - U+0fbb1 |
U+0fb46 - U+0fbb1 |
1455 |
U+10450 - U+1049d |
U+10450 - U+1049d |
1456 |
|
|
1457 |
12. The -o option (show only the matching part of a line) for pcregrep was not |
12. The -o option (show only the matching part of a line) for pcregrep was not |
1458 |
compatible with GNU grep in that, if there was more than one match in a |
compatible with GNU grep in that, if there was more than one match in a |
1459 |
line, it showed only the first of them. It now behaves in the same way as |
line, it showed only the first of them. It now behaves in the same way as |
1460 |
GNU grep. |
GNU grep. |
1461 |
|
|
1462 |
13. If the -o and -v options were combined for pcregrep, it printed a blank |
13. If the -o and -v options were combined for pcregrep, it printed a blank |
1463 |
line for every non-matching line. GNU grep prints nothing, and pcregrep now |
line for every non-matching line. GNU grep prints nothing, and pcregrep now |
1464 |
does the same. The return code can be used to tell if there were any |
does the same. The return code can be used to tell if there were any |
1465 |
non-matching lines. |
non-matching lines. |
1466 |
|
|
1467 |
14. The pattern (?=something)(?R) was not being diagnosed as a potentially |
14. Added --file-offsets and --line-offsets to pcregrep. |
1468 |
|
|
1469 |
|
15. The pattern (?=something)(?R) was not being diagnosed as a potentially |
1470 |
infinitely looping recursion. The bug was that positive lookaheads were not |
infinitely looping recursion. The bug was that positive lookaheads were not |
1471 |
being skipped when checking for a possible empty match (negative lookaheads |
being skipped when checking for a possible empty match (negative lookaheads |
1472 |
and both kinds of lookbehind were skipped). |
and both kinds of lookbehind were skipped). |
1473 |
|
|
1474 |
15. Fixed two typos in the Windows-only code in pcregrep.c, and moved the |
16. Fixed two typos in the Windows-only code in pcregrep.c, and moved the |
1475 |
inclusion of <windows.h> to before rather than after the definition of |
inclusion of <windows.h> to before rather than after the definition of |
1476 |
INVALID_FILE_ATTRIBUTES (patch from David Byron). |
INVALID_FILE_ATTRIBUTES (patch from David Byron). |
1477 |
|
|
1478 |
16. Specifying a possessive quantifier with a specific limit for a Unicode |
17. Specifying a possessive quantifier with a specific limit for a Unicode |
1479 |
character property caused pcre_compile() to compile bad code, which led at |
character property caused pcre_compile() to compile bad code, which led at |
1480 |
runtime to PCRE_ERROR_INTERNAL (-14). Examples of patterns that caused this |
runtime to PCRE_ERROR_INTERNAL (-14). Examples of patterns that caused this |
1481 |
are: /\p{Zl}{2,3}+/8 and /\p{Cc}{2}+/8. It was the possessive "+" that |
are: /\p{Zl}{2,3}+/8 and /\p{Cc}{2}+/8. It was the possessive "+" that |
1482 |
caused the error; without that there was no problem. |
caused the error; without that there was no problem. |
1483 |
|
|
1484 |
|
18. Added --enable-pcregrep-libz and --enable-pcregrep-libbz2. |
1485 |
|
|
1486 |
|
19. Added --enable-pcretest-libreadline. |
1487 |
|
|
1488 |
|
20. In pcrecpp.cc, the variable 'count' was incremented twice in |
1489 |
|
RE::GlobalReplace(). As a result, the number of replacements returned was |
1490 |
|
double what it should be. I removed one of the increments, but Craig sent a |
1491 |
|
later patch that removed the other one (the right fix) and added unit tests |
1492 |
|
that check the return values (which was not done before). |
1493 |
|
|
1494 |
|
21. Several CMake things: |
1495 |
|
|
1496 |
|
(1) Arranged that, when cmake is used on Unix, the libraries end up with |
1497 |
|
the names libpcre and libpcreposix, not just pcre and pcreposix. |
1498 |
|
|
1499 |
|
(2) The above change means that pcretest and pcregrep are now correctly |
1500 |
|
linked with the newly-built libraries, not previously installed ones. |
1501 |
|
|
1502 |
|
(3) Added PCRE_SUPPORT_LIBREADLINE, PCRE_SUPPORT_LIBZ, PCRE_SUPPORT_LIBBZ2. |
1503 |
|
|
1504 |
|
22. In UTF-8 mode, with newline set to "any", a pattern such as .*a.*=.b.* |
1505 |
|
crashed when matching a string such as a\x{2029}b (note that \x{2029} is a |
1506 |
|
UTF-8 newline character). The key issue is that the pattern starts .*; |
1507 |
|
this means that the match must be either at the beginning, or after a |
1508 |
|
newline. The bug was in the code for advancing after a failed match and |
1509 |
|
checking that the new position followed a newline. It was not taking |
1510 |
|
account of UTF-8 characters correctly. |
1511 |
|
|
1512 |
|
23. PCRE was behaving differently from Perl in the way it recognized POSIX |
1513 |
|
character classes. PCRE was not treating the sequence [:...:] as a |
1514 |
|
character class unless the ... were all letters. Perl, however, seems to |
1515 |
|
allow any characters between [: and :], though of course it rejects as |
1516 |
|
unknown any "names" that contain non-letters, because all the known class |
1517 |
|
names consist only of letters. Thus, Perl gives an error for [[:1234:]], |
1518 |
|
for example, whereas PCRE did not - it did not recognize a POSIX character |
1519 |
|
class. This seemed a bit dangerous, so the code has been changed to be |
1520 |
|
closer to Perl. The behaviour is not identical to Perl, because PCRE will |
1521 |
|
diagnose an unknown class for, for example, [[:l\ower:]] where Perl will |
1522 |
|
treat it as [[:lower:]]. However, PCRE does now give "unknown" errors where |
1523 |
|
Perl does, and where it didn't before. |
1524 |
|
|
1525 |
|
24. Rewrite so as to remove the single use of %n from pcregrep because in some |
1526 |
|
Windows environments %n is disabled by default. |
1527 |
|
|
1528 |
|
|
1529 |
Version 7.4 21-Sep-07 |
Version 7.4 21-Sep-07 |