To support the rollback mechanism, we remember inter-function edges created during the recovery of an indirect branch. If a vertex has been promoted due to such an edge, and the edge has turned out to be invalid, then we should be able to revert the promotion.
Union case | Description |
|
|