destination_pointee_alignment

rapx::verify::call_summary

Function destination_pointee_alignment 

Source 
fn destination_pointee_alignment<'tcx>(
    tcx: TyCtxt<'tcx>,
    caller: DefId,
    destination: Option<Local>,
) -> Option<(u64, String)>
Expand description

Return pointee alignment for a pointer returned into destination.