Module 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.

Re-exports

use rustc_abi::Size; 🔒

use rustc_data_structures::fx::FxHashSet; 🔒

use rustc_middle::mir::interpret::Scalar; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_span::bug; 🔒

use crate::PassPolicy; 🔒

use crate::patch::MirPatch; 🔒

use rustc_middle::mir::*; 🔒

Structs

UnreachablePropagation 🔒

Functions

remove_successors_from_switch 🔒

Return whether the current terminator is fully unreachable.