Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.lang.c,comp.lang.c++ Subject: Re: Can you please verify that the analysis of these C functions is correct? Date: Sat, 22 Jun 2024 07:42:41 -0500 Organization: A noiseless patient Spider Lines: 65 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 22 Jun 2024 14:42:42 +0200 (CEST) Injection-Info: dont-email.me; posting-host="52f855e26d0a069f32049d753a1d455d"; logging-data="3954034"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1951iy8gwBJ1ujEzDDeyGi9" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:IdFCkAyhp9IV+yZunphzArTCjxo= Content-Language: en-US In-Reply-To: Bytes: 3066 On 6/22/2024 5:13 AM, Richard Harnden wrote: > On 21/06/2024 22:41, olcott wrote: >> 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. >> > > Pretty sure that Bonita was taking the piss. > I would say that this would indicate that you are insufficiently competent with the C programming language. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer