Method process_operand

src/analysis/pointsto/mod.rs:495–506

(operand: &Operand<'tcx>)

    }

    fn process_operand(operand: &Operand<'tcx>) -> Option<AccessPattern<'tcx>> {
        match operand {
            Operand::Move(place) | Operand::Copy(place) => {
                Some(AccessPattern::Direct(place.as_ref()))
            }
            Operand::Constant(box ConstOperand {
                span: _,
                user_ty: _,
                const_,
            }) => Some(AccessPattern::Constant(*const_)),
            Operand::RuntimeChecks(_) => None,
        }
    }

    fn process_rvalue(rvalue: &Rvalue<'tcx>) -> Vec<Option<AccessPattern<'tcx>>> {