Skip to main content

ascending_step

forge_lint::sol::high::enumerable_loop_removal

Function ascending_step 

Source 
fn ascending_step<'gcx>(
    gcx: Gcx<'gcx>,
    expr: &'gcx Expr<'gcx>,
) -> Option<VariableId>
Expand description

The bare identifier an expression steps upward by one of the simple ascending forms: i++/++i, i += <positive literal>, i = i + <positive literal> or its commutation.