Skip to main content

is_ptr_from_ptr_add

rapx::verify::alias_hazard

Function is_ptr_from_ptr_add 

Source 
fn is_ptr_from_ptr_add(
    tcx: TyCtxt<'_>,
    caller: DefId,
    ptr_place: &PlaceKey,
) -> bool