Skip to main content

try_from_raw_parts_wrapper_effect

rapx::verify::call_summary::interprocedural

Function try_from_raw_parts_wrapper_effect 

Source 
pub(super) fn try_from_raw_parts_wrapper_effect<'tcx>(
    tcx: TyCtxt<'tcx>,
    callee: DefId,
    _destination: Option<Local>,
) -> Option<CallEffect>
Expand description

Detect when a local callee wraps from_raw_parts(ptr, len) and produce a ReturnFreshAllocation effect with the correct element size.