Skip to main content

walk_one

forge_lint::sol::med::unsafe_oz_erc721_mint

Function walk_one 

Source 
fn walk_one<'hir>(
    gcx: Gcx<'hir>,
    hir: &'hir Hir<'hir>,
    stmt: &'hir Stmt<'hir>,
    recipient: VariableId,
    token: VariableId,
    delegations: &[FunctionId],
    unstable_code_delegations: &[FunctionId],
    bypass: bool,
    seen: &mut Vec<FunctionId>,
    walk: &mut GuardWalk,
)
Expand description

walk_guards on a single statement.