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 --- posthumous reviewers
Date: Fri, 14 Mar 2025 11:03:26 +0200
Organization: -
Lines: 46
Message-ID: <vr0rcu$10780$1@dont-email.me>
References: <vqntaq$1jut5$1@dont-email.me> <vqp388$1tvqa$1@dont-email.me> <vqpdv9$202b2$2@dont-email.me> <vqperb$20c9k$2@dont-email.me> <E6mcnWv3nMa66036nZ2dnZfqnPWdnZ2d@brightview.co.uk> <vqpv2u$23vhr$1@dont-email.me> <Ny-dnRlMHcVpA036nZ2dnZfqnPqdnZ2d@brightview.co.uk> <vqrjrn$2h4l2$1@dont-email.me> <nESdnUfJxdhoTkz6nZ2dnZfqnPSdnZ2d@brightview.co.uk> <vqsl7c$2ok91$1@dont-email.me> <f7b6995ae3e79db00fa5070d9be8126b7ea5ae78@i2pn2.org> <vqt99l$2spcd$5@dont-email.me> <vqu84v$363tm$1@dont-email.me> <vqvgpn$3s1qt$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 14 Mar 2025 10:03:28 +0100 (CET)
Injection-Info: dont-email.me; posting-host="fb616aedb28cdf28498836cc6a18cf29";
	logging-data="1056000"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX186d1pQnD3VoUCix3JyTlXD"
User-Agent: Unison/2.2
Cancel-Lock: sha1:GqrDKVGwwUB6SYoHCVMII7AdT3Y=
Bytes: 2672

On 2025-03-13 20:56:22 +0000, olcott said:

> On 3/13/2025 4:22 AM, Mikko wrote:
>> On 2025-03-13 00:36:04 +0000, olcott said:
>> 
>>> 
>>> void DDD()
>>> {
>>>    HHH(DDD);
>>>    return;
>>> }
>>> 
>>> int DD()
>>> {
>>>    int Halt_Status = HHH(DD);
>>>    if (Halt_Status)
>>>      HERE: goto HERE;
>>>    return Halt_Status;
>>> }
>>> 
>>> When HHH correctly emulates N steps of the
>>> above functions none of them can possibly reach
>>> their own "return" instruction and terminate normally.
>> 
>> Nevertheless, assuming HHH is a decider, Infinite_Loop and Infinite_Recursion
>> specify a non-terminating behaviour, DDD specifies a terminating behaviour
> 
> _DDD()
> [00002172] 55         push ebp      ; housekeeping
> [00002173] 8bec       mov  ebp,esp  ; housekeeping
> [00002175] 6872210000 push 00002172 ; push DDD
> [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
> [0000217f] 83c404     add  esp,+04
> [00002182] 5d         pop  ebp
> [00002183] c3         ret
> Size in bytes:(0018) [00002183]
> 
> What is the sequence of machine language
> instructions of DDD emulated by HHH such that DDD
> reaches its machine address 00002183?

Irrelevant off-topic distraction.

-- 
Mikko