apply_conservative_alias_for_call

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

Function apply_conservative_alias_for_call 

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

Conservative fallback for library functions without MIR Assumes return value may alias with any may_drop argument