Skip to main content

branch_always_reverts

forge_lint::sol::med::unsafe_oz_erc721_mint

Function branch_always_reverts 

Source 
fn branch_always_reverts<'hir>(
    gcx: Gcx<'hir>,
    hir: &'hir Hir<'hir>,
    stmt: &'hir Stmt<'hir>,
) -> bool
Expand description

Whether executing stmt always reverts, undoing everything the transaction did. Only a revert counts, the guards being matched without an order: see may_return for the escapes that leave the transaction standing.