scala.tools.nsc.backend.icode.analysis
A modified copy-propagation like analysis. It is augmented with a record-like value which is used to represent closures.
The boxed value of some location.
The constant value c.
The value of some location in memory.
Locations can be local variables, this, and fields.
Values that can be on the stack.
The bottom record.
Unknown.
The lattice for this analysis.
A modified copy-propagation like analysis. It is augmented with a record-like value which is used to represent closures.