Skip to main content

places_holding_transferred_pointer

rapx::verify::alias_hazard

Function places_holding_transferred_pointer 

Source 
fn places_holding_transferred_pointer(
    tcx: TyCtxt<'_>,
    caller: DefId,
    call_block: BasicBlock,
    origin_place: &PlaceKey,
) -> Vec<PlaceKey>