Check for relation length overrun soon enough.
authorTom Lane <tgl@sss.pgh.pa.us>
Thu, 9 Sep 2021 15:45:48 +0000 (11:45 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Thu, 9 Sep 2021 15:45:48 +0000 (11:45 -0400)
commit04118de78fe9a8a7160775b47e89bf21a5efb620
tree6c1687d517a23199e13563635cb66cf32b817dd3
parentdd9b3fced83edb51a3e2f44d3d4476a45d0f5a24
Check for relation length overrun soon enough.

We don't allow relations to exceed 2^32-1 blocks, because block
numbers are 32 bits and the last possible block number is reserved
to mean InvalidBlockNumber.  There is a check for this in mdextend,
but that's really way too late, because the smgr API requires us to
create a buffer for the block-to-be-added, and we do not want to
have any buffer with blocknum InvalidBlockNumber.  (Such a case
can trigger assertions in bufmgr.c, plus I think it might confuse
ReadBuffer's logic for data-past-EOF later on.)  So put the check
into ReadBuffer.

Per report from Christoph Berg.  It's been like this forever,
so back-patch to all supported branches.

Discussion: https://postgr.es/m/YTn1iTkUYBZfcODk@msg.credativ.de
src/backend/storage/buffer/bufmgr.c
src/backend/storage/smgr/md.c