Skip to main content

hazard_used_after_statement

rapx::verify::alias_hazard

Function hazard_used_after_statement 

Source 
fn hazard_used_after_statement(
    tcx: TyCtxt<'_>,
    caller: DefId,
    block: BasicBlock,
    statement_index: usize,
    hazard_locals: &HashSet<Local>,
) -> bool