Structsยง
- Localized
Constraint ๐Graph - The localized constraint graph indexes the physical and logical edges to compute a given nodeโs successors during traversal.
- Localized
Node ๐ - 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: