XPost: comp.theory, comp.lang.c++   
   From: 643-408-1753@kylheku.com   
      
   On 2025-11-14, olcott  wrote:   
   > So you still don't understand that when H sees   
   > that D calls the same function twice in sequence   
   > with the same arguments and has no conditional   
   > code inbetween its invocation and this function   
   > call that this is isomorphic to infinite recursion?   
      
   No. Obvious counterexample:   
      
   void D(void)   
   {   
     printf("calling this twice\n");   
     // no conditionals here   
     printf("calling this twice\n");   
   }   
      
   You're simply not able to run a simple specification through your head   
   to identify the ways in which it might not reflect your intent.   
      
   --   
   TXR Programming Language: http://nongnu.org/txr   
   Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal   
   Mastodon: @Kazinator@mstdn.ca   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)