Crate rustc_passes

Expand description

Various checks

§Note

This API is completely unstable and subject to change.

abi_test
check_attr 🔒: This module implements some validity checks for attributes. In particular it verifies that #[inline] and #[repr] attributes are attached to items that actually support them and if there are conflicts between multiple such attributes attached to the same item.
dead
debugger_visualizer 🔒: Detecting usage of the #[debugger_visualizer] attribute.
diagnostic_items 🔒: Detecting diagnostic items.
entry
errors 🔒
hir_id_validator
input_stats
lang_items 🔒: Detecting lang items.
layout_test
lib_features 🔒: Detecting lib features (i.e., features that are not lang features).
liveness 🔒: A classic liveness analysis based on dataflow over the AST. Computes, for each local variable in a function, whether that variable is live at a given point. Program execution points are identified by their IDs.
loops
naked_functions 🔒: Checks validity of naked functions.
reachable 🔒: Finds local items that are “reachable”, which means that other crates need access to their compiled code or their runtime MIR. (Compile-time MIR is always encoded anyway, so we don’t worry about that here.)
stability: A pass that annotates every item and method with its stability level, propagating default levels lexically from parent to children ast nodes.
upvars 🔒: Upvar (closure capture) collection from cross-body HIR uses of Res::Locals.
weak_lang_items 🔒: Validity checking for weak lang items

DEFAULT_LOCALE_RESOURCE: Raw content of Fluent resource for this crate, generated by fluent_messages macro, imported by rustc_driver to include all crates’ resources in one bundle.