Module costly_loop 

Re-exports

use super::CostlyLoop; 🔒

use crate::linter::LateLintPass; 🔒

use crate::linter::LintContext; 🔒

use crate::sol::Severity; 🔒

use crate::sol::SolLint; 🔒

use crate::sol::analysis::write_target; 🔒

use solar::ast::DataLocation; 🔒

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

use solar::sema::Gcx; 🔒

use solar::sema::Hir; 🔒

use solar::sema::builtins::Builtin; 🔒

use solar::sema::hir; 🔒

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

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

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

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

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

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

use std::ops::ControlFlow; 🔒

Structs

LoopWriteFinder 🔒

Statics

COSTLY_LOOP

Functions

lvalue_is_state_var 🔒

Returns true if the lvalue expression ultimately writes to a storage variable.