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 1rS92j-00BgRu-0A for pgsql-committers@arkaria.postgresql.org; Tue, 23 Jan 2024 05:09: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 1rS92i-009dDZ-4i for pgsql-committers@arkaria.postgresql.org; Tue, 23 Jan 2024 05:09:48 +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 1rS92h-009dDR-Hz for pgsql-committers@lists.postgresql.org; Tue, 23 Jan 2024 05:09:47 +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 1rS92e-002uEO-F9 for pgsql-committers@lists.postgresql.org; Tue, 23 Jan 2024 05:09:46 +0000 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=postgresql.org; s=20171124; h=Date:Message-Id:Subject:To:From:MIME-Version: Content-Type:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:In-Reply-To:References; bh=d+/IWGmxI2DurE0Udwd0MDQp10Du1EC4cnwT31JZrlE=; b=fiU2M+rVb3ssW6WTGzt1fBpI6/ dli/JOtjbvHqPICIwVs2/t6ozSx0EVEWZgRcPdopdc11P0ZaTG43nDaCn+hQozqbmgz+cJbzWNYWK 5ce4hS3kRAocv2fL4bE1q8Bcx4rX57S5myKMnFKSPCMYyiU0qIwMu3AMOlzcydoq9Ji5WytzkNRBQ kERx9ZgM0AFJhzKdLVbLRlTc4jsdijQkqsQpeFDM3OI/FeM4hVgtFd3KLgcDwe/Lh6RqKjn3GdAWM 6SMN6Za7fh+pkESeTDefjwRDGNozylqRjjVYX+j3rKat4qOOi5zaVcbp9RQSI8p1+oOvqvNeku7gk hsIa31eg==; 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.94.2) (envelope-from ) id 1rS92d-008qY9-Rz for pgsql-committers@lists.postgresql.org; Tue, 23 Jan 2024 05:09:43 +0000 Received: from localhost ([127.0.0.1] helo=gemulon.postgresql.org) by gemulon.postgresql.org with esmtp (Exim 4.94.2) (envelope-from ) id 1rS92d-002gbO-EJ for pgsql-committers@lists.postgresql.org; Tue, 23 Jan 2024 05:09:43 +0000 Content-Type: multipart/mixed; boundary="===============5763499441907589783==" MIME-Version: 1.0 From: David Rowley To: pgsql-committers@lists.postgresql.org Subject: pgsql: Add better handling of redundant IS [NOT] NULL quals X-Auto-Response-Suppress: All Auto-Submitted: auto-generated Message-Id: Date: Tue, 23 Jan 2024 05:09:43 +0000 List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk --===============5763499441907589783== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 QWRkIGJldHRlciBoYW5kbGluZyBvZiByZWR1bmRhbnQgSVMgW05PVF0gTlVMTCBxdWFscwoKVW50 aWwgbm93IFBvc3RncmVTUUwgaGFzIG5vdCBiZWVuIHZlcnkgc21hcnQgYWJvdXQgb3B0aW1pemlu ZyBhd2F5IElTCk5PVCBOVUxMIGJhc2UgcXVhbHMgb24gY29sdW1ucyBkZWZpbmVkIGFzIE5PVCBO VUxMLiAgVGhlIGV2YWx1YXRpb24gb2YKdGhlc2UgbmVlZGxlc3MgcXVhbHMgYWRkcyBvdmVyaGVh ZC4gIE9yZGluYXJpbHksIGFueW9uZSB3aG8gY2FtZQpjb21wbGFpbmluZyBhYm91dCB0aGF0IHdv dWxkIGxpa2VseSBqdXN0IGhhdmUgYmVlbiB0b2xkIHRvIG5vdCBpbmNsdWRlCnRoZSBxdWFsIGlu IHRoZWlyIHF1ZXJ5IGlmIGl0J3Mgbm90IHJlcXVpcmVkLiAgSG93ZXZlciwgYSByZWNlbnQgYnVn CnJlcG9ydCBpbmRpY2F0ZXMgdGhpcyBtaWdodCBub3QgYWx3YXlzIGJlIHBvc3NpYmxlLgoKQnVn IDE3NTQwIGhpZ2hsaWdodGVkIHRoYXQgd2hlbiB3ZSBvcHRpbWl6ZSBNaW4vTWF4IGFnZ3JlZ2F0 ZXMgdGhlIElTIE5PVApOVUxMIHF1YWwgdGhhdCB0aGUgcGxhbm5lciBhZGRzIHRvIG1ha2UgdGhl IHJld3JpdHRlbiBwbGFuIGlnbm9yZSBOVUxMcwpjYW4gY2F1c2UgaXNzdWVzIHdpdGggcG9vciBp bmRleCBjaG9pY2UuICBUaGF0IHBhcnRpY3VsYXIgY2FzZQpkZW1vbnN0cmF0ZWQgdGhhdCBvdGhl ciBxdWFscywgZXNwZWNpYWxseSBvbmVzIHdoZXJlIG5vIHN0YXRpc3RpY3MgYXJlCmF2YWlsYWJs ZSB0byBhbGxvdyB0aGUgcGxhbm5lciBhIGNoYW5jZSBhdCBlc3RpbWF0aW5nIGFuIGFwcHJveGlt YXRlCnNlbGVjdGl2aXR5IGZvciBjYW4gcmVzdWx0IGluIHBvb3IgaW5kZXggY2hvaWNlIGR1ZSB0 byBjaGVhcCBzdGFydHVwIHBhdGhzCmJlaW5nIHByZWZlcmVkIHdpdGggTElNSVQgMS4KCkhlcmUg d2UgdGFrZSBnZW5lcmljIGFwcHJvYWNoIHRvIGZpeGluZyB0aGlzIGJ5IGhhdmluZyB0aGUgcGxh bm5lciBjaGVjawpmb3IgTk9UIE5VTEwgY29sdW1ucyBhbmQganVzdCBoYXZlIHRoZSBwbGFubmVy IHJlbW92ZSB0aGVzZSBxdWFscyAod2hlbgp0aGV5J3JlIG5vdCBuZWVkZWQpIGZvciBhbGwgcXVl cmllcywgbm90IGp1c3Qgd2hlbiBvcHRpbWl6aW5nIE1pbi9NYXgKYWdncmVnYXRlcy4KCkFkZGl0 aW9uYWxseSwgaGVyZSB3ZSBhbHNvIGRldGVjdCBJUyBOVUxMIHF1YWxzIG9uIGEgTk9UIE5VTEwg Y29sdW1uIGFuZAp0cmFuc2Zvcm0gdGhhdCBpbnRvIGEgZ2F0aW5nIHF1YWwgc28gdGhhdCB3ZSBk b24ndCBoYXZlIHRvIHBlcmZvcm0gdGhlCnNjYW4gYXQgYWxsLiAgVGhpcyBhbHNvIHdvcmtzIGZv ciBqb2luIHJlbGF0aW9ucyB3aGVuIHRoZSBWYXIgaXMgbm90Cm51bGxhYmxlIGJ5IGFueSBvdXRl ciBqb2luLgoKVGhpcyBhbHNvIGhlbHBzIHdpdGggdGhlIHNlbGYtam9pbiByZW1vdmFsIHdvcmsg YXMgaXQgbXVzdCByZXBsYWNlCnN0cmljdCBqb2luIHF1YWxzIHdpdGggSVMgTk9UIE5VTEwgcXVh bHMgdG8gZW5zdXJlIGVxdWl2YWxlbmNlIHdpdGggdGhlCm9yaWdpbmFsIHF1ZXJ5LgoKQXV0aG9y OiBEYXZpZCBSb3dsZXksIFJpY2hhcmQgR3VvLCBBbmR5IEZhbgpSZXZpZXdlZC1ieTogUmljaGFy ZCBHdW8sIERhdmlkIFJvd2xleQpEaXNjdXNzaW9uOiBodHRwczovL3Bvc3Rnci5lcy9tL0NBQXBI RHZxZzZYWkRoWVJQejB6Z09jZXZTTW8wZDN2eEE5RHZIclp0S2ZxTzMwV1Rud0BtYWlsLmdtYWls LmNvbQpEaXNjdXNzaW9uOiBodHRwczovL3Bvc3Rnci5lcy9tLzE3NTQwLTdhYTE4NTVhZDVlYzE4 YjQlNDBwb3N0Z3Jlc3FsLm9yZwoKQnJhbmNoCi0tLS0tLQptYXN0ZXIKCkRldGFpbHMKLS0tLS0t LQpodHRwczovL2dpdC5wb3N0Z3Jlc3FsLm9yZy9wZy9jb21taXRkaWZmL2IyNjJhZDQ0MGVkZWNk YTBiMWFiYTgxZDk2N2FiNTYwYTgzYWNiOGEKCk1vZGlmaWVkIEZpbGVzCi0tLS0tLS0tLS0tLS0t CmNvbnRyaWIvcG9zdGdyZXNfZmR3L2V4cGVjdGVkL3Bvc3RncmVzX2Zkdy5vdXQgfCAgMTYgKy0K Y29udHJpYi9wb3N0Z3Jlc19mZHcvc3FsL3Bvc3RncmVzX2Zkdy5zcWwgICAgICB8ICAgNCArLQpz cmMvYmFja2VuZC9vcHRpbWl6ZXIvcGxhbi9pbml0c3BsYW4uYyAgICAgICAgIHwgMTk3ICsrKysr KysrKysrKysrKysrKystCnNyYy9iYWNrZW5kL29wdGltaXplci91dGlsL2pvaW5pbmZvLmMgICAg ICAgICAgfCAgMjggKysrCnNyYy9iYWNrZW5kL29wdGltaXplci91dGlsL3BsYW5jYXQuYyAgICAg ICAgICAgfCAgMTkgKysKc3JjL2JhY2tlbmQvb3B0aW1pemVyL3V0aWwvcmVsbm9kZS5jICAgICAg ICAgICB8ICAgMyArCnNyYy9pbmNsdWRlL25vZGVzL3BhdGhub2Rlcy5oICAgICAgICAgICAgICAg ICAgfCAgIDcgKy0Kc3JjL2luY2x1ZGUvb3B0aW1pemVyL3BsYW5tYWluLmggICAgICAgICAgICAg ICB8ICAgNCArCnNyYy90ZXN0L3JlZ3Jlc3MvZXhwZWN0ZWQvZXF1aXZjbGFzcy5vdXQgICAgICAg fCAgMTggKy0Kc3JjL3Rlc3QvcmVncmVzcy9leHBlY3RlZC9qb2luLm91dCAgICAgICAgICAgICB8 ICA2NyArKysrLS0tCnNyYy90ZXN0L3JlZ3Jlc3MvZXhwZWN0ZWQvcHJlZGljYXRlLm91dCAgICAg ICAgfCAyNDQgKysrKysrKysrKysrKysrKysrKysrKysrKwpzcmMvdGVzdC9yZWdyZXNzL3BhcmFs bGVsX3NjaGVkdWxlICAgICAgICAgICAgIHwgICAyICstCnNyYy90ZXN0L3JlZ3Jlc3Mvc3FsL3By ZWRpY2F0ZS5zcWwgICAgICAgICAgICAgfCAxMjIgKysrKysrKysrKysrKwoxMyBmaWxlcyBjaGFu Z2VkLCA2NjQgaW5zZXJ0aW9ucygrKSwgNjcgZGVsZXRpb25zKC0pCgo= --===============5763499441907589783==--