scala.tools.nsc.backend.icode.analysis
Compute reaching definitions. We are only interested in reaching definitions for local variables, since values on the stack behave as-if in SSA form: the closest instruction which produces a value on the stack is a reaching definition.
The lattice for reaching definitions.
Compute reaching definitions. We are only interested in reaching definitions for local variables, since values on the stack behave as-if in SSA form: the closest instruction which produces a value on the stack is a reaching definition.