MCPcopy Create free account
hub / github.com/bytecodealliance/wasmtime / verify_stack_slot

Method verify_stack_slot

cranelift/codegen/src/verifier/mod.rs:813–824  ·  view source on GitHub ↗
(
        &self,
        inst: Inst,
        ss: StackSlot,
        errors: &mut VerifierErrors,
    )

Source from the content-addressed store, hash-verified

811 }
812
813 fn verify_stack_slot(
814 &self,
815 inst: Inst,
816 ss: StackSlot,
817 errors: &mut VerifierErrors,
818 ) -> VerifierStepResult {
819 if !self.func.sized_stack_slots.is_valid(ss) {
820 errors.nonfatal((inst, self.context(inst), format!("invalid stack slot {ss}")))
821 } else {
822 Ok(())
823 }
824 }
825
826 fn verify_dynamic_stack_slot(
827 &self,

Callers 1

Calls 4

OkFunction · 0.85
nonfatalMethod · 0.80
is_validMethod · 0.45
contextMethod · 0.45

Tested by

no test coverage detected