Expand description
A pass that propagates the unreachable terminator of a block to its predecessors when all of their successors are unreachable. This is achieved through a post-order traversal of the blocks.
Structs§
Functions§
- remove_
successors_ 🔒from_ switch - Return whether the current terminator is fully unreachable.