pub fn transfer_call<'tcx>(
state: &mut AliasDomain,
ret: Place<'tcx>,
_args: &[Operand<'tcx>],
place_info: &PlaceInfo<'tcx>,
)Expand description
Transfer function for function call
pub fn transfer_call<'tcx>(
state: &mut AliasDomain,
ret: Place<'tcx>,
_args: &[Operand<'tcx>],
place_info: &PlaceInfo<'tcx>,
)Transfer function for function call