Module 15: Reaching Definition
  Lecture 29: Reaching Definition
 


Example

Consider the flow graph in an earlier slide and its structural flow analysis


First Pass





Second Pass


For entrya block




For if-then else block



))