Module flowistry_pdg::rustc::mir::traversal

Structs

• Postorder
  Postorder traversal of a graph.
• Preorder
  Preorder traversal of a graph.
• ReversePostorder
  Reverse postorder traversal of a graph

Functions

• postorder
  Creates an iterator over the Body’s basic blocks, that:
• preorder
• reachable
  Returns an iterator over all basic blocks reachable from the START_BLOCK in no particular order.
• reachable_as_bitset
  Returns a BitSet containing all basic blocks reachable from the START_BLOCK.
• reverse_postorder
  Creates an iterator over the Body’s basic blocks, that: