Method add_alloc

src/analysis/pointsto/mod.rs:220–226

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

    }

    fn add_alloc(&mut self, place: PlaceRef<'tcx>) {
        let lhs = ConstraintNode::Place(place);
        let rhs = ConstraintNode::Alloc(place);
        let lhs = self.get_or_insert_node(lhs);
        let rhs = self.get_or_insert_node(rhs);
        self.graph.add_edge(rhs, lhs, ConstraintEdge::Address);
    }

    fn add_constant(&mut self, constant: Const<'tcx>) {
        let lhs = ConstraintNode::Constant(constant);