Struct CallIndirectGuards 

pub struct CallIndirectGuards {
    pub table_size: Option<u32>,
    pub type_reject: Vec<Option<String>>,
}

#642: everything the call_indirect lowering needs to emit its guards — computed once per module by DecodedModule::call_indirect_guards and threaded to the instruction selector via CompileConfig.

WASM Core §4.4.8 requires call_indirect to trap when index >= table.size and when the callee’s type does not match the instruction’s expected type. synth’s table is a raw array of 4-byte code pointers (linked at R11 by the runtime/harness) with no size field and no type ids, so:

• the BOUNDS check is emitted at runtime against the compile-time table_size immediate (sound: the table cannot change size — table.grow/table.set are unsupported ops whose functions loud-skip at decode), and
• the TYPE check is discharged at COMPILE time: for expected type t, type_reject[t] is None only when every slot of the table is verifiably initialized with a function whose signature structurally equals type t (the closed-world property — no runtime mismatch is then possible). Otherwise it holds the reason, and the lowering declines LOUDLY rather than emit an unchecked indirect branch.

Fields

table_size: Option<u32>

Compile-time size of table 0 (entries); None = no sound bound known.

type_reject: Vec<Option<String>>

Per type index: None = closed-world type property VERIFIED for this expected type; Some(reason) = not verifiable (the lowering declines).

Trait Implementations

impl Clone for CallIndirectGuards

fn clone(&self) -> CallIndirectGuards

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CallIndirectGuards

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

Formats the value using the given formatter.

impl Default for CallIndirectGuards

fn default() -> CallIndirectGuards

Returns the “default value” for a type.

impl Eq for CallIndirectGuards

impl PartialEq for CallIndirectGuards

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl StructuralPartialEq for CallIndirectGuards