Struct CfgAllocator 

pub struct CfgAllocator {
    pub refinement_arena: RefinementArena,
    /* private fields */
}

Fields

refinement_arena: RefinementArena

Implementations

impl CfgAllocator

pub fn freeze(&mut self)

impl CfgAllocator

pub fn new_block(&mut self, kind: BlockKind, debug_name: String) -> *mut Block

impl CfgAllocator

pub fn new_definition(&mut self, sym: Symbol, version: usize) -> DefId

impl CfgAllocator

pub fn new_instruction(&mut self, inst: Instruction) -> InstrId

C++ builds Instruction* inst = instructions.allocate(T{args...}) and returns NotNull{inst}. The variant T{args...} is constructed by the caller (CFGBuilder::emit) and threaded through as the Instruction.

Trait Implementations

impl Debug for CfgAllocator

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for CfgAllocator

fn default() -> Self

Returns the “default value” for a type.

impl Send for CfgAllocator

impl Sync for CfgAllocator