Deutsch English Français Italiano |
<v57c0u$3tkbu$2@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: "Chris M. Thomasson" <chris.m.thomasson.1@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 13:26:06 -0700 Organization: A noiseless patient Spider Lines: 33 Message-ID: <v57c0u$3tkbu$2@dont-email.me> 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> <v573d1$3s8q3$1@raubtier-asyl.eternal-september.org> <v5780h$3t1bd$1@dont-email.me> <v57bcj$onl4$13@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sat, 22 Jun 2024 22:26:07 +0200 (CEST) Injection-Info: dont-email.me; posting-host="c9aa14242d2d06aad33f22c5cc4d9ef7"; logging-data="4116862"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19FTrF1y5jKrkzrEBRVRzEgSDIObyx0hRc=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:UhNE7dmn/kFsyv3Z+dqGV8UwXzI= In-Reply-To: <v57bcj$onl4$13@i2pn2.org> Content-Language: en-US Bytes: 2565 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! > > Remember back when using threads in standard C was, technically, a no-no, unless you went to POSIX, or windows threads, ect...? Heck, back then, before C recognized threads, atomics and membars, I had to code my critical sequences that implemented certain lock-free and wait-free algorihtms in ASM: https://web.archive.org/web/20071002183926/http://appcore.home.comcast.net/ ;^)