Get an iterator over the CFG successors to `block`.
(&self, block: Block)
| 163 | |
| 164 | /// Get an iterator over the CFG successors to `block`. |
| 165 | pub fn succ_iter(&self, block: Block) -> SuccIter<'_> { |
| 166 | debug_assert!(self.is_valid()); |
| 167 | self.data[block].successors.iter(&self.succ_forest) |
| 168 | } |
| 169 | |
| 170 | /// Check if the CFG is in a valid state. |
| 171 | /// |