pgsql: Fix ancient bug in parsing of BRE-mode regular expressions. - Mailing list pgsql-committers

From Tom Lane
Subject pgsql: Fix ancient bug in parsing of BRE-mode regular expressions.
Date
Msg-id E1kxvN6-0002xA-38@gemulon.postgresql.org
Whole thread Raw
List pgsql-committers
Fix ancient bug in parsing of BRE-mode regular expressions.

brenext(), when parsing a '*' quantifier, forgot to return any "value"
for the token; per the equivalent case in next(), it should return
value 1 to indicate that greedy rather than non-greedy behavior is
wanted.  The result is that the compiled regexp could behave like 'x*?'
rather than the intended 'x*', if we were unlucky enough to have
a zero in v->nextvalue at this point.  That seems to happen with some
reliability if we have '.*' at the beginning of a BRE-mode regexp,
although that depends on the initial contents of a stack-allocated
struct, so it's not guaranteed to fail.

Found by Alexander Lakhin using valgrind testing.  This bug seems
to be aboriginal in Spencer's code, so back-patch all the way.

Discussion: https://postgr.es/m/16814-6c5e3edd2bdf0d50@postgresql.org

Branch
------
REL_13_STABLE

Details
-------
https://git.postgresql.org/pg/commitdiff/49c928c0c067a8ec0882eeea5c03ccbd1b1b1a62

Modified Files
--------------
src/backend/regex/regc_lex.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)


pgsql-committers by date:

Previous
From: Michael Paquier
Date:
Subject: Re: pgsql: createdb: Fix quoting of --encoding, --lc-ctype and --lc-collate
Next
From: Tom Lane
Date:
Subject: pgsql: Fix plpgsql tests for debug_invalidate_system_caches_always.