Fix bogus tree-flattening logic in QTNTernary().
authorTom Lane
Sun, 30 Oct 2016 19:24:40 +0000 (15:24 -0400)
committerTom Lane
Sun, 30 Oct 2016 19:24:40 +0000 (15:24 -0400)
commit77a22f898e6633c9f15e0c3edfa6f6296ba6f17b
tree92498e63a7d394997ac4214b8b0543475e4aa799
parente927f55ffffb43b29e7a8c459825950b2b280219
Fix bogus tree-flattening logic in QTNTernary().

QTNTernary() contains logic to flatten, eg, '(a & b) & c' into 'a & b & c',
which is all well and good, but it tries to do that to NOT nodes as well,
so that '!!a' gets changed to '!a'.  Explicitly restrict the conversion to
be done only on AND and OR nodes, and add a test case illustrating the bug.

In passing, provide some comments for the sadly naked functions in
tsquery_util.c, and simplify some baroque logic in QTNFree(), which
I think may have been leaking some items it intended to free.

Noted while investigating a complaint from Andreas Seltenreich.
Back-patch to all supported versions.
src/backend/utils/adt/tsquery_util.c
src/test/regress/expected/tsearch.out
src/test/regress/sql/tsearch.sql