Skip to main content

collect_modifier_guards

forge_lint::sol::low::missing_zero_check

Function collect_modifier_guards 

Source 
fn collect_modifier_guards<'hir>(
    hir: &'hir Hir<'hir>,
    invocation: &Modifier<'hir>,
    caller_params: &HashSet<VariableId>,
    guarded: &mut HashSet<VariableId>,
)
Expand description

Maps each direct-ident modifier argument back to its caller-side parameter, runs the same guard analysis on the modifier body, and records any caller params whose mapped modifier parameter is guarded.