Method process_rvalue

src/analysis/pointsto/mod.rs:508–530

(rvalue: &Rvalue<'tcx>)

        }
    }

    fn process_rvalue(rvalue: &Rvalue<'tcx>) -> Vec<Option<AccessPattern<'tcx>>> {
        match rvalue {
            Rvalue::Use(operand) | Rvalue::Repeat(operand, _) | Rvalue::Cast(_, operand, _) => {
                vec![Self::process_operand(operand)]
            }
            // Regard `p = &*q` as `p = q`
            Rvalue::Ref(_, _, place) | Rvalue::RawPtr(_, place) => match place.as_ref() {
                PlaceRef {
                    local: l,
                    projection: [ProjectionElem::Deref, ref remain @ ..],
                } => vec![Some(AccessPattern::Direct(PlaceRef {
                    local: l,
                    projection: remain,
                }))],
                _ => vec![Some(AccessPattern::Ref(place.as_ref()))],
            },
            Rvalue::Aggregate(_, fields) => {
                let fields = fields.iter().map(Self::process_operand).collect::<Vec<_>>();
                fields
            }
            _ => vec![],
        }
    }

    /// dest: *const T = Vec::as_ptr(arg: &Vec<T>) =>