Crate rustc_passes

Various checks

Note

This API is completely unstable and subject to change.

Modules

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

naked_functions

Checks validity of naked functions.

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::Locals.

weak_lang_items

Validity checking for weak lang items

Functions

provide