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

Title

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-11 19:57:42 (2 weeks ago)

Latest email

2026-10-05 19:21:53 (3 weeks ago)

Status

PG20-3 (2026-11-01 – 2026-11-30): Ready for Committer

Target version

Authors

Manuel Reyes Bravo (manu15)

Reviewers

Stefan Guha (sguha) 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-11 21:33:04	Stefan Guha (sguha)	Added sguha as reviewer
2026-10-11 19:57:42	Stefan Guha (sguha)	New status: Ready for Committer
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