Re: Can someone please verify the execution trace of this?

olcott writes:
 

People on comp.theory have consistently lied about this
for at least the last two years:
>
typedef int (*ptr)();
int H(ptr P, ptr I);
>
int D(ptr x)
{
  int Halt_Status = H(x, x);
  if (Halt_Status)
    HERE: goto HERE;
  return Halt_Status;
}
>
int main()
{
  H(D,D);
  return 0;
}

 Your C compiler also lied to you, if it ever claimed of succeeding in compiling and producing an executable out of this masterpiece.
 

This has preventing me from getting to he next step of
my proof that depends on accepting this.

 Aw, so sad. A bunch of random people on the Intertubes is keeping you from achieving world fame comparable to Einstein's? Sucks to be you.
 

Well, I don't know how to break the news to you, buddy. You better be prepared to continue asking, for the foreseeable future. Mastering the art of copy/paste is highly recommended.
>

>
I worked for the Air Force on
https://en.wikipedia.org/wiki/NPOESS

 We've got a real-life Forrest Gump here.