Skip to main content

pointer_arith_wrapper_probe

rapx::verify::call_summary::interprocedural

Function pointer_arith_wrapper_probe 

Source 
fn pointer_arith_wrapper_probe<'tcx>(
    tcx: TyCtxt<'tcx>,
    callee: DefId,
    recurse: &mut (dyn FnMut(DefId) -> Option<CallEffect> + '_),
) -> Option<CallEffect>
Expand description

Single-effect recognizer for resolve_wrapper_effect: does callee directly wrap a pointer add/sub, or delegate to a nested callee that itself resolves to one?