Module unreachable_enum_branching 

A pass that eliminates branches on uninhabited or unreachable enum variants.

Re-exports

use rustc_abi::Variants; 🔒

use rustc_data_structures::fx::FxHashSet; 🔒

use rustc_middle::mir::BasicBlockData; 🔒

use rustc_middle::mir::Body; 🔒

use rustc_middle::mir::Local; 🔒

use rustc_middle::mir::Operand; 🔒

use rustc_middle::mir::Rvalue; 🔒

use rustc_middle::mir::StatementKind; 🔒

use rustc_middle::mir::TerminatorKind; 🔒

use rustc_middle::ty::layout::TyAndLayout; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_span::bug; 🔒

use tracing::trace; 🔒

use crate::PassPolicy; 🔒

use crate::patch::MirPatch; 🔒

Structs

UnreachableEnumBranching 🔒

Functions

get_discriminant_local 🔒

get_switched_on_type 🔒

If the basic block terminates by switching on a discriminant, this returns the Ty the discriminant is read from. Otherwise, returns None.

variant_discriminants 🔒