Re-exports§
use std::mem;🔒use std::ops::ControlFlow;🔒use std::sync::atomic::Ordering;🔒use hir::def_id::LocalDefIdSet;🔒use rustc_abi::FieldIdx;🔒use rustc_attr_ir::find_attr;🔒use rustc_data_structures::fx::FxHashMap;🔒use rustc_data_structures::fx::FxHashSet;🔒use rustc_errors::ErrorGuaranteed;🔒use rustc_errors::MultiSpan;🔒use rustc_hir::def::CtorOf;🔒use rustc_hir::def::DefKind;🔒use rustc_hir::def::Res;🔒use rustc_hir::def_id::DefId;🔒use rustc_hir::def_id::LocalDefId;🔒use rustc_hir::def_id::LocalDefIdMap;🔒use rustc_hir::def_id::LocalModId;🔒use rustc_hir::intravisit;🔒use rustc_hir::intravisit::Visitor;🔒use rustc_hir as hir;🔒use rustc_hir::ForeignItemId;🔒use rustc_hir::ItemId;🔒use rustc_hir::Node;🔒use rustc_hir::PatKind;🔒use rustc_hir::QPath;🔒use rustc_lint_defs::builtin::DEAD_CODE;🔒use rustc_lint_defs::builtin::DEAD_CODE_PUB_IN_BINARY;🔒use rustc_lint_defs as lint;🔒use rustc_lint_defs::Lint;🔒use rustc_lint_defs::StableLintExpectationId;🔒use rustc_middle::middle::codegen_fn_attrs::CodegenFnAttrFlags;🔒use rustc_middle::middle::dead_code::DeadCodeLivenessSnapshot;🔒use rustc_middle::middle::dead_code::DeadCodeLivenessSummary;🔒use rustc_middle::middle::privacy::Level;🔒use rustc_middle::query::Providers;🔒use rustc_middle::ty;🔒use rustc_middle::ty::AssocTag;🔒use rustc_middle::ty::TyCtxt;🔒use rustc_span::ExpnKind;🔒use rustc_span::MacroKind;🔒use rustc_span::Span;🔒use rustc_span::Symbol;🔒use rustc_span::bug;🔒use rustc_span::kw;🔒use rustc_span::span_bug;🔒use rustc_structures::CrateType;🔒use crate::diagnostics::ChangeFields;🔒use crate::diagnostics::DeadCodePubInBinaryNote;🔒use crate::diagnostics::MultipleDeadCodes;🔒use crate::diagnostics::ParentInfo;🔒use crate::diagnostics::UselessAssignment;🔒
Structs§
- Dead
Item 🔒 - Dead
Visitor 🔒 - Deferred
Seeds 🔒 - Live
Symbols 🔒 - Mark
Symbol 🔒Visitor - Scanned
Item 🔒 - Seed
Worklists 🔒 - Work
Item 🔒 - Carries both the propagated
allow/expectcontext and the current item’s ownallow/expectstatus.
Enums§
- Comes
From 🔒Allow Expect - Determine if a work from the worklist is coming from a
#[allow]or a#[expect]ofdead_code - Impl
Item 🔒Check Result - Report
On 🔒 - Should
Warn 🔒About Field
Functions§
- check_
mod_ 🔒deathness - create_
and_ 🔒seed_ worklist - has_
allow_ 🔒dead_ code_ or_ lang_ attr - lint_
dead_ 🔒codes - live_
symbols_ 🔒and_ trivial_ usage_ sites - maybe_
record_ 🔒as_ seed - Examine the given definition and record it in the worklist if it should be considered live.
- provide 🔒
- should_
explore 🔒 - Any local definition that may call something in its body block should be explored. For example, if it’s a live function, then we should explore its block to check for codes that may need to be marked as live.