Module uninitialized_local 

Re-exports

use super::UninitializedLocal; 🔒

use crate::linter::LateLintPass; 🔒

use crate::linter::LintContext; 🔒

use crate::sol::Severity; 🔒

use crate::sol::SolLint; 🔒

use crate::sol::analysis::branch_always_exits; 🔒

use crate::sol::analysis::for_each_lhs_var; 🔒

use crate::sol::analysis::loop_stmts; 🔒

use solar::ast::ElementaryType; 🔒

use solar::interface::Span; 🔒

use solar::interface::data_structures::Never; 🔒

use solar::sema::Gcx; 🔒

use solar::sema::Hir; 🔒

use solar::sema::hir::BinOpKind; 🔒

use solar::sema::hir::Block; 🔒

use solar::sema::hir::Expr; 🔒

use solar::sema::hir::ExprKind; 🔒

use solar::sema::hir::Function; 🔒

use solar::sema::hir::LoopSource; 🔒

use solar::sema::hir::Stmt; 🔒

use solar::sema::hir::StmtKind; 🔒

use solar::sema::hir::TypeKind; 🔒

use solar::sema::hir::UnOpKind; 🔒

use solar::sema::hir::VarKind; 🔒

use solar::sema::hir::VariableId; 🔒

use solar::sema::hir::Visit; 🔒

use std::collections::HashMap; 🔒

use std::collections::HashSet; 🔒

use std::ops::ControlFlow; 🔒

Structs

Checker 🔒

Statics

UNINITIALIZED_LOCAL

Functions

defaulted_counter_loop 🔒

The loop statement of a conventional for (uint i; i < n; i++) header whose counter relies on its implicit zero. The header lowers to { decl; loop { if cond { body } else break } } with the update on the loop source; matching the wrapper’s span keeps declarations outside the header distinct.