Re: Every D(D) simulated by H presents non-halting behavior to H ###

On 5/17/2024 3:02 PM, Alan Mackenzie wrote:

olcott <polcott333@gmail.com> wrote:

On 5/16/2024 11:15 AM, Alan Mackenzie wrote:

olcott <polcott333@gmail.com> wrote:

On 5/16/2024 5:48 AM, Mikko wrote:

On 2024-05-15 15:24:57 +0000, olcott said:

 

[ .... ]

 

Normal semantics is that the program is not executed.

 

Indeed.

 

typedef int (*ptr)();  // ptr is pointer to int function
00 int H(ptr x, ptr x);
01 int D(ptr x)
02 {
03   int Halt_Status = H(x, x);
04   if (Halt_Status)
05     HERE: goto HERE;
06   return Halt_Status;
07 }
08
09 int main()
10 {
11   H(D,D);
12   return 0;
13 }

 

Can you find any compiler that is liberal enough to accept that?

 

It has been fully operational code under Windows and
Linux for two years.

 

That is another of your lies.  It's largely why I despise you so much.

 

Although you've fixed the missing semicolon on line 0 (at last), it still
fails to compile under any C compiler worthy of the name.  With all the
errors in it it still would have failed to compile under Linux or Windows
ever since it was written.

 

Quit lying.  And fix that program fragment, assuming your C skills are up
to it.

 

There are many postings in this group providing the
actual execution trace output of that program.

 That "program" doesn't compile.  It's ill-formed.

*This <is> the code that you said would not compile*
*This <is> the code that you said would not compile*
*This <is> the code that you said would not compile*
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;
}
*Not only does this code compile, it also meets C11 and C17 standards*
*Not only does this code compile, it also meets C11 and C17 standards*
*Not only does this code compile, it also meets C11 and C17 standards*
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer