Module cache_array_length 

Re-exports

use super::CacheArrayLength; 🔒

use crate::linter::LateLintPass; 🔒

use crate::linter::LintContext; 🔒

use crate::sol::Severity; 🔒

use crate::sol::SolLint; 🔒

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

use solar::ast::ElementaryType; 🔒

use solar::interface::Span; 🔒

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

use solar::interface::sym; 🔒

use solar::sema::Gcx; 🔒

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

use solar::sema::hir; 🔒

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

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

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

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

use solar::sema::hir::StateMutability; 🔒

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

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

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

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

use solar::sema::ty::TyKind; 🔒

use std::ops::ControlFlow; 🔒

Structs

LoopFacts 🔒

Loop body facts that make caching unsafe: variables written, array length mutations and calls that may mutate state.

Statics

CACHE_ARRAY_LENGTH

Functions

call_may_mutate_state 🔒

Whether a call may write storage; array push/pop count since they change the length.

collect_length_reads 🔒

Collects <state dynamic array>.length reads compared against an identifier in expr.

is_array_like 🔒

state_dyn_array 🔒

The state variable expr names, if it is a dynamic array.