Use an explicit state flag to control PlaceHolderInfo creation.
authorTom Lane <tgl@sss.pgh.pa.us>
Wed, 17 Aug 2022 19:52:53 +0000 (15:52 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Wed, 17 Aug 2022 19:52:53 +0000 (15:52 -0400)
commitb3ff6c742f6c7f750e9f74476576839cb039e1ab
tree958a48667e1d9172c496ecb100162c9e3876c1c6
parent6569ca43973b754e8213072c8ddcae9e7baf2aaa
Use an explicit state flag to control PlaceHolderInfo creation.

Up to now, callers of find_placeholder_info() were required to pass
a flag indicating if it's OK to make a new PlaceHolderInfo.  That'd
be fine if the callers had free choice, but they do not.  Once we
begin deconstruct_jointree() it's no longer OK to make more PHIs;
while callers before that always want to create a PHI if it's not
there already.  So there's no freedom of action, only the opportunity
to cause bugs by creating PHIs too late.  Let's get rid of that in
favor of adding a state flag PlannerInfo.placeholdersFrozen, which
we can set at the point where it's no longer OK to make more PHIs.

This patch also simplifies a couple of call sites that were using
complicated logic to avoid calling find_placeholder_info() as much
as possible.  Now that that lookup is O(1) thanks to the previous
commit, the extra bitmap manipulations are probably a net negative.

Discussion: https://postgr.es/m/1405792.1660677844@sss.pgh.pa.us
12 files changed:
src/backend/optimizer/path/costsize.c
src/backend/optimizer/path/equivclass.c
src/backend/optimizer/plan/createplan.c
src/backend/optimizer/plan/initsplan.c
src/backend/optimizer/plan/planner.c
src/backend/optimizer/prep/prepjointree.c
src/backend/optimizer/util/inherit.c
src/backend/optimizer/util/paramassign.c
src/backend/optimizer/util/placeholder.c
src/include/nodes/pathnodes.h
src/include/optimizer/placeholder.h
src/include/optimizer/planmain.h