Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!raubtier-asyl.eternal-september.org!.POSTED!not-for-mail
From: Bonita Montero <Bonita.Montero@gmail.com>
Newsgroups: comp.lang.c,comp.lang.c++
Subject: Re: Can you please verify that the analysis of these C functions is
 correct?
Date: Sat, 22 Jun 2024 19:58:58 +0200
Organization: A noiseless patient Spider
Lines: 11
Message-ID: <v573d1$3s8q3$1@raubtier-asyl.eternal-september.org>
References: <v4obkj$f9p5$2@dont-email.me>
 <v4pg5p$morv$1@raubtier-asyl.eternal-september.org>
 <v54s1p$3boc5$1@dont-email.me> <v5684p$3n50u$1@dont-email.me>
 <v56gs1$3olbi$3@dont-email.me> <v56lar$onl4$7@i2pn2.org>
 <v56uij$3rako$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 22 Jun 2024 19:58:58 +0200 (CEST)
Injection-Info: raubtier-asyl.eternal-september.org; posting-host="4b8903c8799f0031cf8ac83ce4dda225";
	logging-data="4072259"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18fDC59CE4gKsafSBmUW0Z4wDMVrtKQ08Y="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:MevALw5gaNmBnK9Yp7pO5gitFa0=
In-Reply-To: <v56uij$3rako$1@dont-email.me>
Content-Language: de-DE
Bytes: 1745

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.