Module rustc_mir_transform::unreachable_prop
source · 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.