commit e551e9523d9c8fb7a1f23a592044b33af27d88ac
author Ian Rogers <irogers@google.com> Sun Jun 03 22:59:14 2012 -0700
committer Ian Rogers <irogers@google.com> Sun Jun 03 22:59:14 2012 -0700
tree 41ae591386177766ad3a0560cd6de8135ec53e37
parent 4668543dd0cb214265b39c92d086182455ba097b

Soft verification failures shouldn't reject the class.

Change-Id: Ib730fa9047e986383762685001dcd3bdc9f8edcb

src/verifier/method_verifier.cc

diff --git a/src/verifier/method_verifier.cc b/src/verifier/method_verifier.cc
index 548db73..c68d6f3 100644
--- a/src/verifier/method_verifier.cc
+++ b/src/verifier/method_verifier.cc
@@ -271,10 +271,10 @@
   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.