Home
last modified time | relevance | path

Searched refs:res_type (Results 1 – 1 of 1) sorted by relevance

/art/runtime/verifier/
Dmethod_verifier.cc2250 const RegType& res_type = ResolveClass<CheckAccess::kYes>(dex::TypeIndex(inst->VRegB_21c())); in CodeFlowVerifyInstruction() local
2254 res_type.IsConflict() ? res_type : reg_types_.JavaLangClass()); in CodeFlowVerifyInstruction()
2368 const RegType& res_type = ResolveClass<CheckAccess::kYes>(type_idx); in CodeFlowVerifyInstruction() local
2369 if (res_type.IsConflict()) { in CodeFlowVerifyInstruction()
2389 if (!res_type.IsNonZeroReferenceTypes()) { in CodeFlowVerifyInstruction()
2391 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "check-cast on unexpected class " << res_type; in CodeFlowVerifyInstruction()
2393 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "instance-of on unexpected class " << res_type; in CodeFlowVerifyInstruction()
2411 work_line_->SetRegisterType<LockOp::kKeep>(inst->VRegA_21c(), res_type); in CodeFlowVerifyInstruction()
2419 const RegType& res_type = work_line_->GetRegisterType(this, inst->VRegB_12x()); in CodeFlowVerifyInstruction() local
2420 if (res_type.IsReferenceTypes()) { in CodeFlowVerifyInstruction()
[all …]