Re: Every sufficiently competent C programmer knows

Op 11.mrt.2025 om 00:41 schreef olcott:

typedef void (*ptr)();
int HHH(ptr P);
 void Infinite_Loop()
{
   HERE: goto HERE;
   return;
}
 void Infinite_Recursion()
{
   Infinite_Recursion();
   return;
}
 void DDD()
{
   HHH(DDD);
   return;
}
 int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
 That when HHH correctly emulates N steps of the
above functions that none of these functions can
possibly reach their own "return" instruction
and terminate normally.

>

 Since HHH does see that same pattern that competent
C programmers see it correctly aborts its emulation
and rejects these inputs as non terminating.

All competent C programmers see that HHH correctly reports that it cannot possibly reach the 'return' instruction. (Not more and not less.) It is unable to reach the end of the simulation. An end that exists as proven by direct execution and other world-class simulators for exactly the same finite string as input.
Olcott must be a very competent C programmer to be able to construct a simulator that does not reach the end of its simulation. :)
Every competent programmer knows that such an incomplete simulation has no relation with the termination of the program described in the input.