]> granicus.if.org Git - postgresql/commit
Fix incorrect handling of lookahead constraints in pg_regprefix().
authorTom Lane <tgl@sss.pgh.pa.us>
Mon, 19 Oct 2015 20:54:53 +0000 (13:54 -0700)
committerTom Lane <tgl@sss.pgh.pa.us>
Mon, 19 Oct 2015 20:54:53 +0000 (13:54 -0700)
commit9f1e642d50b30ec5c9604b6095073012a9a73e93
tree0b460ec76741f5f34128d5f86a2e0d64426e22ef
parentee7ca559fcf404f9a3bd99da85c8f4ea9fbc2e92
Fix incorrect handling of lookahead constraints in pg_regprefix().

pg_regprefix was doing nothing with lookahead constraints, which would
be fine if it were the right kind of nothing, but it isn't: we have to
terminate our search for a fixed prefix, not just pretend the LACON arc
isn't there.  Otherwise, if the current state has both a LACON outarc and a
single plain-color outarc, we'd falsely conclude that the color represents
an addition to the fixed prefix, and generate an extracted index condition
that restricts the indexscan too much.  (See added regression test case.)

Terminating the search is conservative: we could traverse the LACON arc
(thus assuming that the constraint can be satisfied at runtime) and then
examine the outarcs of the linked-to state.  But that would be a lot more
work than it seems worth, because writing a LACON followed by a single
plain character is a pretty silly thing to do.

This makes a difference only in rather contrived cases, but it's a bug,
so back-patch to all supported branches.
src/backend/regex/regprefix.c
src/test/regress/expected/regex.out
src/test/regress/sql/regex.sql