Struct miri::Allocation

pub struct Allocation<Prov = CtfeProvenance, Extra = (), Bytes = Box<[u8]>>
where
    Prov: Provenance,
{
    bytes: Bytes,
    provenance: ProvenanceMap<Prov>,
    init_mask: InitMask,
    pub align: Align,
    pub mutability: Mutability,
    pub extra: Extra,
}

This type represents an Allocation in the Miri/CTFE core engine.

Its public API is rather low-level, working directly with allocation offsets and a custom error type to account for the lack of an AllocId on this level. The Miri/CTFE core engine memory module provides higher-level access.

Fields

bytes: Bytes

provenance: ProvenanceMap<Prov>

init_mask: InitMask

align: Align

The alignment of the allocation to detect unaligned reads. (Align guarantees that this is a power of two.)

mutability: Mutability

true if the allocation is mutable. Also used by codegen to determine if a static should be put into mutable memory, which happens for static mut and static with interior mutability.

extra: Extra

Extra state for the machine.

Trait Implementations

impl VisitProvenance for Allocation<Provenance, AllocExtra<'_>>

fn visit_provenance(&self, visit: &mut VisitWith<'_>)

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.