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
