Path: ...!2.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Anyone that disagrees with this is not telling the truth
Date: Sun, 18 Aug 2024 11:49:13 +0300
Organization: -
Lines: 38
Message-ID: <v9sci9$2b063$1@dont-email.me>
References: <v9q52r$1tedb$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 18 Aug 2024 10:49:14 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="65f9434b854ff7a88818fe4e27e130bf";
	logging-data="2457795"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+pGIE6qkZetmz5CXDItojx"
User-Agent: Unison/2.2
Cancel-Lock: sha1:qBo3Fza9XnUZf2Dl4hKrSFOJ4tc=
Bytes: 2218

On 2024-08-17 12:29:15 +0000, olcott said:

> void DDD()
> {
>    HHH(DDD);
> }
> 
> _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]
> 
> *It is a basic fact that DDD emulated by HHH according to*
> *the semantics of the x86 language cannot possibly stop*
> *running unless aborted* (out of memory error excluded)

It is obfious from both the C code and disassembly listing
that DDD cannot return if HHH doesn't (but can and does
otherwise). Whether HHH returns is not obvious as the details
of HHH is not shown and most of its behaviour is unspecified.

The phrase "DDD emulated by HHH" is not good. It may be even
misleading. DDD is fully specified by the code above except
the effect of calling HHH, so the phrase "emulated by HHH"
does not mean anything.

Because of these defects one can truthfully disagree. In addition
disagreement about anyithing other than facts can be truthful
anyway. Therefore the claim on the subject line is false.

-- 
Mikko