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.96) (envelope-from ) id 1woo75-001GUW-1J for pgsql-committers@arkaria.postgresql.org; Tue, 28 Jul 2026 20:09:19 +0000 Received: from localhost ([127.0.0.1] helo=malur.postgresql.org) by malur.postgresql.org with esmtp (Exim 4.96) (envelope-from ) id 1woo74-002XXm-0X for pgsql-committers@arkaria.postgresql.org; Tue, 28 Jul 2026 20:09:18 +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.96) (envelope-from ) id 1woo73-002XXW-35 for pgsql-committers@lists.postgresql.org; Tue, 28 Jul 2026 20:09:17 +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.98.2) (envelope-from ) id 1woo71-00000000nI7-31H6 for pgsql-committers@lists.postgresql.org; Tue, 28 Jul 2026 20:09:17 +0000 Received: from gemulon.postgresql.org ([2001:4800:3e1:1::198]) by mahout.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96) (envelope-from ) id 1woo71-002W1f-17 for pgsql-committers@lists.postgresql.org; Tue, 28 Jul 2026 20:09:15 +0000 Received: from localhost ([127.0.0.1] helo=gemulon.postgresql.org) by gemulon.postgresql.org with esmtp (Exim 4.98.2) (envelope-from ) id 1woo70-00000000hmU-0KmD for pgsql-committers@lists.postgresql.org; Tue, 28 Jul 2026 20:09:14 +0000 Content-Type: multipart/mixed; boundary="===============5394061181224286889==" MIME-Version: 1.0 From: Tom Lane To: pgsql-committers@lists.postgresql.org Subject: pgsql: Fix planner's nullability/strictness logic for ScalarArrayOpExpr X-Auto-Response-Suppress: All Auto-Submitted: auto-generated Message-Id: Date: Tue, 28 Jul 2026 20:09:14 +0000 List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk --===============5394061181224286889== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Rml4IHBsYW5uZXIncyBudWxsYWJpbGl0eS9zdHJpY3RuZXNzIGxvZ2ljIGZvciBTY2FsYXJBcnJh eU9wRXhwci4KCmZpbmRfbm9ubnVsbGFibGVfcmVscyBhbmQgZmluZF9ub25udWxsYWJsZV92YXJz IG1pc3Rha2VubHkgdHJlYXRlZCBhClNjYWxhckFycmF5T3BFeHByIHRoYXQgY291bGQgcmV0dXJu IEZBTFNFIGFzIHN0cmljdCwgYnV0IHRoYXQncyBva2F5Cm9ubHkgYXQgdG9wIGxldmVsIG9mIGEg cXVhbCBleHByZXNzaW9uOyBmdXJ0aGVyIGRvd24sIHdlJ3ZlIGdvdCB0bwppbnNpc3Qgb24gYSBn dWFyYW50ZWVkLU5VTEwgcmVzdWx0LiAgVGhlIHJlc3VsdCB3YXMgdGhhdCB3ZSBjb3VsZCBkcmF3 Cm1pc3Rha2VuIGNvbmNsdXNpb25zIGFib3V0IHdoZXRoZXIgb3V0ZXIgam9pbnMgY2FuIGJlIHNp bXBsaWZpZWQsIGlmCnRoZSBkZWNpc2lvbiBoaW5nZWQgb24gYSBub24tdG9wLWxldmVsIFNjYWxh ckFycmF5T3BFeHByIHdpdGggYQpwb3RlbnRpYWxseS1lbXB0eSBhcnJheSBhcmd1bWVudC4KCkkg YmVsaWV2ZSB0aGlzIGVycm9yIGRhdGVzIHRvIGNvbW1pdCA3MmEwNzBhMzYsIHdoaWNoIHRhdWdo dApmaW5kX25vbm51bGxhYmxlX3JlbHMgdG8gZGVzY2VuZCBpbnRvIG5vbi10b3AtbGV2ZWwgcGFy dHMgb2YgcXVhbApleHByZXNzaW9ucy4gIGlzX3N0cmljdF9zYW9wIChhZGRlZCBlYXJsaWVyIGJ5 IDcyMTUzYzA1OCkgYWxyZWFkeSBoYWQKZW5vdWdoIGludGVsbGlnZW5jZSB0byBkbyB0aGUgY2Fz ZSBjb3JyZWN0bHksIGJ1dCBpdCB3YXNuJ3QgcGFzc2VkIHRoZQpwcm9wZXIgZmxhZywgaWUgInRv cF9sZXZlbCIgbmVlZHMgdG8gYmUgcGFzc2VkIGZvciAiZmFsc2VPSyIuCmUwMDZhMjRhZCBjb3Bp ZWQgdGhhdCBtaXN0YWtlIGludG8gZmluZF9ub25udWxsYWJsZV92YXJzLgoKTGF0ZXIsIG92ZXIt ZWFnZXIgcmVmYWN0b3JpbmcgaW4gY29tbWl0IDJmMTUzZGRmZCBicm9rZQpjb250YWluX25vbnN0 cmljdF9mdW5jdGlvbnMnIGhhbmRsaW5nIG9mIFNjYWxhckFycmF5T3BFeHByIGJ5IHRyZWF0aW5n Cml0IGFzIHRob3VnaCBpdCB3ZXJlIG5vIGRpZmZlcmVudCBmcm9tIGFuIE9wRXhwci4gIEl0IGlz LCBiZWNhdXNlCndlIG11c3QgYWxzbyBwcm92ZSB0aGUgYXJyYXkgaXMgbm9uLWVtcHR5IGJlZm9y ZSBjb25jbHVkaW5nIHRoYXQgdGhlCmV4cHJlc3Npb24gaXMgc3RyaWN0LiAgVGhpcyBjb3VsZCBy ZXN1bHQgaW4gbWlzY2xhc3NpZnlpbmcgYW4KZXhwcmVzc2lvbiBhcyBzdHJpY3Qgd2hlbiBpdCBp cyBub3QsIGxlYWRpbmcgdG8gYXNzb3J0ZWQgcGxhbm5pbmcKbWlzdGFrZXMgc3VjaCBhcyBpbmxp bmluZyBhIFNRTCBmdW5jdGlvbiB0aGF0IHNob3VsZG4ndCBiZSBpbmxpbmVkLgpXZSBjYW4gYWxt b3N0IGZpeCB0aGlzIGJ5IGp1c3QgcmUtYWRkaW5nIHRoZSBwcmV2aW91cyBoYW5kbGluZyBvZgpT Y2FsYXJBcnJheU9wRXhwciBpbiB0aGF0IGZ1bmN0aW9uLCBidXQgZG9pbmcgb25seSB0aGF0IHdv dWxkIGxlYWQgdG8KYWxzbyBjYWxsaW5nIGNoZWNrX2Z1bmN0aW9uc19pbl9ub2RlKCkgYW5kIHRo dXMgcmVkdW5kYW50bHkgY2hlY2tpbmcKdGhlIG9wZXJhdG9yJ3Mgc3RyaWN0bmVzcy4gIEF2b2lk IHRoYXQgYnkgdHVybmluZyB0aGUgaWYtc2VyaWVzIGludG8KYW4gZWxzZS1pZiBjaGFpbiwgYXMg aXQgYXJndWFibHkgc2hvdWxkIGhhdmUgYmVlbiBhbGwgYWxvbmcuCgpUaGUgcmVhc29uIHRoZXNl IGVycm9ycyBoYXZlIGVzY2FwZWQgZGV0ZWN0aW9uIGZvciBkZWNhZGVzIGlzIHRoYXQKdGhleSBh cmUgZXhwb3NlZCBvbmx5IGluIGFyY2FuZSBjb3JuZXIgY2FzZXMuICBTY2FsYXJBcnJheU9wRXhw ciB3aXRoCmFuIGVtcHR5IGFycmF5IGlzbid0IHR5cGljYWwgdXNhZ2UsIGFuZCBldmVuIHdoZW4g dGhhdCdzIHBvc3NpYmxlCnNldmVyYWwgb3RoZXIgY29uZGl0aW9ucyBhcHBseSBiZWZvcmUgdGhl IHBsYW5uZXIgY2FuIHJlYWNoIGEgbWlzdGFrZW4KY29uY2x1c2lvbi4gIFdoaWxlIGl0J3MgcG9z c2libGUgdG8gYnVpbGQgdGVzdCBjYXNlcyBkZW1vbnN0cmF0aW5nCnRoZXNlIG1pc3Rha2VzLCBJ ICh0Z2wpIGp1ZGdlZCB0aGVtIHRvbyBpbmRpcmVjdCBhbmQgc3BlY2lhbC1wdXJwb3NlCnRvIGp1 c3RpZnkgY29uc3VtaW5nIHJlZ3Jlc3Npb24gdGVzdCBjeWNsZXMgZm9yZXZlcm1vcmUuCgpBdXRo b3I6IEF5dXNoIFRpd2FyaSA8YXl1c2h0aXdhcmkuc2xnMDFAZ21haWwuY29tPgpSZXZpZXdlZC1i eTogVG9tIExhbmUgPHRnbEBzc3MucGdoLnBhLnVzPgpEaXNjdXNzaW9uOiBodHRwczovL3Bvc3Rn ci5lcy9tL0NBSlRZc1dWM3ZxUkptU1QtZ3YxTnNYRWVmLXpPbmpWSnBZUzkxMGFCYWl1TWlqNG5G Z0BtYWlsLmdtYWlsLmNvbQpEaXNjdXNzaW9uOiBodHRwczovL3Bvc3Rnci5lcy9tL0NBSlRZc1dX Y0xHbXowZjhfUVBQX0xpcS1mYzctZ2VpRlNDZHFvcTNYR2VSSFBQc1dlQUBtYWlsLmdtYWlsLmNv bQpCYWNrcGF0Y2gtdGhyb3VnaDogMTQKCkJyYW5jaAotLS0tLS0KUkVMXzE5X1NUQUJMRQoKRGV0 YWlscwotLS0tLS0tCmh0dHBzOi8vZ2l0LnBvc3RncmVzcWwub3JnL3BnL2NvbW1pdGRpZmYvOTc0 MGM2OGZmN2FhNWQ1YTJkNDBjM2ZmMDE3MjQ2N2IzOGExN2RmOAoKTW9kaWZpZWQgRmlsZXMKLS0t LS0tLS0tLS0tLS0Kc3JjL2JhY2tlbmQvb3B0aW1pemVyL3V0aWwvY2xhdXNlcy5jIHwgNzQgKysr KysrKysrKysrKysrKysrKystLS0tLS0tLS0tLS0tLS0tCjEgZmlsZSBjaGFuZ2VkLCA0MSBpbnNl cnRpb25zKCspLCAzMyBkZWxldGlvbnMoLSkKCg== --===============5394061181224286889==--