Fix computation of varnullingrels when const-folding field selection.
authorTom Lane <tgl@sss.pgh.pa.us>
Thu, 9 Nov 2023 20:46:16 +0000 (15:46 -0500)
committerTom Lane <tgl@sss.pgh.pa.us>
Thu, 9 Nov 2023 20:46:16 +0000 (15:46 -0500)
commit36f5594c0fe694600c07c803324b51fcfbea4079
tree58030a810cf03c61335c7c293320acbcdd8fdc8b
parentb630d9d6c82aeb540c92faf220b837cc71a1416c
Fix computation of varnullingrels when const-folding field selection.

We can simplify FieldSelect on a whole-row Var into a plain Var
for the selected field.  However, we should copy the whole-row Var's
varnullingrels when we do so, because the new Var is clearly nullable
by exactly the same rels as the original.  Failure to do this led to
errors like "wrong varnullingrels (b) (expected (b 3)) for Var 2/2".

Richard Guo, per bug #18184 from Marian Krucina.  Back-patch to
v16 where varnullingrels was introduced.

Discussion: https://postgr.es/m/18184-5868dd258782058e@postgresql.org
src/backend/optimizer/util/clauses.c
src/test/regress/expected/join.out
src/test/regress/sql/join.sql