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