Method process_call_arg_dest

src/analysis/pointsto/mod.rs:534–536

dest: *const T = Vec::as_ptr(arg: &Vec ) => arg--|copy|-->dest

(&mut self, arg: PlaceRef<'tcx>, dest: PlaceRef<'tcx>)

    /// dest: *const T = Vec::as_ptr(arg: &Vec<T>) =>
    /// arg--|copy|-->dest
    fn process_call_arg_dest(&mut self, arg: PlaceRef<'tcx>, dest: PlaceRef<'tcx>) {
        self.graph.add_copy(dest, arg);
    }

    /// dest: Arc<T> = Arc::clone(arg: &Arc<T>) or dest: T = ptr::read(arg: *const T) =>