Skip to content

Commit c35ba14

Browse files
committed
Future-proof the recursion inside ExecShutdownNode().
The API contract for planstate_tree_walker() callbacks is that they take a PlanState pointer and a context pointer. Somebody figured they could save a couple lines of code by ignoring that, and passing ExecShutdownNode itself as the walker even though it has but one argument. Somewhat remarkably, we've gotten away with that so far. However, it seems clear that the upcoming C2x standard means to forbid such cases, and compilers that actively break such code likely won't be far behind. So spend the extra few lines of code to do it honestly with a separate walker function. In HEAD, we might as well go further and remove ExecShutdownNode's useless return value. I left that as-is in back branches though, to forestall complaints about ABI breakage. Back-patch, with the thought that this might become of practical importance before our stable branches are all out of service. It doesn't seem to be fixing any live bug on any currently known platform, however. Discussion: https://postgr.es/m/208054.1663534665@sss.pgh.pa.us
1 parent 4fd1479 commit c35ba14

File tree

3 files changed

+11
-4
lines changed

3 files changed

+11
-4
lines changed

src/backend/executor/execMain.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1691,7 +1691,7 @@ ExecutePlan(EState *estate,
16911691
* point.
16921692
*/
16931693
if (!(estate->es_top_eflags & EXEC_FLAG_BACKWARD))
1694-
(void) ExecShutdownNode(planstate);
1694+
ExecShutdownNode(planstate);
16951695

16961696
if (use_parallel_mode)
16971697
ExitParallelMode();

src/backend/executor/execProcnode.c

Lines changed: 9 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -121,6 +121,7 @@
121121

122122
static TupleTableSlot *ExecProcNodeFirst(PlanState *node);
123123
static TupleTableSlot *ExecProcNodeInstr(PlanState *node);
124+
static bool ExecShutdownNode_walker(PlanState *node, void *context);
124125

125126

126127
/* ------------------------------------------------------------------------
@@ -768,8 +769,14 @@ ExecEndNode(PlanState *node)
768769
* Give execution nodes a chance to stop asynchronous resource consumption
769770
* and release any resources still held.
770771
*/
771-
bool
772+
void
772773
ExecShutdownNode(PlanState *node)
774+
{
775+
(void) ExecShutdownNode_walker(node, NULL);
776+
}
777+
778+
static bool
779+
ExecShutdownNode_walker(PlanState *node, void *context)
773780
{
774781
if (node == NULL)
775782
return false;
@@ -789,7 +796,7 @@ ExecShutdownNode(PlanState *node)
789796
if (node->instrument && node->instrument->running)
790797
InstrStartNode(node->instrument);
791798

792-
planstate_tree_walker(node, ExecShutdownNode, NULL);
799+
planstate_tree_walker(node, ExecShutdownNode_walker, context);
793800

794801
switch (nodeTag(node))
795802
{

src/include/executor/executor.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -239,7 +239,7 @@ extern PlanState *ExecInitNode(Plan *node, EState *estate, int eflags);
239239
extern void ExecSetExecProcNode(PlanState *node, ExecProcNodeMtd function);
240240
extern Node *MultiExecProcNode(PlanState *node);
241241
extern void ExecEndNode(PlanState *node);
242-
extern bool ExecShutdownNode(PlanState *node);
242+
extern void ExecShutdownNode(PlanState *node);
243243
extern void ExecSetTupleBound(int64 tuples_needed, PlanState *child_node);
244244

245245

0 commit comments

Comments
 (0)