Skip to main content

callee_contains_pointer_arithmetic

rapx::verify::call_summary::interprocedural

Function callee_contains_pointer_arithmetic 

Source 
pub(super) fn callee_contains_pointer_arithmetic(
    tcx: TyCtxt<'_>,
    callee: DefId,
) -> bool
Expand description

Check whether a callee body contains pointer arithmetic calls.