Skip to main content

callee_calls_other_local

rapx::verify::call_summary::interprocedural

Function callee_calls_other_local 

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

Return true if the callee body contains any Call terminator, meaning the callee is not self-contained (a nested call may have side effects that a shallow summary cannot capture).