Skip to main content

Module known_panics_lint

rustc_mir_transform

Module known_panics_lint 

Source
Expand description

A lint that checks for known panics like overflows, division by zero, out-of-bound access etc. Uses const propagation to determine the values of operands during checks.

Re-exports§

use std::fmt::Debug; 🔒
use std::fmt::Debug; 🔒
use rustc_abi::BackendRepr; 🔒
use rustc_abi::FieldIdx; 🔒
use rustc_abi::HasDataLayout; 🔒
use rustc_abi::Size; 🔒
use rustc_abi::TargetDataLayout; 🔒
use rustc_abi::VariantIdx; 🔒
use rustc_attr_ir::find_attr; 🔒
use rustc_const_eval::const_eval::DummyMachine; 🔒
use rustc_const_eval::interpret::ImmTy; 🔒
use rustc_const_eval::interpret::InterpCx; 🔒
use rustc_const_eval::interpret::InterpResult; 🔒
use rustc_const_eval::interpret::Projectable; 🔒
use rustc_const_eval::interpret::Scalar; 🔒
use rustc_const_eval::interpret::interp_ok; 🔒
use rustc_data_structures::fx::FxHashSet; 🔒
use rustc_hir::HirId; 🔒
use rustc_hir::def::DefKind; 🔒
use rustc_index::IndexVec; 🔒
use rustc_index::bit_set::DenseBitSet; 🔒
use rustc_lint_defs::builtin::UNCONDITIONAL_PANIC; 🔒
use rustc_middle::mir::visit::MutatingUseContext; 🔒
use rustc_middle::mir::visit::NonMutatingUseContext; 🔒
use rustc_middle::mir::visit::PlaceContext; 🔒
use rustc_middle::mir::visit::Visitor; 🔒
use rustc_middle::ty::layout::LayoutError; 🔒
use rustc_middle::ty::layout::LayoutOf; 🔒
use rustc_middle::ty::layout::LayoutOfHelpers; 🔒
use rustc_middle::ty::layout::TyAndLayout; 🔒
use rustc_middle::ty; 🔒
use rustc_middle::ty::ConstInt; 🔒
use rustc_middle::ty::GenericArgKind; 🔒
use rustc_middle::ty::GenericParamDefKind; 🔒
use rustc_middle::ty::ScalarInt; 🔒
use rustc_middle::ty::Ty; 🔒
use rustc_middle::ty::TyCtxt; 🔒
use rustc_middle::ty::TypeVisitableExt; 🔒
use rustc_middle::ty::Unnormalized; 🔒
use rustc_span::Span; 🔒
use rustc_span::bug; 🔒
use tracing::debug; 🔒
use tracing::instrument; 🔒
use tracing::instrument; 🔒
use tracing::trace; 🔒
use crate::diagnostics::AssertLint; 🔒
use crate::diagnostics::AssertLintKind; 🔒
use crate::diagnostics::ConstNIsZero; 🔒
use rustc_middle::mir::*; 🔒

Structs§

CanConstProp 🔒
A visitor that determines locals in a MIR body that can be const propagated
ConstPropagator 🔒
Visits MIR nodes, performs const propagation and runs lint checks as it goes
KnownPanicsLint 🔒

Enums§

ConstPropMode 🔒
The mode that ConstProp is allowed to run in for a given Local.
Value 🔒

Constants§

MAX_ALLOC_LIMIT 🔒
The maximum number of bytes that we’ll allocate space for a local or the return value. Needed for #66397, because otherwise we eval into large places and that can cause OOM or just Severely regress performance.