Method process_block

src/analysis/dfa.rs:94–99

(&mut self, block: &CFGBlock)

    }

    fn process_block(&mut self, block: &CFGBlock) -> Result<()> {
        for stmt in block.iter_stmts() {
            self.visit_stmt(stmt)?;
        }
        Ok(())
    }

    fn handle_block_out(&mut self, block: &CFGBlock) -> Result<()> {
        self.analy_mgr.add_visited(block)?;