RFR: 8237521: Memory Access API fixes for 32-bit
Andrew Haley
aph at redhat.com
Thu Jan 23 14:41:39 UTC 2020
On 1/23/20 10:22 AM, David Holmes wrote:
> That aside IIRC the overflow check is not ideal here because we already
> enter undefined behaviour territory inside align_up if we actually
> overflow.
How is that possible? size_t is an unsigned type, and unsigned types
never overflow. On a 32-bit box, 0 <= size < 2**32. So -- in theory at
least -- you could allocate more than 2G.
--
Andrew Haley (he/him)
Java Platform Lead Engineer
Red Hat UK Ltd. <https://www.redhat.com>
https://keybase.io/andrewhaley
EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671
More information about the core-libs-dev
mailing list