1. Forum
  2. USENET
  3. cplusplus

  • 5 statements of D simulated by H

    From olcott@polcott333@gmail.com to comp.theory,comp.lang.c++,comp.lang.c on Wed Nov 12 14:49:29 2025
    From Newsgroup: comp.lang.c++

    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)

    ???

    I will keep comp.lang.c and comp.lang.c++
    in the loop until I get an honest reply
    even if that is never.
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer

    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to comp.theory,comp.lang.c,comp.lang.c++ on Wed Nov 12 18:46:03 2025
    From Newsgroup: comp.lang.c++

    On 11/12/2025 5:55 PM, Kaz Kylheku wrote:
    On 2025-11-12, olcott <polcott333@gmail.com> 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)
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From dbush@dbush.mobile@gmail.com to comp.theory,comp.lang.c,comp.lang.c++ on Wed Nov 12 20:06:55 2025
    From Newsgroup: comp.lang.c++

    On 11/12/2025 7:46 PM, olcott wrote:
    On 11/12/2025 5:55 PM, Kaz Kylheku wrote:
    On 2025-11-12, olcott <polcott333@gmail.com> 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()
    {
    -a int Halt_Status = H(D);
    -a if (Halt_Status)
    -a-a-a HERE: goto HERE;
    -a 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)-a-a-a 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
    --- Synchronet 3.21a-Linux NewsLink 1.2