Sujet : Re: Can you please verify that the analysis of these C functions is correct?
De : chris.m.thomasson.1 (at) *nospam* gmail.com (Chris M. Thomasson)
Groupes : comp.lang.c comp.lang.c++Date : 22. Jun 2024, 21:20:58
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v57bna$3tkcl$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Mozilla Thunderbird
On 6/22/2024 1:15 PM, Richard Damon wrote:
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!
Think of a system that takes advantage of UB. Remember way back when standard C did not know about threads, ahhh... We had POSIX?
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?
