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 1u1Iod-0004Dg-9C for pgsql-committers@arkaria.postgresql.org; Sun, 06 Apr 2025 05:45: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 1u1Iob-008bp3-JS for pgsql-committers@arkaria.postgresql.org; Sun, 06 Apr 2025 05:45:05 +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 1u1Iob-008bov-C5 for pgsql-committers@lists.postgresql.org; Sun, 06 Apr 2025 05:45:05 +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.96) (envelope-from ) id 1u1IoZ-003EaF-2O for pgsql-committers@lists.postgresql.org; Sun, 06 Apr 2025 05:45:04 +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 1u1IoY-000sBH-S2 for pgsql-committers@lists.postgresql.org; Sun, 06 Apr 2025 05:45:02 +0000 Received: from localhost ([127.0.0.1] helo=gemulon.postgresql.org) by gemulon.postgresql.org with esmtp (Exim 4.96) (envelope-from ) id 1u1IoY-002uyN-1Q for pgsql-committers@lists.postgresql.org; Sun, 06 Apr 2025 05:45:02 +0000 Content-Type: multipart/mixed; boundary="===============1116060153454506670==" MIME-Version: 1.0 From: Michael Paquier To: pgsql-committers@lists.postgresql.org Subject: pgsql: In XLogFileInit(), fix *use_existent postcondition to suit calle X-Auto-Response-Suppress: All Auto-Submitted: auto-generated Message-Id: Date: Sun, 06 Apr 2025 05:45:02 +0000 List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk --===============1116060153454506670== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 SW4gWExvZ0ZpbGVJbml0KCksIGZpeCAqdXNlX2V4aXN0ZW50IHBvc3Rjb25kaXRpb24gdG8gc3Vp dCBjYWxsZXJzLgoKSW5mcmVxdWVudGx5LCB0aGUgbWlzbWF0Y2ggY2F1c2VkIGxvZ19jaGVja3Bv aW50cyBtZXNzYWdlcyBhbmQKVFJBQ0VfUE9TVEdSRVNRTF9DSEVDS1BPSU5UX0RPTkUoKSB0byB3 aXRuZXNzIGFuICJhZGRlZCIgY291bnQgdG9vIGhpZ2gKYnkgb25lLiAgU2luY2UgdGhhdCBjb25z ZXF1ZW5jZSBpcyBzbyBtaW5vciwgbm8gYmFjay1wYXRjaC4KClRoaXMgY29tbWl0IGhhcyBiZWVu IGFwcGxpZWQgYXMgb2YgODU2NTZiYzMwNTBmIGluIHYxNSBhbmQgbmV3ZXIKdmVyc2lvbnMuICBU aGlzIGlzIHJlcXVpcmVkIG9uIHN0YWJsZSBicmFuY2hlcyBvZiB2MTMgYW5kIHYxNCB0byBmaXgg YQpyZWdyZXNzaW9uIHJlcG9ydGVkIGJ5IE5vYWggTWlzY2gsIGludHJvZHVjZWQgYnkgMWY5NTE4 MWI0NGM4LCBjYXVzaW5nCnNwdXJpb3VzIGZhaWx1cmVzIGluIGFyY2hpdmUgcmVjb3ZlcnkgKG5l aXRoZXIgc3RyZWFtaW5nIG5vciBhcmNoaXZlCnJlY292ZXJ5KSB3aXRoIGNvbmN1cnJlbnQgcmVz dGFydHBvaW50cy4gIFRoZSBiYWNrcGF0Y2hlZCB2ZXJzaW9ucyBvZgp0aGUgcGF0Y2hlcyBoYXZl IGJlZW4gYWxpZ25lZCBvbiB0aGVzZSBicmFuY2hlcyBieSBtZSwgTm9haCBNaXNjaCBpcyB0aGUK YXV0aG9yLiAgVGVzdHMgaGF2ZSBiZWVuIGNvbmR1Y3RlZCBieSB0aGUgYm90aCBvZiB1cy4KClJl cG9ydGVkLWJ5OiBBcnVuIFRoaXJ1cGF0aGkKQXV0aG9yOiBOb2FoIE1pc2NoIDxub2FoQGxlYWRi b2F0LmNvbT4KRGlzY3Vzc2lvbjogaHR0cHM6Ly9wb3N0Z3IuZXMvbS8yMDIxMDIwMjE1MTQxNi5H QjMzMDQ5MzBAcmZkLmxlYWRib2F0LmNvbQpEaXNjdXNzaW9uOiBodHRwczovL3Bvc3Rnci5lcy9t LzIwMjUwMzA2MTkzMDEzLjM2Lm5taXNjaEBnb29nbGUuY29tCkJhY2twYXRjaC10aHJvdWdoOiAx MwoKQnJhbmNoCi0tLS0tLQpSRUxfMTNfU1RBQkxFCgpEZXRhaWxzCi0tLS0tLS0KaHR0cHM6Ly9n aXQucG9zdGdyZXNxbC5vcmcvcGcvY29tbWl0ZGlmZi8yMGU1ZWYzY2E3MGMzZGQ0MmEwMTVhZjUy OTZkOTE2NDA3OTU0MmQ0CkF1dGhvcjogTm9haCBNaXNjaCA8bm9haEBsZWFkYm9hdC5jb20+CgpN b2RpZmllZCBGaWxlcwotLS0tLS0tLS0tLS0tLQpzcmMvYmFja2VuZC9hY2Nlc3MvdHJhbnNhbS94 bG9nLmMgfCAxMyArKysrKystLS0tLS0tCjEgZmlsZSBjaGFuZ2VkLCA2IGluc2VydGlvbnMoKyks IDcgZGVsZXRpb25zKC0pCgo= --===============1116060153454506670==--