13.04.2026 19:01, Robert Haas wrote:
Sounds like we have a consensus. I have committed the three bug-fix
patches (unrelated to the retry-loop stuff) ...
Thanks again for committing these fixes, Robert! With all the fixes in
place, I and SQLsmith have reached another error:
CREATE TABLE t1(a int);
CREATE TABLE t2(b int);
SELECT 1 FROM t1 WHERE EXISTS
(SELECT 1 FROM
(SELECT 1 FROM
(SELECT 1) LEFT JOIN t2 ON true),
t2 WHERE a = b);
ERROR: XX000: unique semijoin found for relids (b 3 5 7) but not observed during planning
LOCATION: pgpa_plan_walker, pgpa_walker.c:153
Could you please have a look?
Best regards,
Alexander