In dataflow analysis, each branch of an if statement is analyzed separately. Then, the environments from those branches are merged together, since assignments from either one can influence bindings. Furthermore, variables in the conditional itself influences the values of assignments within those branches.
First commit adds a join field to if statements, which indicates where the two branches join up. This make it much easier to recursively analyze each branch of the control structure.
In dataflow analysis, each branch of an
ifstatement is analyzed separately. Then, the environments from those branches are merged together, since assignments from either one can influence bindings. Furthermore, variables in the conditional itself influences the values of assignments within those branches.First commit adds a
joinfield toifstatements, which indicates where the two branches join up. This make it much easier to recursively analyze each branch of the control structure.