Returns for a given state a list of fields (as trees) that should be nulled out
upon resuming that state (at the beginning of resume
).
Returns for a given state a list of fields (as trees) that should be nulled out
upon resuming that state (at the beginning of resume
).
the states of an async
block
the lifted fields
a map mapping a state to the fields that should be nulled out upon resuming that state
Live variables data-flow analysis.
Live variables data-flow analysis.
The goal is to find, for each lifted field, the last state where the field is used.
In all direct successor states which are not (indirect) predecessors of that last state
(possible through loops), the corresponding field should be nulled out (at the beginning of
resume
).
the states of an async
block
the lifted fields
a map which indicates for a given field (the key) the states in which it should be nulled out