Trait miri::alloc_addresses::EvalContextExtPriv
source · trait EvalContextExtPriv<'tcx>: MiriInterpCxExt<'tcx> {
// Provided methods
fn alloc_id_from_addr(&self, addr: u64, size: i64) -> Option<AllocId> { ... }
fn addr_from_alloc_id(
&self,
alloc_id: AllocId,
memory_kind: MemoryKind,
) -> InterpResult<'tcx, u64> { ... }
}