Undefined behaviour in hotspot
fweimer at redhat.com
Tue Apr 22 14:56:06 UTC 2014
On 04/22/2014 03:21 PM, David Chase wrote:
> In what sense? Are there versions of gcc that will optimize
> if (ptr + len < ptr)
> if (len < 0)
> even if we set -fno-strict-overflow or -fwrapv ?
It turns it into
(uintptr_t) ptr + (uintptr_t) len < (uintptr_t) ptr
which may or may not be what you want, depending whether you view
addresses as signed or not.
(I still need to check MIPS, the obvious candidates behave the indicated
Florian Weimer / Red Hat Product Security Team
More information about the hotspot-dev