Method OnRefNull

src/shared-validator.cc:1177–1198

}

Result SharedValidator::OnRefNull(const Location& loc, Var func_type_var) {
  Result result = CheckInstr(Opcode::RefNull, loc);

  Type type = func_type_var.to_type();

  switch (type) {
    case Type::RefNull:
      result |= CheckIndex(func_type_var, num_types_, "function type");
      break;
    case Type::FuncRef:
    case Type::ExnRef:
    case Type::ExternRef:
      break;
    default:
      result |= PrintError(
          loc, "Only ref, externref, exnref, funcref are allowed for ref.null");
      break;
  }

  result |= typechecker_.OnRefNullExpr(type);
  return result;
}

Result SharedValidator::OnRethrow(const Location& loc, Var depth) {
  Result result = CheckInstr(Opcode::Rethrow, loc);