[−][src]Crate rustc_passes

Various checks

Note

This API is completely unstable and subject to change.

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.
check_const	This pass checks HIR bodies that may be evaluated at compile-time (e.g., `const`, `static`, `const fn`) for structured control flow (e.g. `if`, `while`), which is forbidden in a const context.
dead
diagnostic_items	Detecting diagnostic items.
entry
hir_id_validator
hir_stats
intrinsicck
lang_items	Detecting language items.
layout_test
lib_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
reachable
region	This file builds up the `ScopeTree`, which describes the parent links in the region hierarchy.
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::Local`s.
weak_lang_items	Validity checking for weak lang items