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 1sNFpP-007aNx-5x for pgsql-bugs@arkaria.postgresql.org; Fri, 28 Jun 2024 17:56:07 +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 1sNFpN-0068uX-Df for pgsql-bugs@arkaria.postgresql.org; Fri, 28 Jun 2024 17:56:05 +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 1sN5p8-001x2Q-V5 for pgsql-bugs@lists.postgresql.org; Fri, 28 Jun 2024 07:15:11 +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.94.2) (envelope-from ) id 1sN5p6-003x89-GK for pgsql-bugs@lists.postgresql.org; Fri, 28 Jun 2024 07:15:10 +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=s2mKMcoEt4BMQiuELHb50+CNHwyyUKjHWsOCYOAg95M=; b=c5A4o7jKcWFXclgoem+xnr4q6T b9kCzFUM0L0lWu0klJg8p4KB23oQCsZa9mtu52ccFix4khTNEYa/zSKe4zR1fqKW3hjt/d94zKx46 MepY8aFPntRn32LL0X0NmrVyxyOAAZ+0pZ6rBhnPDde7imvwzldPdlrGSN/WUe3NTVRzTleIJ2aql AdcbMtEfZ1JWXN6CIC8OS2d+c+buyoTE+PsMDEC4KgUJjKiHVcyoSI6G9w5hXjROUbAxIf58rVeH1 YJLhwWoQkmdgOjCCdoFsL7RYWm4snyA6XViP8oMf0TrAqUf5t5SRFG2Jrr9OQ2PwJLGoJncpy0Q4/ wLkzpK1A==; 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 1sN5p4-00B5Io-0h for pgsql-bugs@lists.postgresql.org; Fri, 28 Jun 2024 07:15:07 +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 1sN5p2-005agc-9J for pgsql-bugs@lists.postgresql.org; Fri, 28 Jun 2024 07:15:04 +0000 Content-Type: multipart/mixed; boundary="===============5420769551658671853==" MIME-Version: 1.0 Subject: BUG #18525: Boolean aggregate functions like EVERY/BOOL_AND should shortcut To: pgsql-bugs@lists.postgresql.org From: PG Bug reporting form Cc: blamario@protonmail.com Reply-To: blamario@protonmail.com, pgsql-bugs@lists.postgresql.org Date: Fri, 28 Jun 2024 07:14:21 +0000 Message-ID: <18525-b36c2e34bde50082@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 --===============5420769551658671853== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlIGZvbGxvd2luZyBidWcgaGFzIGJlZW4gbG9nZ2VkIG9uIHRoZSB3ZWJzaXRlOgoKQnVnIHJl ZmVyZW5jZTogICAgICAxODUyNQpMb2dnZWQgYnk6ICAgICAgICAgIE1hcmlvCkVtYWlsIGFkZHJl c3M6ICAgICAgYmxhbWFyaW9AcHJvdG9ubWFpbC5jb20KUG9zdGdyZVNRTCB2ZXJzaW9uOiAxMy4x MApPcGVyYXRpbmcgc3lzdGVtOiAgIExpbnV4CkRlc2NyaXB0aW9uOiAgICAgICAgCgpUaGlzIGlz IGEgZmVhdHVyZSByZXF1ZXN0LCBub3QgYSBidWcgc3RyaWN0bHkgc3BlYWtpbmcuIEknbSB3b3Jr aW5nIHdpdGggYQpxdWVyeSBvZiB0aGUgZm9ybQ0KDQpgYGANClNFTEVDVA0KICBFVkVSWSAoZmll bGQxIElTIE5VTEwpIEFTIGZpZWxkMSwNCiAgRVZFUlkgKGZpZWxkMiBJUyBOVUxMKSBBUyBmaWVs ZDIsDQogIC4uLg0KICBFVkVSWSAoZmllbGQyNTUgSVMgTlVMTCkgQVMgZmllbGQyNTUNCkZST00g bGFyZ2VfdGFibGUNCmBgYA0KDQpUaGUgZ29hbCBpcyB0byBlc3RhYmxpc2ggaWYgdGhlcmUgYXJl IGFueSBjb2x1bW5zIHRoYXQgYXJlIGFsd2F5cyBOVUxMLCBhbmQKaWYgc28gd2hpY2ggb25lcy4g SSB3YXMgaG9waW5nIHRoYXQgdGhlIEVWRVJZIGFnZ3JlZ2F0ZSBmdW5jdGlvbnMgd291bGQKX3No b3J0Y3V0XyB0aGUgYWdncmVnYXRlIGFzIHNvb24gYXMgYSBub24tbnVsbCB2YWx1ZSB3YXMgZW5j b3VudGVyZWQsIGFuZApmdXJ0aGVybW9yZSB0aGF0IHRoZSBTRUxFQ1Qgc3RhdGVtZW50IHdvdWxk IHN0b3Agc2VhcmNoaW5nIG9uY2UgYWxsIHJlc3VsdHMKYXJlIGVzdGFibGlzaGVkIHRvIGJlIGZh bHNlLiBUaGF0J3Mgbm90IGhhcHBlbmluZzogUG9zdGdyZVNRTCB0YWtlcyB0d28KaG91cnMgdG8g c2VhcmNoIHRocm91Z2ggdGhlIGVudGlyZSBsb25nIHRhYmxlLCByZXR1cm5pbmcgYWxsIGZhbHNl LgoK --===============5420769551658671853==--