]> git.ipfire.org Git - thirdparty/postgresql.git/commit
Fix bogus casting in BlockIdGetBlockNumber().
authorTom Lane <tgl@sss.pgh.pa.us>
Fri, 4 Mar 2022 00:03:17 +0000 (19:03 -0500)
committerTom Lane <tgl@sss.pgh.pa.us>
Fri, 4 Mar 2022 00:03:46 +0000 (19:03 -0500)
commit4b0696b36e5ae4fd1224c03011eadfeb4aa508dd
tree31a180cf053a73c38548118e7c786634320907fd
parentf727b6ea8f3b42496e21361ddc1af9d7e12582ad
Fix bogus casting in BlockIdGetBlockNumber().

This macro cast the result to BlockNumber after shifting, not before,
which is the wrong thing.  Per the C spec, the uint16 fields would
promote to int not unsigned int, so that (for 32-bit int) the shift
potentially shifts a nonzero bit into the sign position.  I doubt
there are any production systems where this would actually end with
the wrong answer, but it is undefined behavior per the C spec, and
clang's -fsanitize=undefined option reputedly warns about it on some
platforms.  (I can't reproduce that right now, but the code is
undeniably wrong per spec.)  It's easy to fix by casting to
BlockNumber (uint32) in the proper places.

It's been wrong for ages, so back-patch to all supported branches.

Report and patch by Zhihong Yu (cosmetic tweaking by me)

Discussion: https://postgr.es/m/CALNJ-vT9r0DSsAOw9OXVJFxLENoVS_68kJ5x0p44atoYH+H4dg@mail.gmail.com
src/include/storage/block.h