Skip to main content

contains_frame_ending_assembly

forge_lint::sol::med::unsafe_oz_erc721_mint

Function contains_frame_ending_assembly 

Source 
fn contains_frame_ending_assembly<'hir>(
    gcx: Gcx<'hir>,
    hir: &'hir Hir<'hir>,
    stmts: &'hir [Stmt<'hir>],
    seen: &mut Vec<FunctionId>,
) -> bool
Expand description

Whether a subtree can reach an assembly block in the same EVM frame, directly or through an internal call. An assembly return leaves the frame without running a later revert or what an outer modifier holds after its placeholder. Every assembly block is treated as capable of doing so, conservatively matching may_return.