transfer_field_assign

rapx::analysis::core::alias_analysis::mfp::transfer

Function transfer_field_assign 

Source 
pub fn transfer_field_assign<'tcx>(
    state: &mut AliasDomain,
    lv: Place<'tcx>,
    rv_base: Place<'tcx>,
    field_idx: usize,
    place_info: &PlaceInfo<'tcx>,
)
Expand description

Transfer function for field assignment: lv = rv.field