Type Alias miri::Scalar

source ·
pub type Scalar = Scalar<Provenance>;

Aliased Type§

enum Scalar {
    Int(ScalarInt),
    Ptr(Pointer<Provenance>, u8),
}

Variants§

§

Int(ScalarInt)

The raw bytes of a simple value.

§

Ptr(Pointer<Provenance>, u8)

A pointer.

We also store the size of the pointer, such that a Scalar always knows how big it is. The size is always the pointer size of the current target, but this is not information that we always have readily available.

Trait Implementations§

Layout§

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 32 bytes

Size for each variant:

  • Int: 17 bytes
  • Ptr: 31 bytes