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.
(copyPropagation: StringAdd).self
(copyPropagation: StringFormat).self
(copyPropagation: ArrowAssoc[CopyPropagation]).x
(Since version 2.10.0) Use leftOfArrow
instead
(copyPropagation: Ensuring[CopyPropagation]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
A modified copy-propagation like analysis. It is augmented with a record-like value which is used to represent closures.