apply_function_summary

rapx::analysis::core::alias_analysis::mfp::intraproc

Function apply_function_summary 

Source 
fn apply_function_summary<'tcx>(
    state: &mut AliasDomain,
    destination: Place<'tcx>,
    args: &[Operand<'tcx>],
    summary: &FnAliasPairs,
    place_info: &PlaceInfo<'tcx>,
)
Expand description

Apply a function summary to the current state