Method visit_stmt

src/analysis/dfa.rs:109–151

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

    }

    fn visit_stmt(&mut self, stmt: &ast::Node) -> Result<()> {
        let stmt = stmt.ignore_cast().ignore_parent();
        log::trace!("visit stmt: {:?}", stmt.kind);
        match stmt.kind {
            // This kinds of stmts only act as a dummy to declear the stmt kind, we skip evaluate these stmts.
            ast::Clang::TranslationUnitDecl
            | ast::Clang::CompoundStmt(_)
            | ast::Clang::ReturnStmt(_)
            | ast::Clang::Other
            | ast::Clang::BreakStmt
            | ast::Clang::ContinueStmt
            | ast::Clang::CXXMemberCallExpr
            | ast::Clang::LabelStmt(_)
            | ast::Clang::GotoStmt(_)
            | ast::Clang::FunctionDecl(_)
            | ast::Clang::DeclRefExpr(_)
            | ast::Clang::IntegerLiteral(_)
            | ast::Clang::StringLiteral(_)
            | ast::Clang::CharacterLiteral(_)
            | ast::Clang::FloatingLiteral(_)
            | ast::Clang::CXXNullPtrLiteralExpr(_)
            | ast::Clang::MemberExpr(_)
            | ast::Clang::GNUNullExpr(_) => self.visit_dummy_stmt(stmt),
            ast::Clang::DeclStmt(_) => self.visit_decl_stmt(stmt),
            ast::Clang::ParmVarDecl(_) | ast::Clang::VarDecl(_) => self.visit_var_decl(stmt),
            ast::Clang::BinaryOperator(_) => self.visit_binary_operator(stmt),
            ast::Clang::CallExpr(_) => self.visit_call_expr(stmt),
            ast::Clang::UnaryOperator(_)
            | ast::Clang::ImplicitCastExpr(_)
            | ast::Clang::CStyleCastExpr(_)
            | ast::Clang::CXXReinterpretCastExpr
            | ast::Clang::ParenExpr(_) => {
                for child in stmt.get_childs() {
                    self.visit_stmt(child)?;
                }
                Ok(())
            }
            _ => {
                //log::warn!("stmt {stmt:?} is unimplemented in DFA");
                self.visit_dummy_stmt(stmt)
            }
        }
    }

    /// This kinds of stmts only act as a dummy to declear the stmt kind, we skip evaluate these stmts.
    fn visit_dummy_stmt(&self, _stmt: &ast::Node) -> Result<()> {