XPost: comp.theory, sci.logic, comp.lang.c   
   From: polcott333@gmail.com   
      
   On 12/6/2024 8:40 PM, Richard Damon wrote:   
   > On 12/6/24 9:08 PM, olcott wrote:   
   >> On 12/5/2024 11:20 AM, Bonita Montero wrote:   
   >>> Am 05.12.2024 um 05:20 schrieb olcott:   
   >>>> There is an 80% chance that I will be alive in one month.   
   >>>> There may be an extended pause in my comments.   
   >>>> I will try to bring a computer to the out of town hospital.   
   >>>   
   >>> Maybe you'll solve your halting problem issues before you die.   
   >>>   
   >>   
   >> 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);   
   >> }   
   >>   
   >>   
   >> I am sure that DD correctly emulated by HHH according to   
   >> the semantics of the C programming language cannot possibly   
   >> reach its own return instruction final halt state.   
   >   
   > How does HHH correctly emulated DD, if it isn't give tne code for the   
   > HHH that DD calls?   
   >   
      
   As I have told you many dozens of times HHH and DD share   
   the same global memory space within memory version of the   
   Halt7.obj file.   
      
   _DD()   
   [0000213e] 55             push ebp   
   [0000213f] 8bec           mov ebp,esp   
   [00002141] 51             push ecx   
   [00002142] 683e210000     push 0000213e   
   [00002147] e8a2f4ffff     call 000015ee ; *call HHH in global memory*   
   [0000214c] 83c404         add esp,+04   
   [0000214f] 8945fc         mov [ebp-04],eax   
   [00002152] 837dfc00       cmp dword [ebp-04],+00   
   [00002156] 7402           jz 0000215a   
   [00002158] ebfe           jmp 00002158   
   [0000215a] 8b45fc         mov eax,[ebp-04]   
   [0000215d] 8be5           mov esp,ebp   
   [0000215f] 5d             pop ebp   
   [00002160] c3             ret   
   Size in bytes:(0035) [00002160]   
      
   Line 1354 called on line 1388   
   https://github.com/plolcott/x86utm/blob/master/Halt7.c   
      
   --   
   Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius   
   hits a target no one else can see." Arthur Schopenhauer   
      
   --- SoupGate-DOS v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)