Date: Thu, 04 Sep 2025 10:16:44 -0700
> On Sep 4, 2025, at 4:15 AM, David Brown via Std-Proposals <std-proposals_at_[hidden]> wrote:
> =
>
>> The correct way to say “signed overflow is an error” is to say “signed overflow is erroneous behavior”. That makes it explicit that the overflow is an error, and it permits developers to rely on consistent and deterministic behavior, rather than dealing with an adversarial compiler that is blindly assuming that it cannot happen.
>
> What do you mean by "erroneous behaviour" ? What do you think the C++ standards mean by that term (define in C++26) ?
I mean exactly what the standard says.
—Oliver
> =
>
>> The correct way to say “signed overflow is an error” is to say “signed overflow is erroneous behavior”. That makes it explicit that the overflow is an error, and it permits developers to rely on consistent and deterministic behavior, rather than dealing with an adversarial compiler that is blindly assuming that it cannot happen.
>
> What do you mean by "erroneous behaviour" ? What do you think the C++ standards mean by that term (define in C++26) ?
I mean exactly what the standard says.
—Oliver
Received on 2025-09-04 17:16:56