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 1rFGW6-0096FR-UC for pgsql-bugs@arkaria.postgresql.org; Mon, 18 Dec 2023 16:30:55 +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 1rFGW5-00AmiV-8a for pgsql-bugs@arkaria.postgresql.org; Mon, 18 Dec 2023 16:30:53 +0000 Received: from makus.postgresql.org ([2001:4800:3e1:1::229]) by malur.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1rFG2L-00AVB3-UP for pgsql-bugs@lists.postgresql.org; Mon, 18 Dec 2023 16:00:10 +0000 Received: from mahout.postgresql.org ([2001:4800:3e1:1::227]) by makus.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1rFG2J-00B1Qn-8c for pgsql-bugs@lists.postgresql.org; Mon, 18 Dec 2023 16:00:08 +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=7Nyr9suYTuNYzfwn6VfcwHdYJ0uSf7mQcYAPeiErep8=; b=xXHddInRriXt5PiHe9B0mLYwOz nlL6D2y+ttYI6qVEQicFm09yFL0MnlKGkrY+1bChtswRhdN6A83849kapztO9oYwZxzM04g07GLi6 0bbrbCQja2+wsfN4sEN6ShuPRNqOdqjG78bFsFLYeJr8vx1nRuoORnbp0oOvhb+of8arSOZlst8Y5 loiEtcderhGI8GuSBkCCCeox/+bovgNni9ABbcYB6o2R0yMVLb6S78MlWkhMQCIbt1wtpaFuMjaEG CKDLEYPDg6D6+rjK845iE6CgDi3501y4JazVpXutaZorqsL33fI1/JPvXKYuVTPCUAbDvQceDNqLT lGPAMS9Q==; Received: from wrigleys.postgresql.org ([2a02:c0:301:0:ffff::34]) by mahout.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1rFG2I-002fAQ-FP for pgsql-bugs@lists.postgresql.org; Mon, 18 Dec 2023 16:00: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 1rFG2E-008UNq-2h for pgsql-bugs@lists.postgresql.org; Mon, 18 Dec 2023 16:00:03 +0000 Content-Type: multipart/mixed; boundary="===============0416491485010951649==" MIME-Version: 1.0 Subject: BUG #18252: Assert in CheckOpSlotCompatibility() fails when recursive union filters tuples in non-recursive term To: pgsql-bugs@lists.postgresql.org From: PG Bug reporting form Cc: exclusion@gmail.com Reply-To: exclusion@gmail.com, pgsql-bugs@lists.postgresql.org Date: Mon, 18 Dec 2023 16:00:02 +0000 Message-ID: <18252-d46d27900a277d87@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 --===============0416491485010951649== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlIGZvbGxvd2luZyBidWcgaGFzIGJlZW4gbG9nZ2VkIG9uIHRoZSB3ZWJzaXRlOgoKQnVnIHJl ZmVyZW5jZTogICAgICAxODI1MgpMb2dnZWQgYnk6ICAgICAgICAgIEFsZXhhbmRlciBMYWtoaW4K RW1haWwgYWRkcmVzczogICAgICBleGNsdXNpb25AZ21haWwuY29tClBvc3RncmVTUUwgdmVyc2lv bjogMTYuMQpPcGVyYXRpbmcgc3lzdGVtOiAgIFVidW50dSAyMi4wNApEZXNjcmlwdGlvbjogICAg ICAgIAoKVGhlIGZvbGxvd2luZyBxdWVyeToNCkNSRUFURSBUQUJMRSB0KGkgaW50KTsNCklOU0VS VCBJTlRPIHQgVkFMVUVTICgxKSwgKDEpOw0KDQpXSVRIIFJFQ1VSU0lWRSBydChpKSBBUyAoDQog ICAgU0VMRUNUICogRlJPTSB0DQogICAgVU5JT04NCiAgICBTRUxFQ1QgKiBGUk9NIHJ0DQopDQpT RUxFQ1QgKiBGUk9NIHJ0Ow0KDQp0cmlnZ2VycyBhbiBhc3NlcnRpb24gZmFpbHVyZSB3aXRoIHRo ZSBmb2xsb3dpbmcgY2FsbCBzdGFjazoNCkNvcmUgd2FzIGdlbmVyYXRlZCBieSBgcG9zdGdyZXM6 IGxhdyByZWdyZXNzaW9uIFtsb2NhbF0gU0VMRUNUICAgICAgICAgICAgICAKICAgICAgICAgICAg ICAgICAgICAgICAgJy4NClByb2dyYW0gdGVybWluYXRlZCB3aXRoIHNpZ25hbCBTSUdBQlJULCBB Ym9ydGVkLg0KDQp3YXJuaW5nOiBTZWN0aW9uIGAucmVnLXhzdGF0ZS8xNDA4OTQ1JyBpbiBjb3Jl IGZpbGUgdG9vIHNtYWxsLg0KIzAgIF9fcHRocmVhZF9raWxsX2ltcGxlbWVudGF0aW9uIChub190 aWQ9MCwgc2lnbm89NiwKdGhyZWFkaWQ9MTQwMjc3MDkyOTI3Mjk2KSBhdCAuL25wdGwvcHRocmVh ZF9raWxsLmM6NDQNCjQ0ICAgICAgLi9ucHRsL3B0aHJlYWRfa2lsbC5jOiBObyBzdWNoIGZpbGUg b3IgZGlyZWN0b3J5Lg0KKGdkYikgYnQNCiMwICBfX3B0aHJlYWRfa2lsbF9pbXBsZW1lbnRhdGlv biAobm9fdGlkPTAsIHNpZ25vPTYsCnRocmVhZGlkPTE0MDI3NzA5MjkyNzI5NikgYXQgLi9ucHRs L3B0aHJlYWRfa2lsbC5jOjQ0DQojMSAgX19wdGhyZWFkX2tpbGxfaW50ZXJuYWwgKHNpZ25vPTYs IHRocmVhZGlkPTE0MDI3NzA5MjkyNzI5NikgYXQKLi9ucHRsL3B0aHJlYWRfa2lsbC5jOjc4DQoj MiAgX19HSV9fX3B0aHJlYWRfa2lsbCAodGhyZWFkaWQ9MTQwMjc3MDkyOTI3Mjk2LCBzaWdubz1z aWdub0BlbnRyeT02KSBhdAouL25wdGwvcHRocmVhZF9raWxsLmM6ODkNCiMzICAweDAwMDA3Zjk0 Y2RhZjA0NzYgaW4gX19HSV9yYWlzZSAoc2lnPXNpZ0BlbnRyeT02KSBhdAouLi9zeXNkZXBzL3Bv c2l4L3JhaXNlLmM6MjYNCiM0ICAweDAwMDA3Zjk0Y2RhZDY3ZjMgaW4gX19HSV9hYm9ydCAoKSBh dCAuL3N0ZGxpYi9hYm9ydC5jOjc5DQojNSAgMHgwMDAwNTY0MzFhNDY4OTBkIGluIEV4Y2VwdGlv bmFsQ29uZGl0aW9uIChjb25kaXRpb25OYW1lPTB4NTY0MzFhNWZlOTI4CiJvcC0+ZC5mZXRjaC5r aW5kID09IHNsb3QtPnR0c19vcHMiLCBmaWxlTmFtZT0weDU2NDMxYTVmZTY0YQoiZXhlY0V4cHJJ bnRlcnAuYyIsIGxpbmVOdW1iZXI9MjAwNSkgYXQgYXNzZXJ0LmM6NjYNCiM2ICAweDAwMDA1NjQz MTlmYmVjYTEgaW4gQ2hlY2tPcFNsb3RDb21wYXRpYmlsaXR5IChvcD0weDU2NDMxYzNjZWUzMCwK c2xvdD0weDU2NDMxYzNjZTU4OCkgYXQgZXhlY0V4cHJJbnRlcnAuYzoyMDA1DQojNyAgMHgwMDAw NTY0MzE5ZmJiOWQ1IGluIEV4ZWNJbnRlcnBFeHByIChzdGF0ZT0weDU2NDMxYzNjZWRhMCwKZWNv bnRleHQ9MHg1NjQzMWMzY2YzMzAsIGlzbnVsbD0weDdmZmQ2MjdkZGRmZikgYXQgZXhlY0V4cHJJ bnRlcnAuYzo1MzQNCiM4ICAweDAwMDA1NjQzMTlmYmU4ZDkgaW4gRXhlY0ludGVycEV4cHJTdGls bFZhbGlkIChzdGF0ZT0weDU2NDMxYzNjZWRhMCwKZWNvbnRleHQ9MHg1NjQzMWMzY2YzMzAsIGlz TnVsbD0weDdmZmQ2MjdkZGRmZikgYXQgZXhlY0V4cHJJbnRlcnAuYzoxODcwDQojOSAgMHgwMDAw NTY0MzE5ZmM0ODdmIGluIEV4ZWNFdmFsRXhwclN3aXRjaENvbnRleHQgKHN0YXRlPTB4NTY0MzFj M2NlZGEwLAplY29udGV4dD0weDU2NDMxYzNjZjMzMCwgaXNOdWxsPTB4N2ZmZDYyN2RkZGZmKSBh dAouLi8uLi8uLi9zcmMvaW5jbHVkZS9leGVjdXRvci9leGVjdXRvci5oOjM1NQ0KIzEwIDB4MDAw MDU2NDMxOWZjNDkwOSBpbiBFeGVjUXVhbCAoc3RhdGU9MHg1NjQzMWMzY2VkYTAsCmVjb250ZXh0 PTB4NTY0MzFjM2NmMzMwKSBhdCAuLi8uLi8uLi9zcmMvaW5jbHVkZS9leGVjdXRvci9leGVjdXRv ci5oOjQyNA0KIzExIDB4MDAwMDU2NDMxOWZjNDk3OCBpbiBFeGVjUXVhbEFuZFJlc2V0IChzdGF0 ZT0weDU2NDMxYzNjZWRhMCwKZWNvbnRleHQ9MHg1NjQzMWMzY2YzMzApIGF0IC4uLy4uLy4uL3Ny Yy9pbmNsdWRlL2V4ZWN1dG9yL2V4ZWN1dG9yLmg6NDQxDQojMTIgMHgwMDAwNTY0MzE5ZmM2OTU3 IGluIFR1cGxlSGFzaFRhYmxlTWF0Y2ggKHRiPTB4NTY0MzFjM2NlYmIwLAp0dXBsZTE9MHg1NjQz MWM0MDMyZTgsIHR1cGxlMj0weDApIGF0IGV4ZWNHcm91cGluZy5jOjU1OQ0KIzEzIDB4MDAwMDU2 NDMxOWZjNTI0MCBpbiB0dXBsZWhhc2hfaW5zZXJ0X2hhc2hfaW50ZXJuYWwgKHRiPTB4NTY0MzFj M2NlYmIwLAprZXk9MHgwLCBoYXNoPTIwNzIxNTQzODMsIGZvdW5kPTB4N2ZmZDYyN2RkZjc3KSBh dAouLi8uLi8uLi9zcmMvaW5jbHVkZS9saWIvc2ltcGxlaGFzaC5oOjY1Mw0KIzE0IDB4MDAwMDU2 NDMxOWZjNTU5YiBpbiB0dXBsZWhhc2hfaW5zZXJ0X2hhc2ggKHRiPTB4NTY0MzFjM2NlYmIwLCBr ZXk9MHgwLApoYXNoPTIwNzIxNTQzODMsIGZvdW5kPTB4N2ZmZDYyN2RkZjc3KSBhdAouLi8uLi8u Li9zcmMvaW5jbHVkZS9saWIvc2ltcGxlaGFzaC5oOjc3NA0KIzE1IDB4MDAwMDU2NDMxOWZjNjdm YSBpbiBMb29rdXBUdXBsZUhhc2hFbnRyeV9pbnRlcm5hbAooaGFzaHRhYmxlPTB4NTY0MzFjM2Nl YjIwLCBzbG90PTB4NTY0MzFjM2NlNTg4LCBpc25ldz0weDdmZmQ2MjdkZTAwZiwKaGFzaD0yMDcy MTU0MzgzKSBhdCBleGVjR3JvdXBpbmcuYzo1MDcNCiMxNiAweDAwMDA1NjQzMTlmYzY0MmUgaW4g TG9va3VwVHVwbGVIYXNoRW50cnkgKGhhc2h0YWJsZT0weDU2NDMxYzNjZWIyMCwKc2xvdD0weDU2 NDMxYzNjZTU4OCwgaXNuZXc9MHg3ZmZkNjI3ZGUwMGYsIGhhc2g9MHgwKSBhdCBleGVjR3JvdXBp bmcuYzozMjINCiMxNyAweDAwMDA1NjQzMWEwMWJjMWUgaW4gRXhlY1JlY3Vyc2l2ZVVuaW9uIChw c3RhdGU9MHg1NjQzMWMzY2RjMzgpIGF0Cm5vZGVSZWN1cnNpdmV1bmlvbi5jOjk3DQojMTggMHgw MDAwNTY0MzE5ZmYzYzkyIGluIEV4ZWNQcm9jTm9kZSAobm9kZT0weDU2NDMxYzNjZGMzOCkgYXQK Li4vLi4vLi4vc3JjL2luY2x1ZGUvZXhlY3V0b3IvZXhlY3V0b3IuaDoyNzMNCiMxOSAweDAwMDA1 NjQzMTlmZjNkZDkgaW4gQ3RlU2Nhbk5leHQgKG5vZGU9MHg1NjQzMWMzY2Y0MTApIGF0Cm5vZGVD dGVzY2FuLmM6MTAzDQojMjAgMHgwMDAwNTY0MzE5ZmRhNGQzIGluIEV4ZWNTY2FuRmV0Y2ggKG5v ZGU9MHg1NjQzMWMzY2Y0MTAsCmFjY2Vzc010ZD0weDU2NDMxOWZmM2M5NCA8Q3RlU2Nhbk5leHQ+ LCByZWNoZWNrTXRkPTB4NTY0MzE5ZmYzZTVkCjxDdGVTY2FuUmVjaGVjaz4pIGF0IGV4ZWNTY2Fu LmM6MTMyDQojMjEgMHgwMDAwNTY0MzE5ZmRhNTRjIGluIEV4ZWNTY2FuIChub2RlPTB4NTY0MzFj M2NmNDEwLAphY2Nlc3NNdGQ9MHg1NjQzMTlmZjNjOTQgPEN0ZVNjYW5OZXh0PiwgcmVjaGVja010 ZD0weDU2NDMxOWZmM2U1ZAo8Q3RlU2NhblJlY2hlY2s+KSBhdCBleGVjU2Nhbi5jOjE4MQ0KIzIy IDB4MDAwMDU2NDMxOWZmM2ViNiBpbiBFeGVjQ3RlU2NhbiAocHN0YXRlPTB4NTY0MzFjM2NmNDEw KSBhdApub2RlQ3Rlc2Nhbi5jOjE2NA0KIzIzIDB4MDAwMDU2NDMxOWZjOGYzZCBpbiBFeGVjUHJv Y05vZGUgKG5vZGU9MHg1NjQzMWMzY2Y0MTApIGF0Ci4uLy4uLy4uL3NyYy9pbmNsdWRlL2V4ZWN1 dG9yL2V4ZWN1dG9yLmg6MjczDQojMjQgMHgwMDAwNTY0MzE5ZmNiZWY1IGluIEV4ZWN1dGVQbGFu IChlc3RhdGU9MHg1NjQzMWMzY2Q5NjgsCnBsYW5zdGF0ZT0weDU2NDMxYzNjZjQxMCwgdXNlX3Bh cmFsbGVsX21vZGU9ZmFsc2UsIG9wZXJhdGlvbj1DTURfU0VMRUNULApzZW5kVHVwbGVzPXRydWUs IG51bWJlclR1cGxlcz0wLCBkaXJlY3Rpb249Rm9yd2FyZFNjYW5EaXJlY3Rpb24sCmRlc3Q9MHg1 NjQzMWMzZGZkNDAsIA0KICAgIGV4ZWN1dGVfb25jZT10cnVlKSBhdCBleGVjTWFpbi5jOjE2NzAN CiMyNSAweDAwMDA1NjQzMTlmYzk2MjUgaW4gc3RhbmRhcmRfRXhlY3V0b3JSdW4gKHF1ZXJ5RGVz Yz0weDU2NDMxYzMyMGMxOCwKZGlyZWN0aW9uPUZvcndhcmRTY2FuRGlyZWN0aW9uLCBjb3VudD0w LCBleGVjdXRlX29uY2U9dHJ1ZSkgYXQKZXhlY01haW4uYzozNjUNCiMyNiAweDAwMDA1NjQzMTlm Yzk0MmUgaW4gRXhlY3V0b3JSdW4gKHF1ZXJ5RGVzYz0weDU2NDMxYzMyMGMxOCwKZGlyZWN0aW9u PUZvcndhcmRTY2FuRGlyZWN0aW9uLCBjb3VudD0wLCBleGVjdXRlX29uY2U9dHJ1ZSkgYXQKZXhl Y01haW4uYzozMDkNCiMyNyAweDAwMDA1NjQzMWEyODYzZWMgaW4gUG9ydGFsUnVuU2VsZWN0IChw b3J0YWw9MHg1NjQzMWMzNzFjZDgsCmZvcndhcmQ9dHJ1ZSwgY291bnQ9MCwgZGVzdD0weDU2NDMx YzNkZmQ0MCkgYXQgcHF1ZXJ5LmM6OTI0DQojMjggMHgwMDAwNTY0MzFhMjg2MDE0IGluIFBvcnRh bFJ1biAocG9ydGFsPTB4NTY0MzFjMzcxY2Q4LApjb3VudD05MjIzMzcyMDM2ODU0Nzc1ODA3LCBp c1RvcExldmVsPXRydWUsIHJ1bl9vbmNlPXRydWUsCmRlc3Q9MHg1NjQzMWMzZGZkNDAsIGFsdGRl c3Q9MHg1NjQzMWMzZGZkNDAsIHFjPTB4N2ZmZDYyN2RlNTIwKSBhdApwcXVlcnkuYzo3NjgNCiMy OSAweDAwMDA1NjQzMWEyN2VkZDQgaW4gZXhlY19zaW1wbGVfcXVlcnkgKHF1ZXJ5X3N0cmluZz0w eDU2NDMxYzJmNjdhOAoiV0lUSCBSRUNVUlNJVkUgcnQoaSkgQVMgKFxuICAgIFNFTEVDVCAqIEZS T00gdFxuICAgIFVOSU9OXG4gICAgU0VMRUNUICoKRlJPTSBydFxuKVxuU0VMRUNUICogRlJPTSBy dDsiKSBhdCBwb3N0Z3Jlcy5jOjEyNzQNCiMzMCAweDAwMDA1NjQzMWEyODNlNDIgaW4gUG9zdGdy ZXNNYWluIChkYm5hbWU9MHg1NjQzMWMzMmZjMzggInJlZ3Jlc3Npb24iLAp1c2VybmFtZT0weDU2 NDMxYzJmMjdkOCAibGF3IikgYXQgcG9zdGdyZXMuYzo0NjM3DQojMzEgMHgwMDAwNTY0MzFhMWE0 YzVlIGluIEJhY2tlbmRSdW4gKHBvcnQ9MHg1NjQzMWMzMjMwYTApIGF0CnBvc3RtYXN0ZXIuYzo0 NDY0DQojMzIgMHgwMDAwNTY0MzFhMWE0NGVhIGluIEJhY2tlbmRTdGFydHVwIChwb3J0PTB4NTY0 MzFjMzIzMGEwKSBhdApwb3N0bWFzdGVyLmM6NDE5Mg0KIzMzIDB4MDAwMDU2NDMxYTFhMDgyZiBp biBTZXJ2ZXJMb29wICgpIGF0IHBvc3RtYXN0ZXIuYzoxNzgyDQojMzQgMHgwMDAwNTY0MzFhMWEw MGQ5IGluIFBvc3RtYXN0ZXJNYWluIChhcmdjPTMsIGFyZ3Y9MHg1NjQzMWMyZjA3MTApIGF0CnBv c3RtYXN0ZXIuYzoxNDY2DQojMzUgMHgwMDAwNTY0MzFhMDU0NTE4IGluIG1haW4gKGFyZ2M9Mywg YXJndj0weDU2NDMxYzJmMDcxMCkgYXQgbWFpbi5jOjE5OA0KDQooZ2RiKSBmcmFtZSA2DQojNiAg MHgwMDAwNTY0MzE5ZmJlY2ExIGluIENoZWNrT3BTbG90Q29tcGF0aWJpbGl0eSAob3A9MHg1NjQz MWMzY2VlMzAsCnNsb3Q9MHg1NjQzMWMzY2U1ODgpDQogICAgYXQgZXhlY0V4cHJJbnRlcnAuYzoy MDA1DQoyMDA1ICAgICAgICAgICAgQXNzZXJ0KG9wLT5kLmZldGNoLmtpbmQgPT0gc2xvdC0+dHRz X29wcyk7DQooZ2RiKSBwIG9wLT5kLmZldGNoLmtpbmQNCiQxID0gKGNvbnN0IFR1cGxlVGFibGVT bG90T3BzICopIDB4NTY0MzFhN2ViY2MwIDxUVFNPcHNNaW5pbWFsVHVwbGU+DQooZ2RiKSBwIHNs b3QtPnR0c19vcHMNCiQyID0gKGNvbnN0IFR1cGxlVGFibGVTbG90T3BzICogY29uc3QpIDB4NTY0 MzFhN2ViZDIwCjxUVFNPcHNCdWZmZXJIZWFwVHVwbGU+DQoNCldpdGggIklOU0VSVCBJTlRPIHQg VkFMVUVTICgxKSwgKDIpIiB0aGUgYXNzZXJ0IGlzIG5vdCByZWFjaGVkIGR1cmluZw0KcHJvY2Vz c2luZyBvZiB0aGUgbm9uLXJlY3Vyc2l2ZSB0ZXJtLg0KDQpSZXByb2R1Y2VkIG9uIFJFTF8xMl9T VEFCTEUgLi4gbWFzdGVyLg0KVGhpcyBjaGVjayBmYWlsdXJlIGNhbiBiZSBvYnNlcnZlZCBzaW5j ZSB0aGUgaW50cm9kdWN0aW9uIG9mDQpDaGVja09wU2xvdENvbXBhdGliaWxpdHkgKDE1ZDhmODMx MikgKyBmOTJjZDczOTIuCgo= --===============0416491485010951649==--