C++ Logo

sg12

Advanced search

Re: [ub] A proposal to define signed overflow submitted?

From: David Vandevoorde <daveed_at_[hidden]>
Date: Thu, 15 Feb 2018 18:44:31 -0500
> On Feb 15, 2018, at 5:14 PM, Myria <myriachan_at_[hidden]> wrote:
>
> I don't know whether anyone saw this, but apparently, there is a
> proposal to make signed integers use two's complement and to make
> overflow well-defined as wrapping:
>
> http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0907r0.html
>
> I don't know whether this person's proposal made it for the
> Jacksonville mailing, though.
>
> Removing ones'-complement and sign-magnitude representations is far
> less controversial than defining signed overflow as wrapping.
>
> I'm personally on the side of defining signed overflow as wrapping,
> but compiler people do have a point that it would inhibit
> optimizations in certain cases involving signed integers.

My understanding is that it kills a significant optimization opportunity (that is currently taken advantage of by compilers).

        Daveed

Received on 2018-02-16 00:44:35