Re: Every sufficiently competent C programmer knows

On 3/11/2025 8:42 AM, Richard Heathfield wrote:

On 11/03/2025 13:26, olcott wrote:

On 3/11/2025 5:01 AM, Richard Heathfield wrote:

 <snip>
 

And yet I can't even /see/ HHH, let alone judge what it does or does not do correctly. All I see is a call to it.
>

>
It is stipulated that HHH correctly emulates N
steps of the x86 machine code of its input functions.
This may or may not include HHH emulating itself
emulating an input.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.

 Not good enough. Show us the code. It may contain a bug that you haven't spotted.
 

The above is a semantic tautology thus making bugs
impossible.
https://github.com/plolcott/x86utm/blob/master/Halt7.c

And ld concurs. It can't see HHH either.
>
I suggest that Mr Olcott should supply the missing source code if he wishes to be taken seriously.
>

>
Not required for the above thought experience where
every relevant behavior has been fully specified. This
is merely another lame attempt on your part to perpetually
dodge the point.

 Dodge what point? You must be confusing me with someone else, because I have no idea what your point is, unless it's to demonstrate that you have read up on the Halting Problem. Jolly good tick VG, but it's a done deal, it's in the literature, and you're almost a century too late.
 

If you as not Richard Damon pretending to be someone
else, great!!!
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer