Comment by WalterBright

6 months ago

Because there are cycles in the flow graph, I do not see how liveness can be computed in general without iteration and convergence on a solution.

0 comments