what local variables have been accessed at least once?
collect reaching definitions and initial useful instructions for this method.
Use-def chain: give the reaching definitions at the beginning of given instruction.
Map instructions who have a drop on some control path, to that DROP instruction.
Mark useful instructions.
Mark useful instructions. Instructions in the worklist are each inspected and their dependencies are marked useful too, and added to the worklist.
the current method.
what instructions have been marked as useful?
Useful instructions which have not been scanned yet.
(deadCode: StringAdd).self
(deadCode: StringFormat).self
(deadCode: ArrowAssoc[DeadCode]).x
(Since version 2.10.0) Use leftOfArrow
instead
(deadCode: Ensuring[DeadCode]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
Remove dead code.