Module naked_functions 

Checks validity of naked functions.

Re-exports

use rustc_attr_ir::find_attr; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::def_id::LocalDefId; 🔒

use rustc_hir::intravisit::Visitor; 🔒

use rustc_hir::ExprKind; 🔒

use rustc_hir::HirIdSet; 🔒

use rustc_hir::StmtKind; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_span::Span; 🔒

use rustc_span::span_bug; 🔒

use crate::diagnostics::NakedFunctionsAsmBlock; 🔒

use crate::diagnostics::NakedFunctionsMustNakedAsm; 🔒

use crate::diagnostics::NoPatterns; 🔒

use crate::diagnostics::ParamsNotAllowed; 🔒

Structs

CheckInlineAssembly 🔒

CheckParameters 🔒

Enums

ItemKind 🔒

Functions

check_asm 🔒

Checks that function body contains a single inline assembly block.

check_no_parameters_use 🔒

Checks that function parameters aren’t used in the function body.

check_no_patterns 🔒

Checks that parameters don’t use patterns. Mirrors the checks for function declarations.

typeck_naked_fn 🔒

Naked fns can only have trivial binding patterns in arguments, may not actually use those arguments, and the body must consist of just a single asm statement.