Skip to main content

try_pointer_arith_wrapper_effect

rapx::verify::call_summary::interprocedural

Function try_pointer_arith_wrapper_effect 

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

Probe whether callee is a pointer-arithmetic (add/sub) wrapper, following nested wrapper calls transitively. effect_summary runs this on every local callee; it returns None for anything that is not — transitively — a pointer add/sub wrapper.