Fix 'negative bitmapset member' error
authorAlexander Korotkov
Mon, 15 Jan 2024 15:45:16 +0000 (17:45 +0200)
committerAlexander Korotkov
Mon, 15 Jan 2024 15:45:16 +0000 (17:45 +0200)
commitfe093994db4dc5dcc239f8839b094c0b75de00cf
treeaede7beb3d5e1e5d26b1b54d78ad5d8306e9339a
parentaa817c7496575b37fde6ea5e0cd65b26f29ea532
Fix 'negative bitmapset member' error

When removing a useless join, we'd remove PHVs that are not used at join
partner rels or above the join.  A PHV that references the join's relid
in ph_eval_at is logically "above" the join and thus should not be
removed.  We have the following check for that:

    !bms_is_member(ojrelid, phinfo->ph_eval_at)

However, in the case of SJE removing a useless inner join, 'ojrelid' is
set to -1, which would trigger the "negative bitmapset member not
allowed" error in bms_is_member().

Fix it by skipping examining ojrelid for inner joins in this check.

Reported-by: Zuming Jiang
Bug: #18260
Discussion: https://postgr.es/m/18260-1b6a0c4ae311b837%40postgresql.org
Author: Richard Guo
Reviewed-by: Andrei Lepikhov
src/backend/optimizer/plan/analyzejoins.c
src/test/regress/expected/join.out
src/test/regress/sql/join.sql