Skip to main content

modifier_coverage_at_body

forge_lint::sol::med::unsafe_oz_erc721_mint

Function modifier_coverage_at_body 

Source 
fn modifier_coverage_at_body<'hir>(
    gcx: Gcx<'hir>,
    hir: &'hir Hir<'hir>,
    function: &'hir Function<'hir>,
    recipient: VariableId,
    token: VariableId,
    coverage: GuardCoverage,
) -> ModifierCoverage
Expand description

Coverage in effect when a function body starts after expanding its modifiers in declaration order. Prefixes are walked in execution order so calls in an inner modifier can retire an outer code-length snapshot. A proven tail guard is represented as stable callback coverage while walking the body: it runs after the body and can revert every mint the body made, unless assembly in the body or an inner modifier can bypass it.