Sujet : Re: Can you please verify that the analysis of these C functions is correct?
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.lang.c comp.lang.c++Date : 22. Jun 2024, 22:15:15
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v57bcj$onl4$13@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9
User-Agent : Mozilla Thunderbird
On 6/22/24 3:17 PM, Chris M. Thomasson wrote:
On 6/22/2024 10:58 AM, Bonita Montero wrote:
Am 22.06.2024 um 18:36 schrieb olcott:
>
It seems pretty stupid to allow gaps in the semantics of C++ programs. Simply specify that the order of evaluation is left to right unless:
(a) Otherwise specified such as operator precedence rules.
(b) Derives the same result as left to right ordering.
>
Most UB is there to allow optimizations, also in this case.
I've got no problem with that.
>
>
Humm. Sounds reasonable. UB is there to be defined by a non-conforming compiler? ;^)
Doesn't need to be Non-Conforming to define the behavior of Undefined Behavior!
Can you please verify that the analysis of these C functions is correct?
Re: Can you please verify that the analysis of these C functions is correct?
