Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.c > #385317

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

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 2024-05-30 09:55 -0500
Organization A noiseless patient Spider
Message-ID <v3a40t$1o2ef$1@dont-email.me> (permalink)

Cross-posted to 2 groups.

Show all headers | View raw


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

Back to comp.lang.c | Previous | NextNext in thread | Find similar | Unroll thread


Thread

D correctly simulated by H cannot possibly reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-05-30 09:55 -0500
  Re: D correctly simulated by H cannot possibly reach its own line 06 and halt Bonita Montero <Bonita.Montero@gmail.com> - 2024-05-30 17:05 +0200
    Re: D correctly simulated by H cannot possibly reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-05-30 10:25 -0500
      Re: D correctly simulated by H cannot possibly reach its own line 06 and halt "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-30 12:09 -0700
      Re: D correctly simulated by H cannot possibly reach its own line 06 and halt Mikko <mikko.levanto@iki.fi> - 2024-05-31 16:38 +0300
        Re: D correctly simulated by H cannot possibly reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-05-31 09:13 -0500
  Re: D correctly simulated by H cannot possibly reach its own line 06 and halt Mikko <mikko.levanto@iki.fi> - 2024-05-31 16:33 +0300

csiph-web