diff options
| author | Tom Lane <tgl@sss.pgh.pa.us> | 2023-05-19 15:24:07 -0400 |
|---|---|---|
| committer | Tom Lane <tgl@sss.pgh.pa.us> | 2023-05-19 15:24:07 -0400 |
| commit | d0f952691ff532aa0c54e9d146fac8d590596646 (patch) | |
| tree | 4d6a46d5e535cd1cd8b982c74dbea5a612c0771d /src/backend/optimizer/plan/analyzejoins.c | |
| parent | 70b42f2790292cc30aa07563f343f7ba6749af01 (diff) | |
| download | postgresql-d0f952691ff532aa0c54e9d146fac8d590596646.tar.gz postgresql-d0f952691ff532aa0c54e9d146fac8d590596646.zip | |
Fix thinko in join removal.
In commit 9df8f903e I (tgl) switched join_is_removable() from
using the min relid sets of the join under consideration to
using its full syntactic relid sets. This was a mistake,
as it allowed join removal in cases where a reference to the
join output would survive in some syntactically-lower join
condition. Revert to the former coding.
Richard Guo
Discussion: https://postgr.es/m/CAMbWs4-EU9uBGSP7G-iTwLBhRQ=rnZKvFDhD+n+xhajokyPCKg@mail.gmail.com
Diffstat (limited to 'src/backend/optimizer/plan/analyzejoins.c')
| -rw-r--r-- | src/backend/optimizer/plan/analyzejoins.c | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/src/backend/optimizer/plan/analyzejoins.c b/src/backend/optimizer/plan/analyzejoins.c index 7463b3696ac..a61e35f92d0 100644 --- a/src/backend/optimizer/plan/analyzejoins.c +++ b/src/backend/optimizer/plan/analyzejoins.c @@ -88,11 +88,8 @@ restart: */ innerrelid = bms_singleton_member(sjinfo->min_righthand); - /* - * Compute the relid set for the join we are considering. We can - * assume things are done in syntactic order. - */ - joinrelids = bms_union(sjinfo->syn_lefthand, sjinfo->syn_righthand); + /* Compute the relid set for the join we are considering */ + joinrelids = bms_union(sjinfo->min_lefthand, sjinfo->min_righthand); if (sjinfo->ojrelid != 0) joinrelids = bms_add_member(joinrelids, sjinfo->ojrelid); @@ -204,8 +201,8 @@ join_is_removable(PlannerInfo *root, SpecialJoinInfo *sjinfo) if (!rel_supports_distinctness(root, innerrel)) return false; - /* Compute the syntactic relid set for the join we are considering */ - inputrelids = bms_union(sjinfo->syn_lefthand, sjinfo->syn_righthand); + /* Compute the relid set for the join we are considering */ + inputrelids = bms_union(sjinfo->min_lefthand, sjinfo->min_righthand); Assert(sjinfo->ojrelid != 0); joinrelids = bms_copy(inputrelids); joinrelids = bms_add_member(joinrelids, sjinfo->ojrelid); |