Planning time quadratic in the IN-list length for "c = X AND (a, b) IN (...)" with BitmapOr

Edit
ID 7393
Title Planning time quadratic in the IN-list length for "c = X AND (a, b) IN (...)" with BitmapOr
CI (CFBot) Summary
Stats (from CFBot) Patch version: v1, Patch count: 1, First patch: +108−1, All patches: +108−1
Tags Performance
Created 2026-10-04 23:25:03
Last modified 2026-10-04 23:25:03 (yesterday)
Latest email 2026-10-05 19:21:53 (7 hours ago)
Status
PG20-3 (2026-11-01 – 2026-11-30): Needs review
Target version 20
Authors Manuel Reyes Bravo (manu15)
Reviewers Become reviewer
Committer
Links
Emails
Planning time quadratic in the IN-list length for "c = X AND (a, b) IN (...)" with BitmapOr
First at 2026-10-04 16:24:49 by Stefan Guha <stefan at stefanguha.com>
Latest at 2026-10-05 19:21:53 by Manu <manuelreyesbravo at gmail.com>
Latest attachment (v1-0001-Make-OR-OR-predicate-proofs-linear-for-correspond.patch) at 2026-10-04 20:54:51 from Manu <manuelreyesbravo at gmail.com>
    Attachment (v1-0001-Make-OR-OR-predicate-proofs-linear-for-correspond.patch) at 2026-10-04 20:54:51 from Manu <manuelreyesbravo at gmail.com> (Patch: No)
    Attachment (repro.sql) at 2026-10-04 16:24:49 from Stefan Guha <stefan at stefanguha.com> (Patch: No)
History
When Who What
2026-10-04 23:25:03 Manuel Reyes Bravo (manu15) Attached mail thread 859cceb0-2be3-4f01-8235-b3d1786eeb72@stefanguha.com
2026-10-04 23:25:03 Manuel Reyes Bravo (manu15) Created patch record
Edit