Struct flowistry_pdg::rustc::mir::BasicBlockData

pub struct BasicBlockData<'tcx> {
    pub statements: Vec<Statement<'tcx>, Global>,
    pub terminator: Option<Terminator<'tcx>>,
    pub is_cleanup: bool,
}

Data for a basic block, including a list of its statements.

See BasicBlock for documentation on what basic blocks are at a high level.

Fields

statements: Vec<Statement<'tcx>, Global>

List of statements in this block.

terminator: Option<Terminator<'tcx>>

Terminator for this block.

N.B., this should generally ONLY be None during construction. Therefore, you should generally access it via the terminator() or terminator_mut() methods. The only exception is that certain passes, such as simplify_cfg, swap out the terminator temporarily with None while they continue to recurse over the set of basic blocks.

is_cleanup: bool

If true, this block lies on an unwind path. This is used during codegen where distinct kinds of basic blocks may be generated (particularly for MSVC cleanup). Unwind blocks must only branch to other unwind blocks.