Path: ...!feeds.phibee-telecom.net!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!raubtier-asyl.eternal-september.org!.POSTED!not-for-mail
From: Bonita Montero <Bonita.Montero@gmail.com>
Newsgroups: comp.lang.c,comp.lang.c++
Subject: Re: Can you please verify that the analysis of these C functions is
 correct?
Date: Wed, 26 Jun 2024 18:32:58 +0200
Organization: A noiseless patient Spider
Lines: 56
Message-ID: <v5hfrp$27aoh$1@raubtier-asyl.eternal-september.org>
References: <v4obkj$f9p5$2@dont-email.me>
 <v4pg5p$morv$1@raubtier-asyl.eternal-september.org>
 <v54s1p$3boc5$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 26 Jun 2024 18:32:58 +0200 (CEST)
Injection-Info: raubtier-asyl.eternal-september.org; posting-host="162d8ca6299ff75b70e00c492c2e1727";
	logging-data="2337553"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX181JsethGLlFrX7XDYhGrsHOglxVu/uWvg="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:MgStZnvfLwyoyZ3mPF5VBZHl14U=
Content-Language: de-DE
In-Reply-To: <v54s1p$3boc5$1@dont-email.me>
Bytes: 2911

Am 21.06.2024 um 23:41 schrieb olcott:
> On 6/17/2024 9:11 AM, Bonita Montero wrote:
>> Am 17.06.2024 um 05:47 schrieb olcott:
>>> To understand this analysis requires a sufficient knowledge of
>>> the C programming language and what an x86 emulator does.
>>>
>>> typedef void (*ptr)();
>>> int H0(ptr P);
>>>
>>> void Infinite_Loop()
>>> {
>>>    HERE: goto HERE;
>>> }
>>>
>>> void Infinite_Recursion()
>>> {
>>>    Infinite_Recursion();
>>> }
>>>
>>> void DDD()
>>> {
>>>    H0(DDD);
>>>    return;
>>> }
>>>
>>> int main()
>>> {
>>>    H0(Infinite_Loop);
>>>    H0(Infinite_Recursion);
>>>    H0(DDD);
>>> }
>>>
>>> Every C programmer that knows what an x86 emulator is knows that when H0
>>> emulates the machine language of Infinite_Loop, Infinite_Recursion, and
>>> DDD that it must abort these emulations so that itself can terminate
>>> normally.
>>>
>>> When this is construed as non-halting criteria then simulating
>>> termination analyzer H0 is correct to reject these inputs as non-
>>> halting.
>>>
>>> *My POD24 diagnosis is reducing the time I have left to work on this*
>>> Validation of POD24 as a robust early clinical end point of poor
>>> survival in FL from 5225 patients on 13 clinical trials
>>> https://pubmed.ncbi.nlm.nih.gov/34614146/
>>>
>>
>> Everything correct, no further questions allowed.
>>
> 
> Thanks for your help on this. The Liars on comp.theory are
> even lying about what you actually said.

Come up with some _practical_ issues which are related to C or C++.
You're asking things which are generic to a lot of languages.