Method visit_assign

src/analysis/datadep/mod.rs:60–79

(&mut self, place: &Place<'tcx>, rvalue: &Rvalue<'tcx>, location: Location)

impl<'tcx> Visitor<'tcx> for DataDeps {
    fn visit_assign(&mut self, place: &Place<'tcx>, rvalue: &Rvalue<'tcx>, location: Location) {
        let lhs = place.local;
        match rvalue {
            Rvalue::Use(operand) | Rvalue::Cast(_, operand, _) | Rvalue::UnaryOp(_, operand) => {
                if let Some(rhs) = operand.place() {
                    self.immediate_deps[rhs.local][lhs] = true;
                }
            }
            Rvalue::BinaryOp(_, box (rhs0, rhs1)) => {
                if let Some(rhs0) = rhs0.place() {
                    self.immediate_deps[rhs0.local][lhs] = true;
                }
                if let Some(rhs1) = rhs1.place() {
                    self.immediate_deps[rhs1.local][lhs] = true;
                }
            }
            _ => {}
        }
        self.super_assign(place, rvalue, location);
    }
}