Fix infinite-loop risk in fixempties() stage of regex compilation.
The previous coding of this function could get into situations where it
would never terminate, because successive passes would re-add EMPTY arcs
that had been removed by the previous pass. Rewrite the function
completely using a new algorithm that is guaranteed to terminate, and
also seems to be usually faster than the old one. Per Tcl bugs 3604074
and 3606683.
Tom Lane and Don Porter
Branch
------
REL9_1_STABLE
Details
-------
http://git.postgresql.org/pg/commitdiff/ef2a82bebd991fc2ddc8a1ba37c657173b21910b
Modified Files
--------------
src/backend/regex/regc_nfa.c | 314 ++++++++++++++++++++++++++++++++---------
src/backend/regex/regcomp.c | 12 +-
2 files changed, 253 insertions(+), 73 deletions(-)