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

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.