Re: D correctly simulated by H cannot possibly reach its own line 06 and halt

Liste des GroupesRevenir à cl c 
Sujet : Re: D correctly simulated by H cannot possibly reach its own line 06 and halt
De : Bonita.Montero (at) *nospam* gmail.com (Bonita Montero)
Groupes : comp.lang.c comp.lang.c++
Date : 30. May 2024, 17:05:56
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v3a4kk$1o5g4$1@raubtier-asyl.eternal-september.org>
References : 1
User-Agent : Mozilla Thunderbird
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.

Date Sujet#  Auteur
30 May 24 * D correctly simulated by H cannot possibly reach its own line 06 and halt7olcott
30 May 24 +* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt5Bonita Montero
30 May 24 i`* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt4olcott
30 May 24 i +- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1Chris M. Thomasson
31 May 24 i `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt2Mikko
31 May 24 i  `- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1olcott
31 May 24 `- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal