summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/verifier/method_verifier.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/verifier/method_verifier.cc b/src/verifier/method_verifier.cc
index 548db73a02..c68d6f37a0 100644
--- a/src/verifier/method_verifier.cc
+++ b/src/verifier/method_verifier.cc
@@ -271,10 +271,10 @@ bool MethodVerifier::VerifyMethod(uint32_t method_idx, const DexFile* dex_file,
if (success) {
// Verification completed, however failures may be pending that didn't cause the verification
// to hard fail.
+ CHECK(!verifier.have_pending_hard_failure_);
if (verifier.failures_.size() != 0) {
verifier.DumpFailures(LOG(INFO) << "Soft verification failures in "
<< PrettyMethod(method_idx, *dex_file) << "\n");
- success = false;
}
} else {
// Bad method data.