Method visit_binary_operator

src/analysis/dfa.rs:203–219

(&mut self, stmt: &ast::Node)

    }

    fn visit_binary_operator(&mut self, stmt: &ast::Node) -> Result<()> {
        if let ast::Clang::BinaryOperator(bo) = &stmt.kind {
            let left = bo.get_lhs(stmt);
            let right = bo.get_rhs(stmt);
            if bo.is_assignment() {
                let var = left.get_var_name();
                let sym = self.get_rvalue(right)?;
                self.store_mgr.ssa_bind_value(var, sym)?;
            } else {
                self.visit_stmt(left)?;
                self.visit_stmt(right)?;
            }
            // do not evalute other kinds of binary operator.
            return Ok(());
        }
        eyre::bail!("Visit BinaryOperator, but visited {stmt:?}")
    }

    fn visit_call_expr(&mut self, stmt: &ast::Node) -> Result<()> {
        // TODO: here to add callback