Fix oversight in outer join removal.
authorTom Lane <tgl@sss.pgh.pa.us>
Thu, 8 Jun 2023 21:10:04 +0000 (17:10 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Thu, 8 Jun 2023 21:10:04 +0000 (17:10 -0400)
commit9a2dbc614e6e47da3c49daacec106da32eba9467
tree74be715c7b0d9a98d12390ba5a98d4591bfd4a8d
parentfbf80421ead55deaafbefa808960a2695de492c9
Fix oversight in outer join removal.

A placeholder that references the outer join's relid in ph_eval_at
is logically "above" the join, and therefore we can't remove its
PlaceHolderInfo: it might still be used somewhere in the query.

This was not an issue pre-v16 because we failed to remove the join
at all in such cases.  The new outer-join-aware-Var infrastructure
permits deducing that it's okay to remove the join, but then we
have to clean up correctly afterwards.

Report and fix by Richard Guo

Discussion: https://postgr.es/m/CAMbWs4_tuVn9EwwMcggGiZJWWstdXX_ci8FeEU17vs+4nLgw3w@mail.gmail.com
src/backend/optimizer/plan/analyzejoins.c
src/test/regress/expected/join.out
src/test/regress/sql/join.sql