Re: BUG #17213: Wrong result from a query involving Merge Semi Join and Memoize - Mailing list pgsql-bugs

From Tom Lane
Subject Re: BUG #17213: Wrong result from a query involving Merge Semi Join and Memoize
Date
Msg-id 4022669.1633396881@sss.pgh.pa.us
Whole thread Raw
In response to Re: BUG #17213: Wrong result from a query involving Merge Semi Join and Memoize  (Elvis Pranskevichus <elprans@gmail.com>)
Responses Re: BUG #17213: Wrong result from a query involving Merge Semi Join and Memoize
List pgsql-bugs
Elvis Pranskevichus <elprans@gmail.com> writes:
> On Monday, October 4, 2021 5:14:47 PM PDT David Rowley wrote:
>>> It appears a combination of Merge Semi Join and Memoize in
>>> PostgreSQL 14 produces incorrect results on a particular query. 

> It seems like a very particular set of stats is causing the plan there, 
> as running ANALYZE turns the query into a Nested Loop Semi Join.

Surely this plan tree is broken on its face?  The inner side of
a mergejoin has to be able to support mark/restore, and nestloop
doesn't (cf ExecSupportsMarkRestore, as well as assertions in
nodeNestloop).  It looks to me like somebody removed an essential
plan-time check.

            regards, tom lane



pgsql-bugs by date:

Previous
From: Elvis Pranskevichus
Date:
Subject: Re: BUG #17213: Wrong result from a query involving Merge Semi Join and Memoize
Next
From: David Rowley
Date:
Subject: Re: BUG #17213: Wrong result from a query involving Merge Semi Join and Memoize