]> granicus.if.org Git - postgresql/commit
Fix improper interaction of FULL JOINs with lateral references.
authorTom Lane <tgl@sss.pgh.pa.us>
Mon, 8 Apr 2019 20:09:07 +0000 (16:09 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Mon, 8 Apr 2019 20:09:29 +0000 (16:09 -0400)
commit051c71c6746309782d9bf1ebb257d3b5f88e6fb7
treed341eb3295cc92d11e50447122ec2eb3b2a30da4
parentdc92adc4bb8f3026a8eb70b297a8d6dd93e1166c
Fix improper interaction of FULL JOINs with lateral references.

join_is_legal() needs to reject forming certain outer joins in cases
where that would lead the planner down a blind alley.  However, it
mistakenly supposed that the way to handle full joins was to treat them
as applying the same constraints as for left joins, only to both sides.
That doesn't work, as shown in bug #15741 from Anthony Skorski: given
a lateral reference out of a join that's fully enclosed by a full join,
the code would fail to believe that any join ordering is legal, resulting
in errors like "failed to build any N-way joins".

However, we don't really need to consider full joins at all for this
purpose, because we effectively force them to be evaluated in syntactic
order, and that order is always legal for lateral references.  Hence,
get rid of this broken logic for full joins and just ignore them instead.

This seems to have been an oversight in commit 7e19db0c0.
Back-patch to all supported branches, as that was.

Discussion: https://postgr.es/m/15741-276f1f464b3f40eb@postgresql.org
src/backend/optimizer/path/joinrels.c
src/test/regress/expected/rangefuncs.out
src/test/regress/sql/rangefuncs.sql