Method verify_value_list

cranelift/codegen/src/verifier/mod.rs:860–875

(
        &self,
        inst: Inst,
        l: &ValueList,
        errors: &mut VerifierErrors,
    )

    }

    fn verify_value_list(
        &self,
        inst: Inst,
        l: &ValueList,
        errors: &mut VerifierErrors,
    ) -> VerifierStepResult {
        if !l.is_valid(&self.func.dfg.value_lists) {
            errors.nonfatal((
                inst,
                self.context(inst),
                format!("invalid value list reference {l:?}"),
            ))
        } else {
            Ok(())
        }
    }

    fn verify_jump_table(
        &self,