Module check_enums 

Re-exports

use rustc_abi::Scalar; 🔒

use rustc_abi::Size; 🔒

use rustc_abi::TagEncoding; 🔒

use rustc_abi::Variants; 🔒

use rustc_abi::WrappingRange; 🔒

use rustc_attr_ir::lang_items::LangItem; 🔒

use rustc_index::IndexVec; 🔒

use rustc_middle::mir::visit::Visitor; 🔒

use rustc_middle::ty::layout::PrimitiveExt; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypingEnv; 🔒

use rustc_span::bug; 🔒

use tracing::debug; 🔒

use crate::PassPolicy; 🔒

use rustc_middle::mir::*; 🔒

Structs

CheckEnums 🔒

This pass inserts checks for a valid enum discriminant where they are most likely to find UB, because checking everywhere like Miri would generate too much MIR.

EnumFinder 🔒

A Visitor that finds the construction of enums and evaluates which checks we should apply.

TyAndSize 🔒

Enums

EnumCheckType 🔒

Represent the different kind of enum checks we can insert.

Functions

insert_direct_enum_check 🔒

insert_discr_cast_to_u128 🔒

Inserts the cast of an operand (any type) to a u128 value that holds the discriminant value.

insert_niche_check 🔒

insert_uninhabited_enum_check 🔒

split_block 🔒