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