From: DrDiettrich1@netscape.net   
      
   Am 16.09.2020 um 07:25 schrieb gah4:   
      
   > One thought was that someone codes bubblesort, and the compiler   
   > generates quicksort. Small complication that bubblesort is stable, and   
   > quicksort isn't. (Add an array with the original position to break   
   > ties.)   
      
   Right, algorithm or control flow optimization should be located in an   
   earlier project stage, not in compilation. It also smells like the dream   
   of automated "proof of correctness", whose basics I learned 50 years ago   
   but never found usable results yet. How shall a tool suggest other   
   algorithm(s) without knowing (having determined - how?!) about the goals   
   of a piece of code?   
      
   DoDi   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)