Method process_alias_copy

src/analysis/pointsto/mod.rs:541–544

dest: Arc = Arc::clone(arg: &Arc ) or dest: T = ptr::read(arg: *const T) => arg--|load|-->dest and arg--|alias_copy|-->dest

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

    /// dest: Arc<T> = Arc::clone(arg: &Arc<T>) or dest: T = ptr::read(arg: *const T) =>
    /// arg--|load|-->dest and
    /// arg--|alias_copy|-->dest
    fn process_alias_copy(&mut self, arg: PlaceRef<'tcx>, dest: PlaceRef<'tcx>) {
        self.graph.add_load(dest, arg);
        self.graph.add_alias_copy(dest, arg);
    }

    /// forall (p1, p2) where p1 is prefix of p1, add `p1 = p2`.