Sujet : Re: Loops (was Re: do { quit; } else { })
De : janis_papanagnou+ng (at) *nospam* hotmail.com (Janis Papanagnou)
Groupes : comp.lang.cDate : 14. May 2025, 12:20:57
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1001uaq$2foem$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
User-Agent : Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0
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