Struct AddrMismatch 

pub struct AddrMismatch {
    pub label: String,
    pub seg_index: usize,
    pub addend: u32,
    pub access_addr: u32,
    pub served: u8,
    pub runtime: u8,
    pub span_byte: u32,
}

A single reloc that reads the wrong byte.

Fields

label: String

The reloc’s diagnostic label.

seg_index: usize

The emitted K (__synth_wasm_seg_K).

addend: u32

The emitted addend.

access_addr: u32

The original linear-memory access address of the OFFENDING byte (seg[K].off + addend + span_byte).

served: u8

The byte the packed .data serves at that position.

runtime: u8

The byte the runtime image holds at access_addr (the truth).

span_byte: u32

Which byte of the (potentially multi-byte) access diverges: 0 = the addend byte itself (the phase-1 check), 1..MAX_ACCESS_BYTES = a tail byte of a conservatively-widened span (phase 2).

Implementations

impl AddrMismatch

pub fn describe(&self) -> String

A human-readable one-line diagnostic for the compile-time error.

Trait Implementations

impl Clone for AddrMismatch

fn clone(&self) -> AddrMismatch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AddrMismatch

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

Formats the value using the given formatter.

impl Eq for AddrMismatch

impl PartialEq for AddrMismatch

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AddrMismatch