From: linuxkaffee_@_gmx.net   
      
   Hi,   
      
   I was wondering how compiler optimisations can be verified,   
   i.e. whether they perform always valid code modifications? How is it   
   done in practice?   
      
   I assume that the only safe way would be to formulate the applied code   
   modifications as formal transformations that model every possible   
   situation that can ever occur. But on the other hand this seems to be   
   infeasible for most optimisations since they are too complex for   
   analytical models.   
      
   An alternative would be regression tests, but are such tests safe? I   
   mean you can never be sure that you did not miss a scenario that may   
   occur in practice.   
      
   Regards,   
   Stephen   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)