Method process_place

src/analysis/pointsto/mod.rs:482–493

(place_ref: PlaceRef<'tcx>)

    }

    fn process_place(place_ref: PlaceRef<'tcx>) -> AccessPattern<'tcx> {
        match place_ref {
            PlaceRef {
                local: l,
                projection: [ProjectionElem::Deref, ref remain @ ..],
            } => AccessPattern::Indirect(PlaceRef {
                local: l,
                projection: remain,
            }),
            _ => AccessPattern::Direct(place_ref),
        }
    }

    fn process_operand(operand: &Operand<'tcx>) -> Option<AccessPattern<'tcx>> {
        match operand {