Re: Only C programmers tell the truth about the behavior of DD simulated by HHH

On 2025-04-17 15:38:30 +0000, olcott said:

typedef void (*ptr)();
int HHH(ptr P);
  int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
 int main()
{
   HHH(DD);
}

There is no HHH above nor any pointer to any HHH. Threfore the
behaviour is undefined.

DD simulated by HHH includes HHH simulating itself
simulating DD until HHH sees the non-terminating
pattern and rejects DD as non-terminating.

That cannot be inferred from the shown code.
--
Mikko