From: massimo_dentico@hotmail.com   
      
   "noitalmost"  wrote:   
      
   > [...]   
   > Can a compiler do this sort of checking, or would the complexity get   
   > out of hand? I'm thinking that at least a limited form must be   
   > possible in order to do any sort of inter-procedural register   
   > allocation.   
   > [...]   
      
   I would suggest some papers about this subject:   
      
     Compiler Detection of Function Call Side Effects   
       http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.2096   
      
     Side-Effect Removal Transformation   
       http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.352   
      
     A Post-Placement Side-Effect Removal Algorithm   
       http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.6348   
      
      
   Regards.   
      
   --   
   Massimo Dentico   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)