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 1uCkHa-001ewE-Me for pgsql-committers@arkaria.postgresql.org; Wed, 07 May 2025 19:18:19 +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 1uCkHZ-00FpL5-Dy for pgsql-committers@arkaria.postgresql.org; Wed, 07 May 2025 19:18:17 +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 1uCkHZ-00FpKc-6d for pgsql-committers@lists.postgresql.org; Wed, 07 May 2025 19:18:17 +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 1uCkHV-000gJJ-37 for pgsql-committers@lists.postgresql.org; Wed, 07 May 2025 19:18:16 +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.94.2) (envelope-from ) id 1uCkHT-001r48-Ti for pgsql-committers@lists.postgresql.org; Wed, 07 May 2025 19:18:12 +0000 Received: from localhost ([127.0.0.1] helo=gemulon.postgresql.org) by gemulon.postgresql.org with esmtp (Exim 4.96) (envelope-from ) id 1uCkHT-000eps-05 for pgsql-committers@lists.postgresql.org; Wed, 07 May 2025 19:18:11 +0000 Content-Type: multipart/mixed; boundary="===============8955005836067218650==" MIME-Version: 1.0 From: Peter Geoghegan To: pgsql-committers@lists.postgresql.org Subject: pgsql: nbtree: tighten up array recheck rules. X-Auto-Response-Suppress: All Auto-Submitted: auto-generated Message-Id: Date: Wed, 07 May 2025 19:18:11 +0000 List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk --===============8955005836067218650== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 bmJ0cmVlOiB0aWdodGVuIHVwIGFycmF5IHJlY2hlY2sgcnVsZXMuCgpCZSBtb3JlIGNvbnNlcnZh dGl2ZSB3aGVuIHBlcmZvcm1pbmcgYSBzY2hlZHVsZWQgcmVjaGVjayBvZiBhbiBuYnRyZWUKc2Nh bidzIGFycmF5IGtleXMgb25jZSBvbiB0aGUgbmV4dCBwYWdlLCBoYXZpbmcgc2V0IHNvLT5zY2Fu QmVoaW5kOiBiYWNrCm91dCBvZiByZWFkaW5nIHRoZSBwYWdlIChwZXJmb3JtIGFub3RoZXIgcHJp bWl0aXZlIHNjYW4gaW5zdGVhZCkgd2hlbgp0aGUgbmV4dCBwYWdlJ3MgaGlnaCBrZXkvZmluYWx0 dXAgaGFzIGFuIHVudHJ1bmNhdGVkIHByZWZpeCBvZiBtYXRjaGluZwp2YWx1ZXMgYW5kIHRydW5j YXRlZCBzdWZmaXggYXR0cmlidXRlcyBhc3NvY2lhdGVkIHdpdGggbG93ZXItb3JkZXIga2V5cy4K SW4gb3RoZXIgd29yZHMsIHN0b3AgYXNzdW1pbmcgdGhhdCB0aGUgbG93ZXItb3JkZXIga2V5cyBo YXZlIGJlZW4Kc2F0aXNmaWVkIGJ5IHRoZSB0cnVuY2F0ZWQgc3VmZml4IGF0dHJpYnV0ZXMgaW4g dGhpcyBjb250ZXh0IChvbmx5IGRvIHNvCndoZW4gY29uc2lkZXJpbmcgc2NoZWR1bGluZyBhIHJl Y2hlY2sgd2l0aGluIF9idF9hZHZhbmNlX2FycmF5X2tleXMpLgoKVGhlIG5ldyBiZWhhdmlvciBp cyBtb3JlIGxvZ2ljYWw6IGlmIHRoZSBuZXh0IHBhZ2UgcmVhZCBhZnRlciBzZXR0aW5nCnNvLT5z Y2FuQmVoaW5kIGNhbiBvbmx5IGNvbnRhaW4gdHVwbGVzIHRoYXQgYXJlIHRoZW1zZWx2ZXMgImJl aGluZCB0aGUKc2NhbiIsIHRoYXQncyByZWFzb24gZW5vdWdoIHRvIGN1dCBvdXIgbG9zc2VzLiAg SW4gZ2VuZXJhbCwgd2hlbiB3ZSBzZXQKc28tPnNjYW5CZWhpbmQsIHdlIG9ubHkgZXhwZWN0IHRv IHBlcmZvcm0gb25lIHJlY2hlY2sgb24gdGhlIG5leHQgcGFnZQp0byBtYWtlIGEgZmluYWwgZGVj aXNpb24gYWJvdXQgd2hldGhlciBvciBub3QgdG8gY29udGludWUgdGhlIGN1cnJlbnQKcHJpbWl0 aXZlIGluZGV4IHNjYW4uICBJdCBzZWVtcyB1bnByaW5jaXBsZWQgZm9yIHRoZSByZWNoZWNrIHRv IGFsbG93IGEKX2J0X3JlYWRwYWdlIHRvIGNvbnRpbnVlIHVubGVzcyB0aGUgc2NhbidzIGFycmF5 cyB3aWxsIGFkdmFuY2UvdW5sZXNzCnRoZSBwYWdlIG1pZ2h0IGFjdHVhbGx5IGNvbnRhaW4gcmVs ZXZhbnQgdHVwbGVzLgoKSW4gcHJhY3RpY2UgaXQgaXMgaGlnaGx5IHVubGlrZWx5IHRoYXQgdGhp bmdzIHdpbGwgbGluZSB1cCBsaWtlIHRoaXMKKHRoZSB1bnRydW5jYXRlZCBwcmVmaXggb2YgYXR0 cmlidXRlIHZhbHVlcyBmcm9tIHRoZSBuZXh0IHBhZ2UncyBoaWdoCmtleSBpcyBzZWxkb20gYW4g ZXhhY3QgbWF0Y2ggZm9yIHRoZWlyIGNvcnJlc3BvbmRpbmcgYXJyYXkncyBjdXJyZW50CmVsZW1l bnQgZm9sbG93aW5nIGFycmF5IGFkdmFuY2VtZW50IG9uIHRoZSBvcmlnaW5hbC9wcmV2aW91cyBw YWdlKS4KVGhhdCBnaXZlcyB1cyBhbGwgdGhlIG1vcmUgcmVhc29uIHRvIGtlZXAgdGhpbmdzIHNp bXBsZSBhbmQgY29uc2lzdGVudC4KClRoaXMgd2FzIGFyZ3VhYmx5IGFuIG92ZXJzaWdodCBpbiBj b21taXQgOWEyZTJhMjg1YSwgd2hpY2ggaW1wcm92ZWQKbmJ0cmVlIGFycmF5IHByaW1pdGl2ZSBz Y2FuIHNjaGVkdWxpbmcuCgpBdXRob3I6IFBldGVyIEdlb2doZWdhbiA8cGdAYm93dC5pZT4KRGlz Y3Vzc2lvbjogaHR0cHM6Ly9wb3N0Z3IuZXMvbS9DQUgyLVd6a1h6SmFqZ3lXLXBDUTd2YURQaGFU M2h1VStad19qNDQ4cnBDQkVzdTJZT1FAbWFpbC5nbWFpbC5jb20KCkJyYW5jaAotLS0tLS0KbWFz dGVyCgpEZXRhaWxzCi0tLS0tLS0KaHR0cHM6Ly9naXQucG9zdGdyZXNxbC5vcmcvcGcvY29tbWl0 ZGlmZi83ZTI1YzkzNjNhODJiNjk3NGMxY2EyMzAzYWU4ZGVkOThhZjNiYjI0CgpNb2RpZmllZCBG aWxlcwotLS0tLS0tLS0tLS0tLQpzcmMvYmFja2VuZC9hY2Nlc3MvbmJ0cmVlL25idHV0aWxzLmMg fCAxOCArKysrKysrKysrKysrKysrKy0KMSBmaWxlIGNoYW5nZWQsIDE3IGluc2VydGlvbnMoKyks IDEgZGVsZXRpb24oLSkKCg== --===============8955005836067218650==--