pub fn 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 postorder,
  • traverses the BasicBlocks CFG cache’s reverse postorder backwards, and does not cache the postorder itself.