Deutsch English Français Italiano |
<vqp3n7$1u2l3$1@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!eternal-september.org!.POSTED!not-for-mail From: Mikko <mikko.levanto@iki.fi> Newsgroups: comp.theory Subject: Re: Every sufficiently competent C programmer knows Date: Tue, 11 Mar 2025 12:36:23 +0200 Organization: - Lines: 55 Message-ID: <vqp3n7$1u2l3$1@dont-email.me> References: <vqntaq$1jut5$1@dont-email.me> <vqotps$1snjg$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 11 Mar 2025 11:36:24 +0100 (CET) Injection-Info: dont-email.me; posting-host="ac66f5fd211d01a7df4319119304e545"; logging-data="2034339"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/rayLkleZGVg+fAFoFgwoH" User-Agent: Unison/2.2 Cancel-Lock: sha1:l02dymLDdMLtQpfAjEnovnj3QDg= Bytes: 2249 On 2025-03-11 08:55:22 +0000, Fred. Zwarts said: > Op 11.mrt.2025 om 00:41 schreef olcott: >> typedef void (*ptr)(); >> int HHH(ptr P); >> >> void Infinite_Loop() >> { >> HERE: goto HERE; >> return; >> } >> >> void Infinite_Recursion() >> { >> Infinite_Recursion(); >> return; >> } >> >> void DDD() >> { >> HHH(DDD); >> return; >> } >> >> int DD() >> { >> int Halt_Status = HHH(DD); >> if (Halt_Status) >> HERE: goto HERE; >> return Halt_Status; >> } >> >> That when HHH correctly emulates N steps of the >> above functions that none of these functions can >> possibly reach their own "return" instruction >> and terminate normally. >>> >> >> Since HHH does see that same pattern that competent >> C programmers see it correctly aborts its emulation >> and rejects these inputs as non terminating. > > All competent C programmers see that HHH correctly reports that it > cannot possibly reach the 'return' instruction. How may competent C programmers did you ask? The information given is clearly insufficient to determine whether HHH reports at all or what it reports. That HHH returns an int is given but not how that int (or anything else) relates to "HHH cannot possibly reach the return instruction". -- Mikko