Struct flowistry_pdg::rustc::mir::patch::MirPatch

pub struct MirPatch<'tcx> {
    patch_map: IndexVec<BasicBlock, Option<TerminatorKind<'tcx>>>,
    new_blocks: Vec<BasicBlockData<'tcx>, Global>,
    new_statements: Vec<(Location, StatementKind<'tcx>), Global>,
    new_locals: Vec<LocalDecl<'tcx>, Global>,
    resume_block: Option<BasicBlock>,
    unreachable_cleanup_block: Option<BasicBlock>,
    terminate_block: Option<BasicBlock>,
    body_span: Span,
    next_local: usize,
}

This struct represents a patch to MIR, which can add new statements and basic blocks and patch over block terminators.

Fields

patch_map: IndexVec<BasicBlock, Option<TerminatorKind<'tcx>>>

new_blocks: Vec<BasicBlockData<'tcx>, Global>

new_statements: Vec<(Location, StatementKind<'tcx>), Global>

new_locals: Vec<LocalDecl<'tcx>, Global>

resume_block: Option<BasicBlock>

unreachable_cleanup_block: Option<BasicBlock>

terminate_block: Option<BasicBlock>

body_span: Span

next_local: usize