Skip to main content

lookup_effect

rapx::verify::call_summary::fn_simulator

Function lookup_effect 

Source 
pub fn lookup_effect<'tcx>(
    tcx: TyCtxt<'tcx>,
    caller: DefId,
    callee: Option<DefId>,
    name: &str,
    func: &Operand<'tcx>,
    destination: Local,
) -> Option<CallEffectSummary>