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.
This member is added by an implicit conversion from ReachingDefinitions to
any2stringadd[ReachingDefinitions] performed by method any2stringadd in scala.Predef.
This member is added by an implicit conversion from ReachingDefinitions to
ArrowAssoc[ReachingDefinitions] performed by method ArrowAssoc in scala.Predef.
This member is added by an implicit conversion from ReachingDefinitions to
StringFormat[ReachingDefinitions] performed by method StringFormat in scala.Predef.
This member is added by an implicit conversion from ReachingDefinitions to
ArrowAssoc[ReachingDefinitions] performed by method ArrowAssoc in scala.Predef.
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.