Method verify_func_ref

cranelift/codegen/src/verifier/mod.rs:796–811

(
        &self,
        inst: Inst,
        f: FuncRef,
        errors: &mut VerifierErrors,
    )

    }

    fn verify_func_ref(
        &self,
        inst: Inst,
        f: FuncRef,
        errors: &mut VerifierErrors,
    ) -> VerifierStepResult {
        if !self.func.dfg.ext_funcs.is_valid(f) {
            errors.nonfatal((
                inst,
                self.context(inst),
                format!("invalid function reference {f}"),
            ))
        } else {
            Ok(())
        }
    }

    fn verify_stack_slot(
        &self,