Cross Reference: /art/runtime/verifier/method

Lines Matching defs:field_type
3987   const RegType* field_type = nullptr;
4000       field_type = &FromClass(field->GetTypeDescriptor(), field_type_class,
4007   if (field_type == nullptr) {
4010     field_type = &reg_types_.FromDescriptor(GetClassLoader(), descriptor, false);
4012   DCHECK(field_type != nullptr);
4019       VerifyPrimitivePut(*field_type, insn_type, vregA);
4021       if (!insn_type.IsAssignableFrom(*field_type)) {
4025         VerifyError error = field_type->IsReferenceTypes() ? VERIFY_ERROR_BAD_CLASS_SOFT
4029                     << "' but found type '" << *field_type
4033       work_line_->VerifyRegisterType(this, vregA, *field_type);
4038       if (field_type->Equals(insn_type) ||
4039           (field_type->IsFloat() && insn_type.IsInteger()) ||
4040           (field_type->IsDouble() && insn_type.IsLong())) {
4049                                           << "' but found type '" << *field_type << "' in get";
4053       if (!insn_type.IsAssignableFrom(*field_type)) {
4057         VerifyError error = field_type->IsReferenceTypes() ? VERIFY_ERROR_BAD_CLASS_SOFT
4061                     << "' but found type '" << *field_type
4069     if (!field_type->IsLowHalf()) {
4070       work_line_->SetRegisterType(this, vregA, *field_type);
4072       work_line_->SetRegisterTypeWide(this, vregA, *field_type, field_type->HighHalf(&reg_types_));
4118   const RegType* field_type;
4124       field_type = &FromClass(field->GetTypeDescriptor(), field_type_class,
4130       field_type = &reg_types_.FromDescriptor(field->GetDeclaringClass()->GetClassLoader(),
4133     if (field_type == nullptr) {
4148       if (field_type->IsIntegralTypes()) {
4151       } else if (field_type->IsFloat()) {
4154       } else if (field_type->IsLong()) {
4157       } else if (field_type->IsDouble()) {
4170                                           << "' but found type '" << *field_type
4177             << " but expected " << *field_type
4182       if (!insn_type.IsAssignableFrom(*field_type)) {
4185                                           << "' but found type '" << *field_type
4189       work_line_->VerifyRegisterType(this, vregA, *field_type);
4193       if (field_type->Equals(insn_type) ||
4194           (field_type->IsFloat() && insn_type.IsIntegralTypes()) ||
4195           (field_type->IsDouble() && insn_type.IsLongTypes())) {
4204                                           << "' but found type '" << *field_type << "' in Get";
4208       if (!insn_type.IsAssignableFrom(*field_type)) {
4211                                           << "' but found type '" << *field_type
4217     if (!field_type->IsLowHalf()) {
4218       work_line_->SetRegisterType(this, vregA, *field_type);
4220       work_line_->SetRegisterTypeWide(this, vregA, *field_type, field_type->HighHalf(&reg_types_));