Module rustc_mir_transform::unreachable_prop

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

• UnreachablePropagation

Functions

• remove_successors_from_switch 🔒
  Return whether the current terminator is fully unreachable.