Searched full:obj_type (Results 1 – 4 of 4) sorted by relevance
| /arkcompiler/runtime_core/runtime/include/ |
| D | stack_walker-inl.h | 133 template <bool objects, bool with_reg_info, StackWalker::VRegInfo::Type obj_type,
142 auto type = vreg.HasObject() ? obj_type : primitive_type; in IterateRegsForIFrameInternal()
150 auto type = acc.HasObject() ? obj_type : primitive_type; in IterateRegsForIFrameInternal()
|
| D | stack_walker.h | 304 …template <bool objects, bool with_reg_info, VRegInfo::Type obj_type, VRegInfo::Type primitive_type…
|
| /arkcompiler/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}'.
|
| /arkcompiler/runtime_core/verification/absint/ |
| D | abs_int_inl.h | 2429 Type obj_type = Types().TypeOf(ctor.klass); in CheckCallCtor() local
2434 SetAcc(obj_type); in CheckCallCtor()
2444 … [self_arg = true, obj_type, regs]() mutable -> std::optional<std::tuple<int, Type>> { in CheckCallCtor()
2447 return std::make_tuple(INVALID_REG, obj_type); in CheckCallCtor()
2456 SetAcc(obj_type); in CheckCallCtor()
2592 const AbstractType &obj_type = GetRegType(reg_idx); in CheckFieldAccess() local
2593 … if (obj_type.ForAllTypes([&](Type obj_type1) { return obj_type1 == Types().NullRefType(); })) { in CheckFieldAccess()
2602 if (!obj_type.ExistsType([&](Type obj_type1) { return obj_type1 <= field_obj_type; })) { in CheckFieldAccess()
2604 … LOG_VERIFIER_INCONSISTENT_REGISTER_AND_FIELD_TYPES(field->GetName(), reg_idx, ImageOf(obj_type), in CheckFieldAccess()
|