Method next

src/analysis/postdom/mod.rs:291–316

(&mut self)

    type Item = Node;

    fn next(&mut self) -> Option<Self::Item> {
        match self.node {
            ExtNode::Real(Some(node)) => {
                match self.post_dominators.immediate_post_dominator(node) {
                    ExtNode::Real(Some(dom)) => {
                        if dom == node {
                            self.node = ExtNode::Real(None); // reached the root
                        } else {
                            self.node = ExtNode::Real(Some(dom));
                        }
                        Some(node)
                    }
                    ExtNode::Real(None) => {
                        // panic!("post_dominators have uncomputed nodes");
                        None
                    }
                    ExtNode::Fake => {
                        self.node = ExtNode::Fake;
                        Some(node)
                    }
                }
            }
            ExtNode::Real(None) => None,
            ExtNode::Fake => None,
        }
    }
}