Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Janis Papanagnou <janis_papanagnou+ng@hotmail.com>
Newsgroups: comp.lang.c
Subject: Re: Loops (was Re: do { quit; } else { })
Date: Wed, 14 May 2025 13:20:57 +0200
Organization: A noiseless patient Spider
Lines: 16
Message-ID: <1001uaq$2foem$1@dont-email.me>
References: <vspbjh$8dvd$1@dont-email.me> <vtgfuf$31ug1$1@dont-email.me>
 <20250413072027.219@kylheku.com> <vtgpce$39229$1@dont-email.me>
 <vti2ki$g23v$1@dont-email.me> <vtin99$vu24$1@dont-email.me>
 <vtiuf0$18au8$1@dont-email.me> <vtj97r$1i3v3$1@dont-email.me>
 <vtl166$36p6b$1@dont-email.me> <vtlcg0$3f46a$2@dont-email.me>
 <20250415153419.00004cf7@yahoo.com> <86h62078i8.fsf@linuxsc.com>
 <20250504180833.00000906@yahoo.com> <86plggzilx.fsf@linuxsc.com>
 <vvnsvt$3k1mu$1@dont-email.me> <86ldr4yx0x.fsf@linuxsc.com>
 <vvpmm2$3dhl$1@dont-email.me> <vvpsji$4jht$1@dont-email.me>
 <vvr5mg$l85c$1@dont-email.me> <vvt2tg$14otk$2@dont-email.me>
 <1000cs3$2234m$1@dont-email.me> <87sel8nqid.fsf@nosuchdomain.example.com>
 <1001t53$2er1t$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 14 May 2025 13:20:59 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="022faa9db027ad2bc08d0c50ca5ed968";
	logging-data="2613718"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/LftGxNHG9q6dxS66nPBiq"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
 Thunderbird/45.8.0
Cancel-Lock: sha1:J1+/cYShFWsEeP79DCK/+UGzPvM=
X-Enigmail-Draft-Status: N1110
In-Reply-To: <1001t53$2er1t$1@dont-email.me>
Bytes: 2318

On 14.05.2025 13:00, David Brown wrote:
> [...]
> 
> I believe we can reassure Janis that your example code will be
> considered valid by any real-world compiler. 

Thanks. Much appreciated. (I wasn't sure after some postings that were
a bit distracting and thus more muddying the topic than clarifying.)

> But it would be nice to
> find some combination of standard paragraphs that guarantee it.

Yes, indeed. (Heuristics are fine but certainty is better.)

Janis