Searched full:obj_type (Results 1 – 2 of 2) sorted by relevance
| /ark/runtime_core/verification/ |
| D | messages.yaml | 220 args: field, reg_idx, obj_type, field_obj_type, field_obj_subtypes
223 Type in register v${reg_idx} is '${obj_type}'.
|
| /ark/runtime_core/verification/absint/ |
| D | abs_int_inl.h | 2394 Type obj_type = Types().TypeOf(ctor.GetClass()); in CheckCallCtor() local
2398 SetAcc(obj_type); in CheckCallCtor()
2408 … [self_arg = true, obj_type, regs]() mutable -> std::optional<std::tuple<int, Type>> { in CheckCallCtor()
2411 return std::make_tuple(INVALID_REG, obj_type); in CheckCallCtor()
2420 SetAcc(obj_type); in CheckCallCtor()
2549 const AbstractType &obj_type = GetRegType(reg_idx); in CheckFieldAccess() local
2550 … if (obj_type.ForAllTypes([&](Type obj_type1) { return obj_type1 == Types().NullRefType(); })) { in CheckFieldAccess()
2558 if (!obj_type.ExistsType([&](Type obj_type1) { return obj_type1 <= field_obj_type; })) { in CheckFieldAccess()
2560 … LOG_VERIFIER_INCONSISTENT_REGISTER_AND_FIELD_TYPES(field->GetName(), reg_idx, ImageOf(obj_type), in CheckFieldAccess()
|