If you turned in a solution in class, you already got credit for this assignment. Otherwise, answer the following and submit to the E9 box on Canvas.
Exercise 9
Fill out the value sets that a flow-sensitive dataflow analysis would assign
| x | *y | *z | |
|---|---|---|---|
| B0 | |||
| B0→B1 | |||
| B0→B2 | |||
| B1 | |||
| B1→B3 | |||
| B2 | |||
| B2→B3 | |||
| B3 | |||
| exit |
