Path: ...!news.nobody.at!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.lang.c,comp.lang.c++
Subject: D correctly simulated by H cannot possibly reach its own line 06 and
 halt
Date: Thu, 30 May 2024 09:55:24 -0500
Organization: A noiseless patient Spider
Lines: 34
Message-ID: <v3a40t$1o2ef$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 30 May 2024 16:55:26 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0a722b73a14c6c7bef786c05822a9348";
	logging-data="1837519"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19FnkNlqpq9bpZIF/fDg0Q3"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:WzAerubzW40UGigQbI8a/Se0YFg=
Content-Language: en-US
Bytes: 2139

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/

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer