Function flowistry_pdg::rustc::mir::traversal::reverse_postorder
source · pub fn reverse_postorder<'a, 'tcx>(
body: &'a Body<'tcx>
) -> impl Iterator<Item = (BasicBlock, &'a BasicBlockData<'tcx>)> + ExactSizeIterator + DoubleEndedIterator
Expand description
Creates an iterator over the Body
’s basic blocks, that:
- returns basic blocks in a reverse postorder,
- makes use of the
BasicBlocks
CFG cache’s reverse postorder.