Received: from malur.postgresql.org ([217.196.149.56]) by arkaria.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1u95Yf-00FF3B-Ji for pgsql-bugs@arkaria.postgresql.org; Sun, 27 Apr 2025 17:12:49 +0000 Received: from localhost ([127.0.0.1] helo=malur.postgresql.org) by malur.postgresql.org with esmtp (Exim 4.94.2) (envelope-from ) id 1u95Yd-009nqA-FA for pgsql-bugs@arkaria.postgresql.org; Sun, 27 Apr 2025 17:12:48 +0000 Received: from magus.postgresql.org ([2a02:c0:301:0:ffff::29]) by malur.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1u94et-009cuB-Uv for pgsql-bugs@lists.postgresql.org; Sun, 27 Apr 2025 16:15:13 +0000 Received: from mahout.postgresql.org ([2001:4800:3e1:1::227]) by magus.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96) (envelope-from ) id 1u94ep-002Ltm-0o for pgsql-bugs@lists.postgresql.org; Sun, 27 Apr 2025 16:15:12 +0000 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=postgresql.org; s=20171124; h=Message-ID:Date:Reply-To:Cc:From:To:Subject: MIME-Version:Content-Type:Sender:Content-Transfer-Encoding:Content-ID: Content-Description:In-Reply-To:References; bh=HU+b0CXvH2Cixo0LlhUYvAsSEthStN8lcwx2f3p5Rlg=; b=qiiNg83GIjRi+4kOPricAPRN6o noFXmzyTKK58KQjTI4dw/j441q0ISjdfsCJxnCbCqMpLjojs//bvI5TyiP6+yeBsKkS3LY4hXkmnI 4+F+CEPJGpCdZAwTRwWcXeF5kHQvyJNkrupH5QC6b1uq85a9fm8aTH/oxWwkZc33XdkU5V3TI6pYQ MFB8n+XWe3/IFrH5JGelTVYrVp+DozxcvVBx9ucoJZ+L4K3i+1MMn4dlMX4lkBeXVFBH58tGjcFlr bfOZtShXuHwq3dHnu024dGnxtbXjVUY2c+8pEktr1PLcO6OnIIqjyH6jJnqyoWhvrlYwZUsOeGg7y kJCI5n7w==; Received: from wrigleys.postgresql.org ([2a02:16a8:dc51::60]) by mahout.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1u94em-006Yil-7f for pgsql-bugs@lists.postgresql.org; Sun, 27 Apr 2025 16:15:06 +0000 Received: from localhost ([127.0.0.1] helo=wrigleys.postgresql.org) by wrigleys.postgresql.org with esmtp (Exim 4.94.2) (envelope-from ) id 1u94ek-000gWT-Kf for pgsql-bugs@lists.postgresql.org; Sun, 27 Apr 2025 16:15:03 +0000 Content-Type: multipart/mixed; boundary="===============3303273256815766757==" MIME-Version: 1.0 Subject: BUG #18904: INTERSECT with an impossible where should eliminate both from the query plan To: pgsql-bugs@lists.postgresql.org From: PG Bug reporting form Cc: jh.lai@qq.com Reply-To: jh.lai@qq.com, pgsql-bugs@lists.postgresql.org Date: Sun, 27 Apr 2025 16:15:02 +0000 Message-ID: <18904-c5fea7892f4d26ed@postgresql.org> X-Auto-Response-Suppress: All Auto-Submitted: auto-generated List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk --===============3303273256815766757== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlIGZvbGxvd2luZyBidWcgaGFzIGJlZW4gbG9nZ2VkIG9uIHRoZSB3ZWJzaXRlOgoKQnVnIHJl ZmVyZW5jZTogICAgICAxODkwNApMb2dnZWQgYnk6ICAgICAgICAgIGppbmh1aSBsYWkKRW1haWwg YWRkcmVzczogICAgICBqaC5sYWlAcXEuY29tClBvc3RncmVTUUwgdmVyc2lvbjogMTcuNApPcGVy YXRpbmcgc3lzdGVtOiAgIHVidW50dQpEZXNjcmlwdGlvbjogICAgICAgIAoKRGVhciBQb3N0Z3Jl cyBEZXZlbG9wZXIsCklmIHlvdSBoYXZlIGEgcXVlcnkgb2YgdGhlIGZvcm06ClExIElOVEVSU0VD VCBRMiAuLi4gSU5URVJTRUNUIFFuLApJbiBzdWNoIGNhc2VzLCAgeW91IGtub3cgdGhhdCBxdWVy eSBRbiBhbHdheXMgcmV0dXJucyBhbiBlbXB0eSBzZXQoZS5nLiwgYQpxdWVyeSB3aXRoIFdIRVJF IDE9MiksIHRoZW4gdGhlIGVudGlyZSBpbnRlcnNlY3Rpb24gd2lsbCBhbHdheXMgYmUgZW1wdHku CkkgdGhpbmsgdGhhdCBzdWNoIHF1ZXJpZXMgc2hvdWxkIGJlIGVsaW1pbmF0ZWQgZHVyaW5nIG9w dGltaXphdGlvbiwgYXMgdGhleQp3aWxsIGFsd2F5cyByZXR1cm4gYW4gZW1wdHkgc2V0IGFuZCBz aG91bGQgbmV2ZXIgY29uc3VtZSBleGVjdXRpb24gdGltZS4KQmVzdCByZWdhcmRzLAoxLiBIb3cg dG8gcmVwZWF0Pwpkb2NrZXIgcHVsbCBwb3N0Z3JlczpsYXRlc3QKZG9ja2VyIHJ1biAtLW5hbWUg cG9zdGdyZXMgLWUgUE9TVEdSRVNfUEFTU1dPUkQ9MTIxMyAtZCAtcCA1NDMyOjU0MzIKcG9zdGdy ZXMKZG9ja2VyIGV4ZWMgLWl0IHBvc3RncmVzIHBzcWwgLVUgcG9zdGdyZXMgLWMgIkNSRUFURSBE QVRBQkFTRSB0ZXN0ZGI7Igpkb2NrZXIgZXhlYyAtaXQgcG9zdGdyZXMgcGdiZW5jaCAtVSBwb3N0 Z3JlcyAtaSAtcyAxMCB0ZXN0ZGIKZG9ja2VyIGV4ZWMgLWl0ICBwb3N0Z3JlcyBwc3FsIC1VIHBv c3RncmVzCnBzcWwgKDE3LjQgKERlYmlhbiAxNy40LTEucGdkZzEyMCsyKSkKVHlwZSAiaGVscCIg Zm9yIGhlbHAuClx0aW1pbmcgb24KU0VMRUNUICogRlJPTSBwZ2JlbmNoX2FjY291bnRzIENST1NT IEpPSU4gcGdiZW5jaF90ZWxsZXJzIFdIRVJFIDE9MjsKIGFpZCB8IGJpZCB8IGFiYWxhbmNlIHwg ZmlsbGVyIHwgdGlkIHwgYmlkIHwgdGJhbGFuY2UgfCBmaWxsZXIKLS0tLS0rLS0tLS0rLS0tLS0t LS0tLSstLS0tLS0tLSstLS0tLSstLS0tLSstLS0tLS0tLS0tKy0tLS0tLS0tCigwIHJvd3MpClRp bWU6IDAuNDk5IG1zClNFTEVDVCAqIEZST00gcGdiZW5jaF9hY2NvdW50cyBDUk9TUyBKT0lOIHBn YmVuY2hfdGVsbGVycwpJTlRFUlNFQ1QKU0VMRUNUICogRlJPTSBwZ2JlbmNoX2FjY291bnRzIENS T1NTIEpPSU4gcGdiZW5jaF90ZWxsZXJzIFdIRVJFIDE9MjsKIGFpZCB8IGJpZCB8IGFiYWxhbmNl IHwgZmlsbGVyIHwgdGlkIHwgYmlkIHwgdGJhbGFuY2UgfCBmaWxsZXIKLS0tLS0rLS0tLS0rLS0t LS0tLS0tLSstLS0tLS0tLSstLS0tLSstLS0tLSstLS0tLS0tLS0tKy0tLS0tLS0tCigwIHJvd3Mp ClRpbWU6IDE2MDU4Ljc2OSBtcyAoMDA6MTYuMDU5KQpFWFBMQUlOIFNFTEVDVCAqIEZST00gcGdi ZW5jaF9hY2NvdW50cyBDUk9TUyBKT0lOIHBnYmVuY2hfdGVsbGVycwpJTlRFUlNFQ1QKU0VMRUNU ICogRlJPTSBwZ2JlbmNoX2FjY291bnRzIENST1NTIEpPSU4gcGdiZW5jaF90ZWxsZXJzIFdIRVJF IDE9MjsKUVVFUlkgUExBTgotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0KIEhhc2hTZXRPcCBJbnRlcnNlY3QgIChjb3N0PTAuMDAuLjQ3NzYzOTYuMjggcm93cz0xIHdp ZHRoPTcwOCkKICAgLT4gIEFwcGVuZCAgKGNvc3Q9MC4wMC4uMjc3NjM5Ni4yNSByb3dzPTEwMDAw MDAwMSB3aWR0aD03MDgpCiAgICAgICAgIC0+ICBTdWJxdWVyeSBTY2FuIG9uICIqU0VMRUNUKiAy IiAgKGNvc3Q9MC4wMC4uMC4wMCByb3dzPTEKd2lkdGg9NDUzKQogICAgICAgICAgICAgICAtPiAg UmVzdWx0ICAoY29zdD0wLjAwLi4wLjAwIHJvd3M9MCB3aWR0aD00NDkpCiAgICAgICAgICAgICAg ICAgICAgIE9uZS1UaW1lIEZpbHRlcjogZmFsc2UKICAgICAgICAgLT4gIFN1YnF1ZXJ5IFNjYW4g b24gIipTRUxFQ1QqIDEiICAoY29zdD0wLjAwLi4yMjc2Mzk2LjI1CnJvd3M9MTAwMDAwMDAwIHdp ZHRoPTQ1MykKICAgICAgICAgICAgICAgLT4gIE5lc3RlZCBMb29wICAoY29zdD0wLjAwLi4xMjc2 Mzk2LjI1IHJvd3M9MTAwMDAwMDAwCndpZHRoPTQ0OSkKICAgICAgICAgICAgICAgICAgICAgLT4g IFNlcSBTY2FuIG9uIHBnYmVuY2hfYWNjb3VudHMgIChjb3N0PTAuMDAuLjI2Mzk0LjAwCnJvd3M9 MTAwMDAwMCB3aWR0aD05NykKICAgICAgICAgICAgICAgICAgICAgLT4gIE1hdGVyaWFsaXplICAo Y29zdD0wLjAwLi4yLjUwIHJvd3M9MTAwIHdpZHRoPTM1MikKICAgICAgICAgICAgICAgICAgICAg ICAgICAgLT4gIFNlcSBTY2FuIG9uIHBnYmVuY2hfdGVsbGVycyAgKGNvc3Q9MC4wMC4uMi4wMApy b3dzPTEwMCB3aWR0aD0zNTIpCiBKSVQ6CiAgIEZ1bmN0aW9uczogOQogICBPcHRpb25zOiBJbmxp bmluZyB0cnVlLCBPcHRpbWl6YXRpb24gdHJ1ZSwgRXhwcmVzc2lvbnMgdHJ1ZSwgRGVmb3JtaW5n CnRydWUKKDEzIHJvd3MpCjIuIFdoYXQgZG8gaSBleHBlY3QgdG8gc2VlPwpTRUxFQ1QgKiBGUk9N IHBnYmVuY2hfYWNjb3VudHMgQ1JPU1MgSk9JTiBwZ2JlbmNoX3RlbGxlcnMKSU5URVJTRUNUClNF TEVDVCAqIEZST00gcGdiZW5jaF9hY2NvdW50cyBDUk9TUyBKT0lOIHBnYmVuY2hfdGVsbGVycyBX SEVSRSAxPTI7CiBhaWQgfCBiaWQgfCBhYmFsYW5jZSB8IGZpbGxlciB8IHRpZCB8IGJpZCB8IHRi YWxhbmNlIHwgZmlsbGVyCi0tLS0tKy0tLS0tKy0tLS0tLS0tLS0rLS0tLS0tLS0rLS0tLS0rLS0t LS0rLS0tLS0tLS0tLSstLS0tLS0tLQooMCByb3dzKQpUaW1lOiAwLjQ5OSBtcyAoZmV3IHRpbWUp CjMuIFdoYXQgZG8gaSBzZWUgaW5zdGVhZApTRUxFQ1QgKiBGUk9NIHBnYmVuY2hfYWNjb3VudHMg Q1JPU1MgSk9JTiBwZ2JlbmNoX3RlbGxlcnMKSU5URVJTRUNUClNFTEVDVCAqIEZST00gcGdiZW5j aF9hY2NvdW50cyBDUk9TUyBKT0lOIHBnYmVuY2hfdGVsbGVycyBXSEVSRSAxPTI7CiBhaWQgfCBi aWQgfCBhYmFsYW5jZSB8IGZpbGxlciB8IHRpZCB8IGJpZCB8IHRiYWxhbmNlIHwgZmlsbGVyCi0t LS0tKy0tLS0tKy0tLS0tLS0tLS0rLS0tLS0tLS0rLS0tLS0rLS0tLS0rLS0tLS0tLS0tLSstLS0t LS0tLQooMCByb3dzKQpUaW1lOiAxNjA1OC43NjkgbXMgKDAwOjE2LjA1OSkKCg== --===============3303273256815766757==--