[ub] A proposal to define signed overflow submitted?

Lawrence Crowl Lawrence at crowl.org
Mon Feb 19 06:48:24 CET 2018


On 2/16/18, Freek Wiedijk <freek at cs.ru.nl> wrote:
> Is there a good reason not to have it be implementation defined
> whether signed overflow is undefined or wrapping?

If integer overflow is undefined behavior, then it is wrong. Tools can
detect wrong programs and report them.

If integer overflow is wrapping, then one never knows whether or
not the programmer is relying on wrapper or would be surprised at
wrapping.  No diagnostic is possible.

-- 
Lawrence Crowl


More information about the ub mailing list