Skip to main content

dominating_stmts

forge_lint::sol::analysis::access_control

Function dominating_stmts 

Source 
fn dominating_stmts<'gcx>(
    stmts: impl IntoIterator<Item = &'gcx Stmt<'gcx>>,
    out: &mut Vec<&'gcx Stmt<'gcx>>,
) -> ControlFlow<()>
Expand description

Collects into out the statements that run unconditionally before the _ placeholder (all of them for functions), descending into blocks and loops. Breaks when the placeholder is reached.