Fix Asserts in calc_non_nestloop_required_outer().
authorTom Lane <tgl@sss.pgh.pa.us>
Wed, 10 Jan 2024 18:51:36 +0000 (13:51 -0500)
committerTom Lane <tgl@sss.pgh.pa.us>
Wed, 10 Jan 2024 18:51:36 +0000 (13:51 -0500)
commitadd673b897c3d76767cec5ac1619fad6b1eb7582
tree8b89cfdd841f37211bb46cefab10a2a3384fb7d7
parentd641b827af3966e349cbcc592bc51a4ab770c37b
Fix Asserts in calc_non_nestloop_required_outer().

These were not testing the same thing as the comparable Assert
in calc_nestloop_required_outer(), because we neglected to map
the given Paths' relids to top-level relids.  When considering
a partition child join the latter is the correct thing to do.

This oversight is old, but since it's only an overly-weak Assert
check there doesn't seem to be much value in back-patching.

Richard Guo (with cosmetic changes and comment updates by me)

Discussion: https://postgr.es/m/CAMbWs49sqbe9GBZ8sy8dSfKRNURgicR85HX8vgzcgQsPF0XY1w@mail.gmail.com
src/backend/optimizer/path/joinpath.c
src/backend/optimizer/util/pathnode.c