Content-Type: multipart/alternative;
 boundary="------------xiOi3ALduy8ONhUZ2Pt1ASnI"
Message-ID: <74839af6-aadc-4f60-ae77-ae65f94bf607@gmail.com>
Date: Sat, 22 Feb 2025 17:00:01 +0200
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Subject: Re: generic plans and "initial" pruning
To: Amit Langote <amitlangote09@gmail.com>, Tomas Vondra <tomas@vondra.me>
Cc: Robert Haas <robertmhaas@gmail.com>,
 Alvaro Herrera <alvherre@alvh.no-ip.org>, Andres Freund
 <andres@anarazel.de>, Daniel Gustafsson <daniel@yesql.se>,
 David Rowley <dgrowleyml@gmail.com>,
 PostgreSQL Hackers <pgsql-hackers@postgresql.org>,
 Thom Brown <thom@linux.com>, Tom Lane <tgl@sss.pgh.pa.us>
References: <CA+HiwqFpZ80UJKr4tZus4Omgg7YESzFXKSwSHRW2Ap2=XSVyUA@mail.gmail.com>
 <54c35fb9-da3a-4754-ab8c-46ed0b612465@vondra.me>
 <CA+HiwqH8N-SxEB6SysEBsYNgV_KJs66k9Z2SNmqVzbBP-60yWg@mail.gmail.com>
 <684c70d7-180e-461d-9377-600c2db581ba@vondra.me>
 <CA+HiwqEmG9YCQvG6uux7sO=jKFSAW6hA4Ea-ymfD+JhJAe4PWQ@mail.gmail.com>
 <CA+HiwqE2FfJfH=siLiR3kJ13tmXZORAGTWsZc2r52o1_5BDv+g@mail.gmail.com>
 <bfcc1b78-aa39-4356-8f42-b8cfb9733d6e@vondra.me>
 <CA+HiwqFhkpXHAA=4NY5SqYXX08uq=nYtXcSByNZF=2MAy1UA7A@mail.gmail.com>
 <CA+HiwqHCcSoYfpMjFshaU1bj6NjreiDvMSDpVSeBmqk-kbWrPw@mail.gmail.com>
 <CA+HiwqHOejJk0_qMuM5g38h70hY_JvHMAKwnH3k=urfTXauPQA@mail.gmail.com>
 <CA+HiwqFsGKM82oaMby3VWYXf_XFpDAMeT+6SXgj-45HpTrS1dA@mail.gmail.com>
 <CA+HiwqFA5hUWYktt3VMh4zQOYMxqH-MpdX8eemfM+o-9dY-zbQ@mail.gmail.com>
 <CA+HiwqEn7bbUXaXO=SmUujBjJSHfS31cwQroHRBwT0sR=66bgg@mail.gmail.com>
 <CA+HiwqGGLDTd1ZTK1c0zv4La7XOVSVMqBuNtscJeh6FyUQvFvA@mail.gmail.com>
 <CA+HiwqE2JFiqqrXdyJVQWY-fMGwzDkLqjXQdUKbPaCpDpxd_2g@mail.gmail.com>
Content-Language: en-US
From: Alexander Lakhin <exclusion@gmail.com>
In-Reply-To: <CA+HiwqE2JFiqqrXdyJVQWY-fMGwzDkLqjXQdUKbPaCpDpxd_2g@mail.gmail.com>
Archived-At: <https://www.postgresql.org/message-id/74839af6-aadc-4f60-ae77-ae65f94bf607%40gmail.com>
Precedence: bulk

This is a multi-part message in MIME format.
--------------xiOi3ALduy8ONhUZ2Pt1ASnI
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit

Hello Amit,

21.02.2025 05:40, Amit Langote wrote:
> I pushed the final piece yesterday.

Please look at new error, produced by the following script,
starting from 525392d57:
CREATE TABLE t(id int) PARTITION BY RANGE (id);
CREATE INDEX idx on t(id);
CREATE TABLE tp_1 PARTITION OF t FOR VALUES FROM (10) TO (20);
CREATE TABLE tp_2 PARTITION OF t FOR VALUES FROM (20) TO (30) PARTITION BY RANGE(id);
CREATE TABLE tp_2_1 PARTITION OF tp_2 FOR VALUES FROM (21) to (22);
CREATE TABLE tp_2_2 PARTITION OF tp_2 FOR VALUES FROM (22) to (23);
CREATE FUNCTION stable_one() RETURNS INT AS $$ BEGIN RETURN 1; END; $$ LANGUAGE plpgsql STABLE;

SELECT min(id) OVER (PARTITION BY id ORDER BY id) FROM t WHERE id >= stable_one();

ERROR:  XX000: trying to open a pruned relation
LOCATION:  ExecGetRangeTableRelation, execUtils.c:830

This issue was discovered with SQLsmith.

Best regards,
Alexander Lakhin
Neon (https://neon.tech)
--------------xiOi3ALduy8ONhUZ2Pt1ASnI
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 8bit

<!DOCTYPE html>
<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <div class="moz-cite-prefix">Hello Amit, <br>
      <br>
      21.02.2025 05:40, Amit Langote wrote:<br>
    </div>
    <blockquote type="cite"
cite="mid:CA+HiwqE2JFiqqrXdyJVQWY-fMGwzDkLqjXQdUKbPaCpDpxd_2g@mail.gmail.com">
      <pre wrap="" class="moz-quote-pre">I pushed the final piece yesterday.
</pre>
    </blockquote>
    <br>
    Please look at new error, produced by the following script,<br>
    starting from 525392d57:<br>
    CREATE TABLE t(id int) PARTITION BY RANGE (id);<br>
    CREATE INDEX idx on t(id);<br>
    CREATE TABLE tp_1 PARTITION OF t FOR VALUES FROM (10) TO (20);<br>
    CREATE TABLE tp_2 PARTITION OF t FOR VALUES FROM (20) TO (30)
    PARTITION BY RANGE(id);<br>
    CREATE TABLE tp_2_1 PARTITION OF tp_2 FOR VALUES FROM (21) to (22);<br>
    CREATE TABLE tp_2_2 PARTITION OF tp_2 FOR VALUES FROM (22) to (23);<br>
    CREATE FUNCTION stable_one() RETURNS INT AS $$ BEGIN RETURN 1; END;
    $$ LANGUAGE plpgsql STABLE;<br>
    <br>
    SELECT min(id) OVER (PARTITION BY id ORDER BY id) FROM t WHERE id
    &gt;= stable_one();<br>
    <br>
    ERROR:  XX000: trying to open a pruned relation<br>
    LOCATION:  ExecGetRangeTableRelation, execUtils.c:830<br>
    <br>
    This issue was discovered with SQLsmith.<br>
    <br>
    Best regards,<br>
    Alexander Lakhin <br>
    Neon (<a class="moz-txt-link-freetext" href="https://neon.tech">https://neon.tech</a>)
  </body>
</html>

--------------xiOi3ALduy8ONhUZ2Pt1ASnI--