Method visit

src/analysis/wto.rs:213–247

(&mut self, vertex: BasicBlock, partition: &mut Vec<WtoComponent>)

    }

    fn visit(&mut self, vertex: BasicBlock, partition: &mut Vec<WtoComponent>) -> u32 {
        self.push(vertex);
        self.num += 1;
        self.dfn.insert(vertex, self.num);
        let mut head = self.num;
        let mut is_loop = false;

        for succ in self.cfg.basic_blocks.successors(vertex) {
            let min;
            if self.dfn[&succ] == 0 {
                min = self.visit(succ, partition);
            } else {
                min = self.dfn[&succ];
            }
            if min <= head {
                head = min;
                is_loop = true;
            }
        }
        if head == self.dfn[&vertex] {
            self.dfn.insert(vertex, std::u32::MAX);
            let mut element = self.pop().unwrap();
            if is_loop {
                while element != vertex {
                    self.dfn.insert(element, 0);
                    element = self.pop().unwrap();
                }
                self.loop_heads.push(vertex);
                partition.push(WtoComponent::Circle(self.component(vertex)));
            } else {
                partition.push(WtoComponent::Vertex(WtoVertex::new(vertex)));
            }
        }
        head
    }

    fn push(&mut self, bb: BasicBlock) {
        self.stack.push(bb);