Re: bug: query returns different result with and without memoization.

On Mon, Nov 2, 2026 at 10:46 AM Richard Guo <guofenglinux(at)gmail(dot)com> wrote:
> Pushed both and back-patched 0001 to v14.

Thanks for working on this!

Codex reported me that, after this change, the same query can fail with
enable_memoize enabled but succeed with it disabled, as shown below.
Is this a bug?

Here are the steps to reproduce it:

--------------------------------------
CREATE TEMP TABLE mo AS
SELECT g % 100 + 1 AS k FROM generate_series(1, 10000) g;

CREATE TEMP TABLE mi AS
SELECT g AS k FROM generate_series(1, 10000) g;

CREATE UNIQUE INDEX ON mi (k);
ANALYZE mo;
ANALYZE mi;

SET enable_memoize = off;

SELECT count(*)
FROM mo JOIN mi USING (k)
WHERE mi.k < ALL (VALUES (10001), (10002));

SET enable_memoize = on;

SELECT count(*)
FROM mo JOIN mi USING (k)
WHERE mi.k < ALL (VALUES (10001), (10002));
--------------------------------------

Regards,

--
Fujii Masao