Skip to main content

expr_is_loop_invariant

forge_lint::sol::gas::cache_array_length

Function expr_is_loop_invariant 

Source 
fn expr_is_loop_invariant(
    hir: &Hir<'_>,
    expr: &Expr<'_>,
    written_vars: &[VariableId],
) -> bool