XPost: comp.theory, sci.logic   
   From: polcott333@gmail.com   
      
   On 8/3/2025 6:05 AM, Richard Damon wrote:   
   >   
   > Your problem is you don't find an error in the shown counter example,   
   > because your created input that you claim to solve has essential   
   > differences from it.   
   >   
      
   int DD()   
   {   
      int Halt_Status = HHH(DD);   
      if (Halt_Status)   
        HERE: goto HERE;   
      return Halt_Status;   
   }   
      
   _DD()   
   [00002162] 55             push ebp   
   [00002163] 8bec           mov ebp,esp   
   [00002165] 51             push ecx   
   [00002166] 6862210000     push 00002162 // push DD   
   [0000216b] e862f4ffff     call 000015d2 // call HHH   
   [00002170] 83c404         add esp,+04   
   [00002173] 8945fc         mov [ebp-04],eax   
   [00002176] 837dfc00       cmp dword [ebp-04],+00   
   [0000217a] 7402           jz 0000217e   
   [0000217c] ebfe           jmp 0000217c   
   [0000217e] 8b45fc         mov eax,[ebp-04]   
   [00002181] 8be5           mov esp,ebp   
   [00002183] 5d             pop ebp   
   [00002184] c3             ret   
   Size in bytes:(0035) [00002184]   
      
   DD correctly emulated by HHH cannot possibly reach   
   its own "if" statement, thus the "do the opposite"   
   code is unreachable.   
      
   Weasel word double-talk packed with ad hominem attacks   
   may fool the gullible because they will not notice   
   that you simply changed the subject and dodged the point.   
      
   --   
   Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius   
   hits a target no one else can see." Arthur Schopenhauer   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)