Trait SmirAllocRange

Source
pub trait SmirAllocRange<'tcx> {
    // Required method
    fn alloc_range(&self, offset: Size, size: Size) -> AllocRange;
}

Required Methods§

Source

fn alloc_range(&self, offset: Size, size: Size) -> AllocRange

Implementors§

Source§

impl<'tcx, B: Bridge> SmirAllocRange<'tcx> for SmirCtxt<'tcx, B>