Lines Matching full:verifier
81 #include "verifier/method_verifier.h"
141 // TODO: change the verifier to store an _instance_, with a useful detail message?
3077 verifier::MethodVerifier::FailureKind verifier_failure = verifier::MethodVerifier::kNoFailure;
3080 verifier_failure = verifier::MethodVerifier::VerifyClass(self, klass.Get(),
3084 if (preverified || verifier_failure != verifier::MethodVerifier::kHardFailure) {
3085 if (!preverified && verifier_failure != verifier::MethodVerifier::kNoFailure) {
3093 if (verifier_failure == verifier::MethodVerifier::kNoFailure) {
3094 // Even though there were no verifier failures we need to respect whether the super-class
3102 verifier_failure = verifier::MethodVerifier::kSoftFailure;
3105 CHECK_EQ(verifier_failure, verifier::MethodVerifier::kSoftFailure);
3126 if (preverified || verifier_failure == verifier::MethodVerifier::kNoFailure) {
3173 // image (that we just failed loading), and the verifier can't be run on quickened opcodes when
3202 // (see verifier::RegType::Merge) as we can't know the type of Bar and we could possibly be
3216 // TODO: when the verifier doesn't rely on Class-es failing to resolve/load the type hierarchy
