Method copy_targets

src/analysis/pointsto/mod.rs:340–350

? = rhs rhs--|copy|-->?

(&self, rhs: &ConstraintNode<'tcx>)

    /// ? = rhs
    /// rhs--|copy|-->?
    fn copy_targets(&self, rhs: &ConstraintNode<'tcx>) -> Vec<ConstraintNode<'tcx>> {
        let rhs = self.get_node(rhs).unwrap();
        let mut targets = Vec::new();
        for edge in self.graph.edges_directed(rhs, Direction::Outgoing) {
            if *edge.weight() == ConstraintEdge::Copy {
                let target = self.graph.node_weight(edge.target()).cloned().unwrap();
                targets.push(target);
            }
        }
        targets
    }

    /// X = Arc::clone(rhs) or X = ptr::read(rhs)
    /// ? = &X