/[pcre]/code/trunk/ChangeLog
ViewVC logotype

Diff of /code/trunk/ChangeLog

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 91 by nigel, Sat Feb 24 21:41:34 2007 UTC revision 149 by ph10, Mon Apr 16 15:28:08 2007 UTC
# Line 1  Line 1 
1  ChangeLog for PCRE  ChangeLog for PCRE
2  ------------------  ------------------
3    
4    Version 7.1 12-Mar-07
5    ---------------------
6    
7     1. Applied Bob Rossi and Daniel G's patches to convert the build system to one
8        that is more "standard", making use of automake and other Autotools. There
9        is some re-arrangement of the files and adjustment of comments consequent
10        on this.
11    
12     2. Part of the patch fixed a problem with the pcregrep tests. The test of -r
13        for recursive directory scanning broke on some systems because the files
14        are not scanned in any specific order and on different systems the order
15        was different. A call to "sort" has been inserted into RunGrepTest for the
16        approprate test as a short-term fix. In the longer term there may be an
17        alternative.
18    
19     3. I had an email from Eric Raymond about problems translating some of PCRE's
20        man pages to HTML (despite the fact that I distribute HTML pages, some
21        people do their own conversions for various reasons). The problems
22        concerned the use of low-level troff macros .br and .in. I have therefore
23        removed all such uses from the man pages (some were redundant, some could
24        be replaced by .nf/.fi pairs). The 132html script that I use to generate
25        HTML has been updated to handle .nf/.fi and to complain if it encounters
26        .br or .in.
27    
28     4. Updated comments in configure.ac that get placed in config.h.in and also
29        arranged for config.h to be included in the distribution, with the name
30        config.h.generic, for the benefit of those who have to compile without
31        Autotools (compare pcre.h, which is now distributed as pcre.h.generic).
32    
33     5. Updated the support (such as it is) for Virtual Pascal, thanks to Stefan
34        Weber: (1) pcre_internal.h was missing some function renames; (2) updated
35        makevp.bat for the current PCRE, using the additional files
36        makevp_c.txt, makevp_l.txt, and pcregexp.pas.
37    
38     6. A Windows user reported a minor discrepancy with test 2, which turned out
39        to be caused by a trailing space on an input line that had got lost in his
40        copy. The trailing space was an accident, so I've just removed it.
41    
42     7. Add -Wl,-R... flags in pcre-config.in for *BSD* systems, as I'm told
43        that is needed.
44    
45     8. Mark ucp_table (in ucptable.h) and ucp_gentype (in pcre_ucp_searchfuncs.c)
46        as "const" (a) because they are and (b) because it helps the PHP
47        maintainers who have recently made a script to detect big data structures
48        in the php code that should be moved to the .rodata section. I remembered
49        to update Builducptable as well, so it won't revert if ucptable.h is ever
50        re-created.
51    
52     9. Added some extra #ifdef SUPPORT_UTF8 conditionals into pcretest.c,
53        pcre_printint.src, pcre_compile.c, pcre_study.c, and pcre_tables.c, in
54        order to be able to cut out the UTF-8 tables in the latter when UTF-8
55        support is not required. This saves 1.5-2K of code, which is important in
56        some applications.
57    
58        Later: more #ifdefs are needed in pcre_ord2utf8.c and pcre_valid_utf8.c
59        so as not to refer to the tables, even though these functions will never be
60        called when UTF-8 support is disabled. Otherwise there are problems with a
61        shared library.
62    
63    10. Fixed two bugs in the emulated memmove() function in pcre_internal.h:
64    
65        (a) It was defining its arguments as char * instead of void *.
66    
67        (b) It was assuming that all moves were upwards in memory; this was true
68            a long time ago when I wrote it, but is no longer the case.
69    
70        The emulated memove() is provided for those environments that have neither
71        memmove() nor bcopy(). I didn't think anyone used it these days, but that
72        is clearly not the case, as these two bugs were recently reported.
73    
74    11. The script PrepareRelease is now distributed: it calls 132html, CleanTxt,
75        and Detrail to create the HTML documentation, the .txt form of the man
76        pages, and it removes trailing spaces from listed files. It also creates
77        pcre.h.generic and config.h.generic from pcre.h and config.h. In the latter
78        case, it wraps all the #defines with #ifndefs. This script should be run
79        before "make dist".
80    
81    12. Fixed two fairly obscure bugs concerned with quantified caseless matching
82        with Unicode property support.
83    
84        (a) For a maximizing quantifier, if the two different cases of the
85            character were of different lengths in their UTF-8 codings (there are
86            some cases like this - I found 11), and the matching function had to
87            back up over a mixture of the two cases, it incorrectly assumed they
88            were both the same length.
89    
90        (b) When PCRE was configured to use the heap rather than the stack for
91            recursion during matching, it was not correctly preserving the data for
92            the other case of a UTF-8 character when checking ahead for a match
93            while processing a minimizing repeat. If the check also involved
94            matching a wide character, but failed, corruption could cause an
95            erroneous result when trying to check for a repeat of the original
96            character.
97    
98    13. Some tidying changes to the testing mechanism:
99    
100        (a) The RunTest script now detects the internal link size and whether there
101            is UTF-8 and UCP support by running ./pcretest -C instead of relying on
102            values substituted by "configure". (The RunGrepTest script already did
103            this for UTF-8.) The configure.ac script no longer substitutes the
104            relevant variables.
105    
106        (b) The debugging options /B and /D in pcretest show the compiled bytecode
107            with length and offset values. This means that the output is different
108            for different internal link sizes. Test 2 is skipped for link sizes
109            other than 2 because of this, bypassing the problem. Unfortunately,
110            there was also a test in test 3 (the locale tests) that used /B and
111            failed for link sizes other than 2. Rather than cut the whole test out,
112            I have added a new /Z option to pcretest that replaces the length and
113            offset values with spaces. This is now used to make test 3 independent
114            of link size. (Test 2 will be tidied up later.)
115    
116    14. If erroroffset was passed as NULL to pcre_compile, it provoked a
117        segmentation fault instead of returning the appropriate error message.
118    
119    15. In multiline mode when the newline sequence was set to "any", the pattern
120        ^$ would give a match between the \r and \n of a subject such as "A\r\nB".
121        This doesn't seem right; it now treats the CRLF combination as the line
122        ending, and so does not match in that case. It's only a pattern such as ^$
123        that would hit this one: something like ^ABC$ would have failed after \r
124        and then tried again after \r\n.
125    
126    16. Changed the comparison command for RunGrepTest from "diff -u" to "diff -ub"
127        in an attempt to make files that differ only in their line terminators
128        compare equal. This works on Linux.
129    
130    17. Under certain error circumstances pcregrep might try to free random memory
131        as it exited. This is now fixed, thanks to valgrind.
132    
133    19. In pcretest, if the pattern /(?m)^$/g<any> was matched against the string
134        "abc\r\n\r\n", it found an unwanted second match after the second \r. This
135        was because its rules for how to advance for /g after matching an empty
136        string at the end of a line did not allow for this case. They now check for
137        it specially.
138    
139    20. pcretest is supposed to handle patterns and data of any length, by
140        extending its buffers when necessary. It was getting this wrong when the
141        buffer for a data line had to be extended.
142    
143    21. Added PCRE_NEWLINE_ANYCRLF which is like ANY, but matches only CR, LF, or
144        CRLF as a newline sequence.
145    
146    
147    Version 7.0 19-Dec-06
148    ---------------------
149    
150     1. Fixed a signed/unsigned compiler warning in pcre_compile.c, shown up by
151        moving to gcc 4.1.1.
152    
153     2. The -S option for pcretest uses setrlimit(); I had omitted to #include
154        sys/time.h, which is documented as needed for this function. It doesn't
155        seem to matter on Linux, but it showed up on some releases of OS X.
156    
157     3. It seems that there are systems where bytes whose values are greater than
158        127 match isprint() in the "C" locale. The "C" locale should be the
159        default when a C program starts up. In most systems, only ASCII printing
160        characters match isprint(). This difference caused the output from pcretest
161        to vary, making some of the tests fail. I have changed pcretest so that:
162    
163        (a) When it is outputting text in the compiled version of a pattern, bytes
164            other than 32-126 are always shown as hex escapes.
165    
166        (b) When it is outputting text that is a matched part of a subject string,
167            it does the same, unless a different locale has been set for the match
168            (using the /L modifier). In this case, it uses isprint() to decide.
169    
170     4. Fixed a major bug that caused incorrect computation of the amount of memory
171        required for a compiled pattern when options that changed within the
172        pattern affected the logic of the preliminary scan that determines the
173        length. The relevant options are -x, and -i in UTF-8 mode. The result was
174        that the computed length was too small. The symptoms of this bug were
175        either the PCRE error "internal error: code overflow" from pcre_compile(),
176        or a glibc crash with a message such as "pcretest: free(): invalid next
177        size (fast)". Examples of patterns that provoked this bug (shown in
178        pcretest format) are:
179    
180          /(?-x: )/x
181          /(?x)(?-x: \s*#\s*)/
182          /((?i)[\x{c0}])/8
183          /(?i:[\x{c0}])/8
184    
185        HOWEVER: Change 17 below makes this fix obsolete as the memory computation
186        is now done differently.
187    
188     5. Applied patches from Google to: (a) add a QuoteMeta function to the C++
189        wrapper classes; (b) implement a new function in the C++ scanner that is
190        more efficient than the old way of doing things because it avoids levels of
191        recursion in the regex matching; (c) add a paragraph to the documentation
192        for the FullMatch() function.
193    
194     6. The escape sequence \n was being treated as whatever was defined as
195        "newline". Not only was this contrary to the documentation, which states
196        that \n is character 10 (hex 0A), but it also went horribly wrong when
197        "newline" was defined as CRLF. This has been fixed.
198    
199     7. In pcre_dfa_exec.c the value of an unsigned integer (the variable called c)
200        was being set to -1 for the "end of line" case (supposedly a value that no
201        character can have). Though this value is never used (the check for end of
202        line is "zero bytes in current character"), it caused compiler complaints.
203        I've changed it to 0xffffffff.
204    
205     8. In pcre_version.c, the version string was being built by a sequence of
206        C macros that, in the event of PCRE_PRERELEASE being defined as an empty
207        string (as it is for production releases) called a macro with an empty
208        argument. The C standard says the result of this is undefined. The gcc
209        compiler treats it as an empty string (which was what was wanted) but it is
210        reported that Visual C gives an error. The source has been hacked around to
211        avoid this problem.
212    
213     9. On the advice of a Windows user, included <io.h> and <fcntl.h> in Windows
214        builds of pcretest, and changed the call to _setmode() to use _O_BINARY
215        instead of 0x8000. Made all the #ifdefs test both _WIN32 and WIN32 (not all
216        of them did).
217    
218    10. Originally, pcretest opened its input and output without "b"; then I was
219        told that "b" was needed in some environments, so it was added for release
220        5.0 to both the input and output. (It makes no difference on Unix-like
221        systems.) Later I was told that it is wrong for the input on Windows. I've
222        now abstracted the modes into two macros, to make it easier to fiddle with
223        them, and removed "b" from the input mode under Windows.
224    
225    11. Added pkgconfig support for the C++ wrapper library, libpcrecpp.
226    
227    12. Added -help and --help to pcretest as an official way of being reminded
228        of the options.
229    
230    13. Removed some redundant semicolons after macro calls in pcrecpparg.h.in
231        and pcrecpp.cc because they annoy compilers at high warning levels.
232    
233    14. A bit of tidying/refactoring in pcre_exec.c in the main bumpalong loop.
234    
235    15. Fixed an occurrence of == in configure.ac that should have been = (shell
236        scripts are not C programs :-) and which was not noticed because it works
237        on Linux.
238    
239    16. pcretest is supposed to handle any length of pattern and data line (as one
240        line or as a continued sequence of lines) by extending its input buffer if
241        necessary. This feature was broken for very long pattern lines, leading to
242        a string of junk being passed to pcre_compile() if the pattern was longer
243        than about 50K.
244    
245    17. I have done a major re-factoring of the way pcre_compile() computes the
246        amount of memory needed for a compiled pattern. Previously, there was code
247        that made a preliminary scan of the pattern in order to do this. That was
248        OK when PCRE was new, but as the facilities have expanded, it has become
249        harder and harder to keep it in step with the real compile phase, and there
250        have been a number of bugs (see for example, 4 above). I have now found a
251        cunning way of running the real compile function in a "fake" mode that
252        enables it to compute how much memory it would need, while actually only
253        ever using a few hundred bytes of working memory and without too many
254        tests of the mode. This should make future maintenance and development
255        easier. A side effect of this work is that the limit of 200 on the nesting
256        depth of parentheses has been removed (though this was never a serious
257        limitation, I suspect). However, there is a downside: pcre_compile() now
258        runs more slowly than before (30% or more, depending on the pattern). I
259        hope this isn't a big issue. There is no effect on runtime performance.
260    
261    18. Fixed a minor bug in pcretest: if a pattern line was not terminated by a
262        newline (only possible for the last line of a file) and it was a
263        pattern that set a locale (followed by /Lsomething), pcretest crashed.
264    
265    19. Added additional timing features to pcretest. (1) The -tm option now times
266        matching only, not compiling. (2) Both -t and -tm can be followed, as a
267        separate command line item, by a number that specifies the number of
268        repeats to use when timing. The default is 50000; this gives better
269        precision, but takes uncomfortably long for very large patterns.
270    
271    20. Extended pcre_study() to be more clever in cases where a branch of a
272        subpattern has no definite first character. For example, (a*|b*)[cd] would
273        previously give no result from pcre_study(). Now it recognizes that the
274        first character must be a, b, c, or d.
275    
276    21. There was an incorrect error "recursive call could loop indefinitely" if
277        a subpattern (or the entire pattern) that was being tested for matching an
278        empty string contained only one non-empty item after a nested subpattern.
279        For example, the pattern (?>\x{100}*)\d(?R) provoked this error
280        incorrectly, because the \d was being skipped in the check.
281    
282    22. The pcretest program now has a new pattern option /B and a command line
283        option -b, which is equivalent to adding /B to every pattern. This causes
284        it to show the compiled bytecode, without the additional information that
285        -d shows. The effect of -d is now the same as -b with -i (and similarly, /D
286        is the same as /B/I).
287    
288    23. A new optimization is now able automatically to treat some sequences such
289        as a*b as a*+b. More specifically, if something simple (such as a character
290        or a simple class like \d) has an unlimited quantifier, and is followed by
291        something that cannot possibly match the quantified thing, the quantifier
292        is automatically "possessified".
293    
294    24. A recursive reference to a subpattern whose number was greater than 39
295        went wrong under certain circumstances in UTF-8 mode. This bug could also
296        have affected the operation of pcre_study().
297    
298    25. Realized that a little bit of performance could be had by replacing
299        (c & 0xc0) == 0xc0 with c >= 0xc0 when processing UTF-8 characters.
300    
301    26. Timing data from pcretest is now shown to 4 decimal places instead of 3.
302    
303    27. Possessive quantifiers such as a++ were previously implemented by turning
304        them into atomic groups such as ($>a+). Now they have their own opcodes,
305        which improves performance. This includes the automatically created ones
306        from 23 above.
307    
308    28. A pattern such as (?=(\w+))\1: which simulates an atomic group using a
309        lookahead was broken if it was not anchored. PCRE was mistakenly expecting
310        the first matched character to be a colon. This applied both to named and
311        numbered groups.
312    
313    29. The ucpinternal.h header file was missing its idempotency #ifdef.
314    
315    30. I was sent a "project" file called libpcre.a.dev which I understand makes
316        building PCRE on Windows easier, so I have included it in the distribution.
317    
318    31. There is now a check in pcretest against a ridiculously large number being
319        returned by pcre_exec() or pcre_dfa_exec(). If this happens in a /g or /G
320        loop, the loop is abandoned.
321    
322    32. Forward references to subpatterns in conditions such as (?(2)...) where
323        subpattern 2 is defined later cause pcre_compile() to search forwards in
324        the pattern for the relevant set of parentheses. This search went wrong
325        when there were unescaped parentheses in a character class, parentheses
326        escaped with \Q...\E, or parentheses in a #-comment in /x mode.
327    
328    33. "Subroutine" calls and backreferences were previously restricted to
329        referencing subpatterns earlier in the regex. This restriction has now
330        been removed.
331    
332    34. Added a number of extra features that are going to be in Perl 5.10. On the
333        whole, these are just syntactic alternatives for features that PCRE had
334        previously implemented using the Python syntax or my own invention. The
335        other formats are all retained for compatibility.
336    
337        (a) Named groups can now be defined as (?<name>...) or (?'name'...) as well
338            as (?P<name>...). The new forms, as well as being in Perl 5.10, are
339            also .NET compatible.
340    
341        (b) A recursion or subroutine call to a named group can now be defined as
342            (?&name) as well as (?P>name).
343    
344        (c) A backreference to a named group can now be defined as \k<name> or
345            \k'name' as well as (?P=name). The new forms, as well as being in Perl
346            5.10, are also .NET compatible.
347    
348        (d) A conditional reference to a named group can now use the syntax
349            (?(<name>) or (?('name') as well as (?(name).
350    
351        (e) A "conditional group" of the form (?(DEFINE)...) can be used to define
352            groups (named and numbered) that are never evaluated inline, but can be
353            called as "subroutines" from elsewhere. In effect, the DEFINE condition
354            is always false. There may be only one alternative in such a group.
355    
356        (f) A test for recursion can be given as (?(R1).. or (?(R&name)... as well
357            as the simple (?(R). The condition is true only if the most recent
358            recursion is that of the given number or name. It does not search out
359            through the entire recursion stack.
360    
361        (g) The escape \gN or \g{N} has been added, where N is a positive or
362            negative number, specifying an absolute or relative reference.
363    
364    35. Tidied to get rid of some further signed/unsigned compiler warnings and
365        some "unreachable code" warnings.
366    
367    36. Updated the Unicode property tables to Unicode version 5.0.0. Amongst other
368        things, this adds five new scripts.
369    
370    37. Perl ignores orphaned \E escapes completely. PCRE now does the same.
371        There were also incompatibilities regarding the handling of \Q..\E inside
372        character classes, for example with patterns like [\Qa\E-\Qz\E] where the
373        hyphen was adjacent to \Q or \E. I hope I've cleared all this up now.
374    
375    38. Like Perl, PCRE detects when an indefinitely repeated parenthesized group
376        matches an empty string, and forcibly breaks the loop. There were bugs in
377        this code in non-simple cases. For a pattern such as  ^(a()*)*  matched
378        against  aaaa  the result was just "a" rather than "aaaa", for example. Two
379        separate and independent bugs (that affected different cases) have been
380        fixed.
381    
382    39. Refactored the code to abolish the use of different opcodes for small
383        capturing bracket numbers. This is a tidy that I avoided doing when I
384        removed the limit on the number of capturing brackets for 3.5 back in 2001.
385        The new approach is not only tidier, it makes it possible to reduce the
386        memory needed to fix the previous bug (38).
387    
388    40. Implemented PCRE_NEWLINE_ANY to recognize any of the Unicode newline
389        sequences (http://unicode.org/unicode/reports/tr18/) as "newline" when
390        processing dot, circumflex, or dollar metacharacters, or #-comments in /x
391        mode.
392    
393    41. Add \R to match any Unicode newline sequence, as suggested in the Unicode
394        report.
395    
396    42. Applied patch, originally from Ari Pollak, modified by Google, to allow
397        copy construction and assignment in the C++ wrapper.
398    
399    43. Updated pcregrep to support "--newline=any". In the process, I fixed a
400        couple of bugs that could have given wrong results in the "--newline=crlf"
401        case.
402    
403    44. Added a number of casts and did some reorganization of signed/unsigned int
404        variables following suggestions from Dair Grant. Also renamed the variable
405        "this" as "item" because it is a C++ keyword.
406    
407    45. Arranged for dftables to add
408    
409          #include "pcre_internal.h"
410    
411        to pcre_chartables.c because without it, gcc 4.x may remove the array
412        definition from the final binary if PCRE is built into a static library and
413        dead code stripping is activated.
414    
415    46. For an unanchored pattern, if a match attempt fails at the start of a
416        newline sequence, and the newline setting is CRLF or ANY, and the next two
417        characters are CRLF, advance by two characters instead of one.
418    
419    
420  Version 6.7 04-Jul-06  Version 6.7 04-Jul-06
421  ---------------------  ---------------------
422    

Legend:
Removed from v.91  
changed lines
  Added in v.149

  ViewVC Help
Powered by ViewVC 1.1.5