In XLogFileInit(), fix *use_existent postcondition to suit callers.
authorNoah Misch <noah@leadboat.com>
Tue, 29 Jun 2021 01:34:55 +0000 (18:34 -0700)
committerNoah Misch <noah@leadboat.com>
Tue, 29 Jun 2021 01:34:55 +0000 (18:34 -0700)
commit85656bc3050f0846f53de95768b0f9f9df410560
tree399a9deadf448db41db108cedaecb05a6c1e3a2e
parentc53c6b98d38a4d238b2fe2ddcea63c33b0a61376
In XLogFileInit(), fix *use_existent postcondition to suit callers.

Infrequently, the mismatch caused log_checkpoints messages and
TRACE_POSTGRESQL_CHECKPOINT_DONE() to witness an "added" count too high
by one.  Since that consequence is so minor, no back-patch.

Discussion: https://postgr.es/m/20210202151416.GB3304930@rfd.leadboat.com
src/backend/access/transam/xlog.c