XPost: comp.theory, comp.lang.c++   
   From: dbush.mobile@gmail.com   
      
   On 11/12/2025 7:46 PM, olcott wrote:   
   > On 11/12/2025 5:55 PM, Kaz Kylheku wrote:   
   >> On 2025-11-12, olcott  wrote:   
   >>> Everyone here rejects that the execution trace   
   >>> of 5 statements of D simulated by H according to   
   >>> the semantics of C is this:   
   >>   
   >> Dickhead, can you stop spamming comp.lang.* newsgroups with this H and D   
   >> shit?   
   >>   
   >   
   > *This is a FOREVER thing until someone admits the truth*   
   > *This is a FOREVER thing until someone admits the truth*   
   > *This is a FOREVER thing until someone admits the truth*   
   >   
   > int D()   
   > {   
   >    int Halt_Status = H(D);   
   >    if (Halt_Status)   
   >      HERE: goto HERE;   
   >    return Halt_Status;   
   > }   
   >   
   > Everyone here rejects that the execution trace   
   > of 5 statements of D simulated by H according to   
   > the semantics of C is this:   
   >   
   > (1)    H simulates D that calls H(D)   
   > (2) that simulates D that calls H(D)   
   > (3) that simulates D that calls H(D)   
   > (4) that simulates D that calls H(D)   
   > (5) that simulates D that calls H(D)   
      
   False.  The first 5 statements of D simulated by H are the following:   
      
   (1) int Halt_Status = H(D);   
   (2)  __asm__("lea eax, DATA1");   
   (3)  __asm__("mov Aborted, eax");          // Data stored directly in   
   the function body   
   (4)  __asm__("lea eax, DATA2");   
   (5)  __asm__("mov execution_trace, eax");  // Data stored directly in   
   the function body   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)