[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