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

On 5/21/2024 6:48 AM, Sam wrote:

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.
>

 Keith Thompson has confirmed that my code both compiles
and conforms to the c17 standard.