Skip to main content

collect_cadence_writes

forge_lint::sol::high::enumerable_loop_removal

Function collect_cadence_writes 

Source 
fn collect_cadence_writes<'hir>(
    hir: &'hir Hir<'hir>,
    stmts: &'hir [Stmt<'hir>],
    cadence: &mut Vec<VariableId>,
    other_writes: &mut HashSet<VariableId>,
)
Expand description

Walks the straight-line statements of a body, bare blocks included, and records variables written by a supported ascending step separately from every other write or declaration. A cadence is valid only when all of its writes are supported ascending steps.