Skip to main content

mark_storage_args

forge_lint::sol::med::uninitialized_state_variables

Function mark_storage_args 

Source 
fn mark_storage_args<'hir>(
    funcs: &[&Function<'hir>],
    hir: &'hir Hir<'hir>,
    args: &CallArgs<'hir>,
    candidates: &HashSet<VariableId>,
    writes: &mut HashSet<VariableId>,
)
Expand description

For each call argument, if ANY resolved overload has a storage parameter at that position, treat the argument as a write target.