Lines Matching refs:method_verifier
26 #include "verifier/method_verifier-inl.h"
38 const VerifiedMethod* VerifiedMethod::Create(verifier::MethodVerifier* method_verifier) {
41 new VerifiedMethod(method_verifier->GetEncounteredFailureTypes(),
42 method_verifier->HasInstructionThatWillThrow()));
44 if (method_verifier->HasCheckCasts()) {
45 verified_method->GenerateSafeCastSet(method_verifier);
58 void VerifiedMethod::GenerateSafeCastSet(verifier::MethodVerifier* method_verifier) {
64 if (method_verifier->HasFailures()) {
67 const DexFile::CodeItem* code_item = method_verifier->CodeItem();
76 if (!method_verifier->GetInstructionFlags(dex_pc).IsVisited()) {
80 const verifier::RegisterLine* line = method_verifier->GetRegLine(dex_pc);
81 const verifier::RegType& reg_type(line->GetRegisterType(method_verifier,
84 method_verifier->ResolveCheckedClass(dex::TypeIndex(inst->VRegB_21c()));
87 if (cast_type.IsStrictlyAssignableFrom(reg_type, /* method_verifier */ nullptr)) {
94 verifier::VerifierDeps::MaybeRecordAssignability(method_verifier->GetDexFile(),
