Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!raubtier-asyl.eternal-september.org!.POSTED!not-for-mail From: Bonita Montero Newsgroups: comp.lang.c,comp.lang.c++ Subject: Re: D correctly simulated by H cannot possibly reach its own line 06 and halt Date: Thu, 30 May 2024 17:05:56 +0200 Organization: A noiseless patient Spider Lines: 35 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 30 May 2024 17:05:56 +0200 (CEST) Injection-Info: raubtier-asyl.eternal-september.org; posting-host="4f77e9ad9c96e0a8deefbb7b6a4db45f"; logging-data="1840644"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18UTZ6EaMMND0qpgX+waWaoWZc5sI5FRk4=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:Jeb5Z4B71oNP3rCNKL0UlHpJPgs= In-Reply-To: Content-Language: de-DE Bytes: 2418 Am 30.05.2024 um 16:55 schrieb olcott: > typedef int (*ptr)();  // ptr is pointer to int function in C > 00       int H(ptr p, ptr i); > 01       int D(ptr p) > 02       { > 03         int Halt_Status = H(p, p); > 04         if (Halt_Status) > 05           HERE: goto HERE; > 06         return Halt_Status; > 07       } > 08 > 09       int main() > 10       { > 11         H(D,D); > 12         return 0; > 13       } > > The left hand-side are line numbers of correct C code. > This code does compile and does conform to c17. > > Everyone with sufficient knowledge of C can easily determine that D > correctly emulated by any pure function H (using an x86 emulator) > cannot possibly reach its own simulated final state at line 06 and halt. > > Because this is a key piece of my life's work and my POD24 diagnosis > indicates that I am running out of time I intend to keep posting this > until I have three concurrences or one correct rebuttal. > > *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/ > You're doing circles for years.