Fix infinite-loop risk in fixempties() stage of regex compilation.
authorTom Lane <tgl@sss.pgh.pa.us>
Thu, 7 Mar 2013 16:51:13 +0000 (11:51 -0500)
committerTom Lane <tgl@sss.pgh.pa.us>
Thu, 7 Mar 2013 16:51:13 +0000 (11:51 -0500)
commitef2a82bebd991fc2ddc8a1ba37c657173b21910b
tree6c53028a1ce43b9ce763429a9616432e99d2c883
parent81e2255fc77a273c8de41fca73741ceac6b75288
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
src/backend/regex/regc_nfa.c
src/backend/regex/regcomp.c