Struct RelocResolution 

pub struct RelocResolution {
    pub seg_index: usize,
    pub addend: u32,
    pub label: String,
}

The retargeting the compiler emitted for one static-data relocation: it now points at __synth_wasm_seg_{seg_index} + addend. seg_index is the K from the emitted symbol name; addend is the emitted in-place REL addend (= original_access_addr - seg[K].linmem_off). This is the value read back from what the compiler produced — NEVER recomputed by the validator (that would mirror-pin the check and make it vacuous).

Fields

seg_index: usize

The K in the emitted __synth_wasm_seg_K symbol.

addend: u32

The emitted addend (offset into seg[K].bytes).

label: String

Optional label for diagnostics (e.g. "func 3 @ 0x1a"); not load-bearing.

Trait Implementations

impl Clone for RelocResolution

fn clone(&self) -> RelocResolution

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RelocResolution

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

Formats the value using the given formatter.