/[pcre]/code/trunk/ChangeLog

Diff of /code/trunk/ChangeLog

Parent Directory | Revision Log | View Patch Patch

-revision 974 by zherczeg,
Sat Jun  2 05:56:58 2012 UTC
+revision 1364 by ph10,
Sat Oct  5 15:45:11 2013 UTC
 Line 1
  ChangeLog for PCRE
  ------------------
- Version 8.31
+ Version 8.34 xx-xxxx-201x
+ --------------------------
+.  Add pcre[16|32]_jit_free_unused_memory to forcibly free unused JIT
+     executable memory. Patch inspired by Carsten Klein.
+.  ./configure --enable-coverage defined SUPPORT_GCOV in config.h, although
+     this macro is never tested and has no effect, because the work to support
+     coverage involves only compiling and linking options and special targets in
+     the Makefile. The comment in config.h implied that defining the macro would
+     enable coverage support, which is totally false. There was also support for
+     setting this macro in the CMake files (my fault, I just copied it from
+     configure). SUPPORT_GCOV has now been removed.
+.  Make a small performance improvement in strlen16() and strlen32() in
+     pcretest.
+.  Change 36 for 8.33 left some unreachable statements in pcre_exec.c,
+     detected by the Solaris compiler (gcc doesn't seem to be able to diagnose
+     these cases). There was also one in pcretest.c.
+.  Cleaned up a "may be uninitialized" compiler warning in pcre_exec.c.
+.  In UTF mode, the code for checking whether a group could match an empty
+     string (which is used for indefinitely repeated groups to allow for
+     breaking an infinite loop) was broken when the group contained a repeated
+     negated single-character class with a character that occupied more than one
+     data item and had a minimum repetition of zero (for example, [^\x{100}]* in
+     UTF-8 mode). The effect was undefined: the group might or might not be
+     deemed as matching an empty string, or the program might have crashed.
+.  The code for checking whether a group could match an empty string was not
+     recognizing that \h, \H, \v, \V, and \R must match a character.
+.  Implemented PCRE_INFO_MATCH_EMPTY, which yields 1 if the pattern can match
+     an empty string. If it can, pcretest shows this in its information output.
+.  Fixed two related bugs that applied to Unicode extended grapheme clusters
+     that were repeated with a maximizing qualifier (e.g. \X* or \X{2,5}) when
+     matched by pcre_exec() without using JIT:
+     (a) If the rest of the pattern did not match after a maximal run of
+         grapheme clusters, the code for backing up to try with fewer of them
+         did not always back up over a full grapheme when characters that do not
+         have the modifier quality were involved, e.g. Hangul syllables.
+     (b) If the match point in a subject started with modifier character, and
+         there was no match, the code could incorrectly back up beyond the match
+         point, and potentially beyond the first character in the subject,
+         leading to a segfault or an incorrect match result.
+. A conditional group with an assertion condition could lead to PCRE
+     recording an incorrect first data item for a match if no other first data
+     item was recorded. For example, the pattern (?(?=ab)ab) recorded "a" as a
+     first data item, and therefore matched "ca" after "c" instead of at the
+     start.
+. Change 40 for 8.33 (allowing pcregrep to find empty strings) showed up a
+     bug that caused the command "echo a | ./pcregrep -M '|a'" to loop.
+. The source of pcregrep now includes z/OS-specific code so that it can be
+     compiled for z/OS as part of the special z/OS distribution.
+. Added the -T and -TM options to pcretest.
+. The code in pcre_compile.c for creating the table of named capturing groups
+     has been refactored. Instead of creating the table dynamically during the
+     actual compiling pass, the information is remembered during the pre-compile
+     pass (on the stack unless there are more than 20 named groups, in which
+     case malloc() is used) and the whole table is created before the actual
+     compile happens. This has simplified the code (it is now nearly 150 lines
+     shorter) and prepared the way for better handling of references to groups
+     with duplicate names.
+. A back reference to a named subpattern when there is more than one of the
+     same name now checks them in the order in which they appear in the pattern.
+     The first one that is set is used for the reference. Previously only the
+     first one was inspected. This change makes PCRE more compatible with Perl.
+. Unicode character properties were updated from Unicode 6.3.0.
+. The compile-time code for auto-possessification has been refactored, based
+     on a patch by Zoltan Herczeg. It now happens after instead of during
+     compilation. The code is cleaner, and more cases are handled. The option
+     PCRE_NO_AUTO_POSSESSIFY is added for testing purposes, and the -O and /O
+     options in pcretest are provided to set it.
+. The character VT has been added to the set of characters that match \s and
+     are generally treated as white space, following this same change in Perl
+.18. There is now no difference between "Perl space" and "POSIX space".
+ Version 8.33 28-May-2013
+ ------------------------
+.  Added 'U' to some constants that are compared to unsigned integers, to
+     avoid compiler signed/unsigned warnings. Added (int) casts to unsigned
+     variables that are added to signed variables, to ensure the result is
+     signed and can be negated.
+.  Applied patch by Daniel Richard G for quashing MSVC warnings to the
+     CMake config files.
+.  Revise the creation of config.h.generic so that all boolean macros are
+     #undefined, whereas non-boolean macros are #ifndef/#endif-ed. This makes
+     overriding via -D on the command line possible.
+.  Changing the definition of the variable "op" in pcre_exec.c from pcre_uchar
+     to unsigned int is reported to make a quite noticeable speed difference in
+     a specific Windows environment. Testing on Linux did also appear to show
+     some benefit (and it is clearly not harmful). Also fixed the definition of
+     Xop which should be unsigned.
+.  Related to (4), changing the definition of the intermediate variable cc
+     in repeated character loops from pcre_uchar to pcre_uint32 also gave speed
+     improvements.
+.  Fix forward search in JIT when link size is 3 or greater. Also removed some
+     unnecessary spaces.
+.  Adjust autogen.sh and configure.ac to lose warnings given by automake 1.12
+     and later.
+.  Fix two buffer over read issues in 16 and 32 bit modes. Affects JIT only.
+.  Optimizing fast_forward_start_bits in JIT.
+. Adding support for callouts in JIT, and fixing some issues revealed
+     during this work. Namely:
+     (a) Unoptimized capturing brackets incorrectly reset on backtrack.
+     (b) Minimum length was not checked before the matching is started.
+. The value of capture_last that is passed to callouts was incorrect in some
+     cases when there was a capture on one path that was subsequently abandoned
+     after a backtrack. Also, the capture_last value is now reset after a
+     recursion, since all captures are also reset in this case.
+. The interpreter no longer returns the "too many substrings" error in the
+     case when an overflowing capture is in a branch that is subsequently
+     abandoned after a backtrack.
+. In the pathological case when an offset vector of size 2 is used, pcretest
+     now prints out the matched string after a yield of 0 or 1.
+. Inlining subpatterns in recursions, when certain conditions are fulfilled.
+     Only supported by the JIT compiler at the moment.
+. JIT compiler now supports 32 bit Macs thanks to Lawrence Velazquez.
+. Partial matches now set offsets[2] to the "bumpalong" value, that is, the
+     offset of the starting point of the matching process, provided the offsets
+     vector is large enough.
+. The \A escape now records a lookbehind value of 1, though its execution
+     does not actually inspect the previous character. This is to ensure that,
+     in partial multi-segment matching, at least one character from the old
+     segment is retained when a new segment is processed. Otherwise, if there
+     are no lookbehinds in the pattern, \A might match incorrectly at the start
+     of a new segment.
+. Added some #ifdef __VMS code into pcretest.c to help VMS implementations.
+. Redefined some pcre_uchar variables in pcre_exec.c as pcre_uint32; this
+     gives some modest performance improvement in 8-bit mode.
+. Added the PCRE-specific property \p{Xuc} for matching characters that can
+     be expressed in certain programming languages using Universal Character
+     Names.
+. Unicode validation has been updated in the light of Unicode Corrigendum #9,
+     which points out that "non characters" are not "characters that may not
+     appear in Unicode strings" but rather "characters that are reserved for
+     internal use and have only local meaning".
+. When a pattern was compiled with automatic callouts (PCRE_AUTO_CALLOUT) and
+     there was a conditional group that depended on an assertion, if the
+     assertion was false, the callout that immediately followed the alternation
+     in the condition was skipped when pcre_exec() was used for matching.
+. Allow an explicit callout to be inserted before an assertion that is the
+     condition for a conditional group, for compatibility with automatic
+     callouts, which always insert a callout at this point.
+. In 8.31, (*COMMIT) was confined to within a recursive subpattern. Perl also
+     confines (*SKIP) and (*PRUNE) in the same way, and this has now been done.
+. (*PRUNE) is now supported by the JIT compiler.
+. Fix infinite loop when /(?<=(*SKIP)ac)a/ is matched against aa.
+. Fix the case where there are two or more SKIPs with arguments that may be
+     ignored.
+. (*SKIP) is now supported by the JIT compiler.
+. (*THEN) is now supported by the JIT compiler.
+. Update RunTest with additional test selector options.
+. The way PCRE handles backtracking verbs has been changed in two ways.
+     (1) Previously, in something like (*COMMIT)(*SKIP), COMMIT would override
+     SKIP. Now, PCRE acts on whichever backtracking verb is reached first by
+     backtracking. In some cases this makes it more Perl-compatible, but Perl's
+     rather obscure rules do not always do the same thing.
+     (2) Previously, backtracking verbs were confined within assertions. This is
+     no longer the case for positive assertions, except for (*ACCEPT). Again,
+     this sometimes improves Perl compatibility, and sometimes does not.
+. A number of tests that were in test 2 because Perl did things differently
+     have been moved to test 1, because either Perl or PCRE has changed, and
+     these tests are now compatible.
+. Backtracking control verbs are now handled in the same way in JIT and
+     interpreter.
+. An opening parenthesis in a MARK/PRUNE/SKIP/THEN name in a pattern that
+     contained a forward subroutine reference caused a compile error.
+. Auto-detect and optimize limited repetitions in JIT.
+. Implement PCRE_NEVER_UTF to lock out the use of UTF, in particular,
+     blocking (*UTF) etc.
+. In the interpreter, maximizing pattern repetitions for characters and
+     character types now use tail recursion, which reduces stack usage.
+. The value of the max lookbehind was not correctly preserved if a compiled
+     and saved regex was reloaded on a host of different endianness.
+. Implemented (*LIMIT_MATCH) and (*LIMIT_RECURSION). As part of the extension
+     of the compiled pattern block, expand the flags field from 16 to 32 bits
+     because it was almost full.
+. Try madvise first before posix_madvise.
+. Change 7 for PCRE 7.9 made it impossible for pcregrep to find empty lines
+     with a pattern such as ^$. It has taken 4 years for anybody to notice! The
+     original change locked out all matches of empty strings. This has been
+     changed so that one match of an empty string per line is recognized.
+     Subsequent searches on the same line (for colouring or for --only-matching,
+     for example) do not recognize empty strings.
+. Applied a user patch to fix a number of spelling mistakes in comments.
+. Data lines longer than 65536 caused pcretest to crash.
+. Clarified the data type for length and startoffset arguments for pcre_exec
+     and pcre_dfa_exec in the function-specific man pages, where they were
+     explicitly stated to be in bytes, never having been updated. I also added
+     some clarification to the pcreapi man page.
+. A call to pcre_dfa_exec() with an output vector size less than 2 caused
+     a segmentation fault.
+ Version 8.32 30-November-2012
  -----------------------------
+.  Improved JIT compiler optimizations for first character search and single
+     character iterators.
+.  Supporting IBM XL C compilers for PPC architectures in the JIT compiler.
+     Patch by Daniel Richard G.
+.  Single character iterator optimizations in the JIT compiler.
+.  Improved JIT compiler optimizations for character ranges.
+.  Rename the "leave" variable names to "quit" to improve WinCE compatibility.
+     Reported by Giuseppe D'Angelo.
+.  The PCRE_STARTLINE bit, indicating that a match can occur only at the start
+     of a line, was being set incorrectly in cases where .* appeared inside
+     atomic brackets at the start of a pattern, or where there was a subsequent
+     *PRUNE or *SKIP.
+.  Improved instruction cache flush for POWER/PowerPC.
+     Patch by Daniel Richard G.
+.  Fixed a number of issues in pcregrep, making it more compatible with GNU
+     grep:
+     (a) There is now no limit to the number of patterns to be matched.
+     (b) An error is given if a pattern is too long.
+     (c) Multiple uses of --exclude, --exclude-dir, --include, and --include-dir
+         are now supported.
+     (d) --exclude-from and --include-from (multiple use) have been added.
+     (e) Exclusions and inclusions now apply to all files and directories, not
+         just to those obtained from scanning a directory recursively.
+     (f) Multiple uses of -f and --file-list are now supported.
+     (g) In a Windows environment, the default for -d has been changed from
+         "read" (the GNU grep default) to "skip", because otherwise the presence
+         of a directory in the file list provokes an error.
+     (h) The documentation has been revised and clarified in places.
+.  Improve the matching speed of capturing brackets.
+. Changed the meaning of \X so that it now matches a Unicode extended
+     grapheme cluster.
+. Patch by Daniel Richard G to the autoconf files to add a macro for sorting
+     out POSIX threads when JIT support is configured.
+. Added support for PCRE_STUDY_EXTRA_NEEDED.
+. In the POSIX wrapper regcomp() function, setting re_nsub field in the preg
+     structure could go wrong in environments where size_t is not the same size
+     as int.
+. Applied user-supplied patch to pcrecpp.cc to allow PCRE_NO_UTF8_CHECK to be
+     set.
+. The EBCDIC support had decayed; later updates to the code had included
+     explicit references to (e.g.) \x0a instead of CHAR_LF. There has been a
+     general tidy up of EBCDIC-related issues, and the documentation was also
+     not quite right. There is now a test that can be run on ASCII systems to
+     check some of the EBCDIC-related things (but is it not a full test).
+. The new PCRE_STUDY_EXTRA_NEEDED option is now used by pcregrep, resulting
+     in a small tidy to the code.
+. Fix JIT tests when UTF is disabled and both 8 and 16 bit mode are enabled.
+. If the --only-matching (-o) option in pcregrep is specified multiple
+     times, each one causes appropriate output. For example, -o1 -o2 outputs the
+     substrings matched by the 1st and 2nd capturing parentheses. A separating
+     string can be specified by --om-separator (default empty).
+. Improving the first n character searches.
+. Turn case lists for horizontal and vertical white space into macros so that
+     they are defined only once.
+. This set of changes together give more compatible Unicode case-folding
+     behaviour for characters that have more than one other case when UCP
+     support is available.
+     (a) The Unicode property table now has offsets into a new table of sets of
+         three or more characters that are case-equivalent. The MultiStage2.py
+         script that generates these tables (the pcre_ucd.c file) now scans
+         CaseFolding.txt instead of UnicodeData.txt for character case
+         information.
+     (b) The code for adding characters or ranges of characters to a character
+         class has been abstracted into a generalized function that also handles
+         case-independence. In UTF-mode with UCP support, this uses the new data
+         to handle characters with more than one other case.
+     (c) A bug that is fixed as a result of (b) is that codepoints less than 256
+         whose other case is greater than 256 are now correctly matched
+         caselessly. Previously, the high codepoint matched the low one, but not
+         vice versa.
+     (d) The processing of \h, \H, \v, and \ in character classes now makes use
+         of the new class addition function, using character lists defined as
+         macros alongside the case definitions of 20 above.
+     (e) Caseless back references now work with characters that have more than
+         one other case.
+     (f) General caseless matching of characters with more than one other case
+         is supported.
+. Unicode character properties were updated from Unicode 6.2.0
+. Improved CMake support under Windows. Patch by Daniel Richard G.
+. Add support for 32-bit character strings, and UTF-32
+. Major JIT compiler update (code refactoring and bugfixing).
+     Experimental Sparc 32 support is added.
+. Applied a modified version of Daniel Richard G's patch to create
+     pcre.h.generic and config.h.generic by "make" instead of in the
+     PrepareRelease script.
+. Added a definition for CHAR_NULL (helpful for the z/OS port), and use it in
+     pcre_compile.c when checking for a zero character.
+. Introducing a native interface for JIT. Through this interface, the compiled
+     machine code can be directly executed. The purpose of this interface is to
+     provide fast pattern matching, so several sanity checks are not performed.
+     However, feature tests are still performed. The new interface provides
+.4x speedup compared to the old one.
+. If pcre_exec() or pcre_dfa_exec() was called with a negative value for
+     the subject string length, the error given was PCRE_ERROR_BADOFFSET, which
+     was confusing. There is now a new error PCRE_ERROR_BADLENGTH for this case.
+. In 8-bit UTF-8 mode, pcretest failed to give an error for data codepoints
+     greater than 0x7fffffff (which cannot be represented in UTF-8, even under
+     the "old" RFC 2279). Instead, it ended up passing a negative length to
+     pcre_exec().
+. Add support for GCC's visibility feature to hide internal functions.
+. Running "pcretest -C pcre8" or "pcretest -C pcre16" gave a spurious error
+     "unknown -C option" after outputting 0 or 1.
+. There is now support for generating a code coverage report for the test
+     suite in environments where gcc is the compiler and lcov is installed. This
+     is mainly for the benefit of the developers.
+. If PCRE is built with --enable-valgrind, certain memory regions are marked
+     unaddressable using valgrind annotations, allowing valgrind to detect
+     invalid memory accesses. This is mainly for the benefit of the developers.
+. (*UTF) can now be used to start a pattern in any of the three libraries.
+. Give configure error if --enable-cpp but no C++ compiler found.
+ Version 8.31 06-July-2012
+ -------------------------
 .  Fixing a wrong JIT test case and some compiler warnings.
 .  Removed a bashism from the RunTest script.
-Line 95 
 Version 8.31
+Line 518 
 Version 8.31
      \w+ when the character tables indicated that \x{c4} was a word character.
      There were several related cases, all because the tests for doing a table
      lookup were testing for characters less than 127 instead of 255.
 . If a pattern contains capturing parentheses that are not used in a match,
      their slots in the ovector are set to -1. For those that are higher than
      any matched groups, this happens at the end of processing. In the case when
      there were back references that the ovector was too small to contain
      (causing temporary malloc'd memory to be used during matching), and the
      highest capturing number was not used, memory off the end of the ovector
      was incorrectly being set to -1. (It was using the size of the temporary
      memory instead of the true size.)
 . To catch bugs like 27 using valgrind, when pcretest is asked to specify an
      ovector size, it uses memory at the end of the block that it has got.
 . Check for an overlong MARK name and give an error at compile time. The
      limit is 255 for the 8-bit library and 65535 for the 16-bit library.
 . JIT compiler update.
-Line 120 
 Version 8.31
+Line 543 
 Version 8.31
 . Variable renamings in the PCRE-JIT compiler. No functionality change.
 . Fixed typos in pcregrep: in two places there was SUPPORT_LIBZ2 instead of
      SUPPORT_LIBBZ2. This caused a build problem when bzip2 but not gzip (zlib)
      was enabled.
 . Improve JIT code generation for greedy plus quantifier.
+. When /((?:a?)*)*c/ or /((?>a?)*)*c/ was matched against "aac", it set group
+to "aa" instead of to an empty string. The bug affected repeated groups
+     that could potentially match an empty string.
+. Optimizing single character iterators in JIT.
+. Wide characters specified with \uxxxx in JavaScript mode are now subject to
+     the same checks as \x{...} characters in non-JavaScript mode. Specifically,
+     codepoints that are too big for the mode are faulted, and in a UTF mode,
+     disallowed codepoints are also faulted.
+. If PCRE was compiled with UTF support, in three places in the DFA
+     matcher there was code that should only have been obeyed in UTF mode, but
+     was being obeyed unconditionally. In 8-bit mode this could cause incorrect
+     processing when bytes with values greater than 127 were present. In 16-bit
+     mode the bug would be provoked by values in the range 0xfc00 to 0xdc00. In
+     both cases the values are those that cannot be the first data item in a UTF
+     character. The three items that might have provoked this were recursions,
+     possessively repeated groups, and atomic groups.
+. Ensure that libpcre is explicitly listed in the link commands for pcretest
+     and pcregrep, because some OS require shared objects to be explicitly
+     passed to ld, causing the link step to fail if they are not.
+. There were two incorrect #ifdefs in pcre_study.c, meaning that, in 16-bit
+     mode, patterns that started with \h* or \R* might be incorrectly matched.
  Version 8.30 04-February-2012
  -----------------------------
-Line 1317 
 Version 7.9 11-Apr-09
+Line 1767 
 Version 7.9 11-Apr-09
 .  A pattern that could match an empty string could cause pcregrep to loop; it
      doesn't make sense to accept an empty string match in pcregrep, so I have
      locked it out (using PCRE's PCRE_NOTEMPTY option). By experiment, this
-     seems to be how GNU grep behaves.
+     seems to be how GNU grep behaves. [But see later change 40 for release
+.33.]
 .  The pattern (?(?=.*b)b|^) was incorrectly compiled as "match must be at
      start or after a newline", because the conditional assertion was not being
-Line 1560 
 Version 7.7 07-May-08
+Line 2011 
 Version 7.7 07-May-08
      containing () gave an internal compiling error instead of "reference to
      non-existent subpattern". Fortunately, when the pattern did exist, the
      compiled code was correct. (When scanning forwards to check for the
-     existencd of the subpattern, it was treating the data ']' as terminating
+     existence of the subpattern, it was treating the data ']' as terminating
      the class, so got the count wrong. When actually compiling, the reference
      was subsequently set up correctly.)

 Legend:



Removed from v.974
 


changed lines


 
Added in v.1364
 Legend:



Removed from v.974
 


changed lines


 
Added in v.1364
-Removed from v.974
+Added in v.1364

	ViewVC Help
Powered by ViewVC 1.1.5