From: tetra2005@googlemail.com   
      
   Thank you for your answer but please note that I was not asking about   
   alias analysis.   
      
   My problem is not finding out what variables may be changed by call   
   (or by some ambigous command) but how to incorporate this information   
   into dataflow framework. We have 2 main opportunities: consider that   
   call kills reaching definitions or that it does not. Both lead to   
   problems during optimization (see my first message).   
      
   Up to now I have found only one online course which mentions this   
   problem - Rajiv Gupta's Compiler Construction (see slide 7 in   
   http://www.cs.ucr.edu/~gupta/teaching/201-09/My3.pdf ). Unfortunately   
   it does not give any details.   
      
   --   
   s UWAVENIEM,   
   `RIJ   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)