Module 16: Data Flow Analysis in Presence of Procedure Calls
  Lecture 32: Iteration
 


Code Sinking



 

Data Dependence With Conditionals

  • There must be a path from definition to use
  • In case of conditionals, path cannot be determined at compile time
  • Any path may be taken at runtime
  • Data dependence cannot occur between statements in alternate paths