Re: DD specifies non-terminating behavior to HHH --- COMPLETE PROOF

On 2/25/2025 1:01 PM, olcott wrote:

On 2/25/2025 10:13 AM, Mikko wrote:

Althogh the subject line has the words "COMPLETE PROOF" there is no
proof or pointer to proof below.
>

  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);
}
 The above does specify that DD simulated by HHH
cannot possibly terminate normally by reaching its
own "return" instruction.
 That this may be beyond your technical skill level.
is less than no rebuttal at all.
 Ignoring the code in main() seemed dishonest.
 

int no_numbers_greater_than_10();
int F(uintptr_t p);
int no_numbers_greater_than_10()
{
   return F((uintptr_t)no_numbers_greater_than_10);
}
int main()
{
   F((uintptr_t)no_numbers_greater_than_10);
   return 0;
}
The above does specify that no_numbers_greater_than_10 simulated by F
cannot possibly terminate normally by reaching its
own "return" instruction.
That this may be beyond your technical skill level
is less than no rebuttal at all.