Home
last modified time | relevance | path

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

/art/compiler/dex/
Dverified_method.cc81 const verifier::RegType& cast_type = in GenerateSafeCastSet() local
85 if (cast_type.IsStrictlyAssignableFrom(reg_type, /* verifier= */ nullptr)) { in GenerateSafeCastSet()
91 DCHECK(cast_type.HasClass()); in GenerateSafeCastSet()
93 cast_type.GetClass(), in GenerateSafeCastSet()
/art/runtime/verifier/
Dmethod_verifier.cc2710 const RegType& cast_type = ResolveClass<CheckAccess::kYes>( in CodeFlowVerifyInstruction() local
2713 if (!orig_type.Equals(cast_type) && in CodeFlowVerifyInstruction()
2714 !cast_type.IsUnresolvedTypes() && !orig_type.IsUnresolvedTypes() && in CodeFlowVerifyInstruction()
2715 cast_type.HasClass() && // Could be conflict type, make sure it has a class. in CodeFlowVerifyInstruction()
2716 !cast_type.GetClass()->IsInterface() && in CodeFlowVerifyInstruction()
2719 cast_type.Merge(orig_type, &reg_types_, this), this))) { in CodeFlowVerifyInstruction()
2731 cast_type); in CodeFlowVerifyInstruction()
2746 auto maybe_update_fn = [&instance_of_inst, update_line, this, &cast_type]( in CodeFlowVerifyInstruction()
2752 update_line->SetRegisterType<LockOp::kKeep>(this, move_src, cast_type); in CodeFlowVerifyInstruction()