Module loan_liveness

Module loan_liveness 

Source

Structsยง

LocalizedConstraintGraph ๐Ÿ”’
The localized constraint graph indexes the physical and logical edges to compute a given nodeโ€™s successors during traversal.
LocalizedNode ๐Ÿ”’
A node in the graph to be traversed, one of the two vertices of a localized outlives constraint.

Functionsยง

compute_loan_liveness ๐Ÿ”’
Compute loan reachability to approximately trace loan liveness throughout the CFG, by traversing the full graph of constraints that combines: