Enum flowistry_pdg::rustc::mir::PassWhere

pub enum PassWhere {
    BeforeCFG,
    AfterCFG,
    BeforeBlock(BasicBlock),
    BeforeLocation(Location),
    AfterLocation(Location),
    AfterTerminator(BasicBlock),
}

An indication of where we are in the control flow graph. Used for printing extra information in dump_mir

Variants

BeforeCFG

We have not started dumping the control flow graph, but we are about to.

AfterCFG

We just finished dumping the control flow graph. This is right before EOF

BeforeBlock(BasicBlock)

We are about to start dumping the given basic block.

BeforeLocation(Location)

We are just about to dump the given statement or terminator.

AfterLocation(Location)

We just dumped the given statement or terminator.

AfterTerminator(BasicBlock)

We just dumped the terminator for a block but not the closing }.