Enum miri::ProvenanceMode

pub enum ProvenanceMode {
    Default,
    Permissive,
    Strict,
}

Variants

Default

We support expose_addr/from_exposed_addr via “wildcard” provenance. However, we want on from_exposed_addr to alert the user of the precision loss.

Permissive

Like Default, but without the warning.

Strict

We error on from_exposed_addr, ensuring no precision loss.

Trait Implementations

impl Clone for ProvenanceMode

fn clone(&self) -> ProvenanceMode

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ProvenanceMode

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

Formats the value using the given formatter.

impl PartialEq<ProvenanceMode> for ProvenanceMode

fn eq(&self, other: &ProvenanceMode) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for ProvenanceMode

impl Eq for ProvenanceMode

impl StructuralEq for ProvenanceMode

impl StructuralPartialEq for ProvenanceMode

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: 1 byte

Size for each variant:

• Default: 0 bytes
• Permissive: 0 bytes
• Strict: 0 bytes