The relational analysis now maintains two separate views of the CFG: one is the original, flat view, in the other the basic blocks that are part of the trampoline are collapsed into a single, composite TrampolineBlock that provides accessors to the constituting blocks according to their roles in the trampoline.
The relational analysis now maintains two separate views of the CFG: one is the original, flat view, in the other the basic blocks that are part of the trampoline are collapsed into a single, composite TrampolineBlock that provides accessors to the constituting blocks according to their roles in the trampoline.