40 const VerifiedMethod* VerifiedMethod::Create(verifier::MethodVerifier* method_verifier) {  in Create()  argument
43       new VerifiedMethod(method_verifier->GetEncounteredFailureTypes(),  in Create()
44                          method_verifier->HasInstructionThatWillThrow()));  in Create()
46   if (method_verifier->HasCheckCasts()) {  in Create()
47     verified_method->GenerateSafeCastSet(method_verifier);  in Create()
60 void VerifiedMethod::GenerateSafeCastSet(verifier::MethodVerifier* method_verifier) {  in GenerateSafeCastSet()  argument
66   if (method_verifier->HasFailures()) {  in GenerateSafeCastSet()
69   for (const DexInstructionPcPair& pair : method_verifier->CodeItem()) {  in GenerateSafeCastSet()
74       if (!method_verifier->GetInstructionFlags(dex_pc).IsVisited()) {  in GenerateSafeCastSet()
78       const verifier::RegisterLine* line = method_verifier->GetRegLine(dex_pc);  in GenerateSafeCastSet()
80       const verifier::RegType& reg_type(line->GetRegisterType(method_verifier,  in GenerateSafeCastSet()
83           method_verifier->ResolveCheckedClass(dex::TypeIndex(inst.VRegB_21c()));  in GenerateSafeCastSet()
93           verifier::VerifierDeps::MaybeRecordAssignability(method_verifier->GetDexFile(),  in GenerateSafeCastSet()