try_pointer_arith_wrapper_effect

rapx::verify::call_summary

Function try_pointer_arith_wrapper_effect 

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

Detect when a local callee wraps a pointer-arithmetic call (add/sub) and produce the correct ReturnPointerAdd / ReturnPointerSub effect.