commit 1ac29447d6053b142f257330d6e237660076911e
author jeffhao <jeffhao@google.com> Mon Mar 26 11:37:32 2012 -0700
committer jeffhao <jeffhao@google.com> Mon Mar 26 11:50:04 2012 -0700
tree 9d708925c501974149d16a4b35e66e330eb4eb9a
parent d5347e08172d6d462c703c0f5e1ce9ef070ec69d

Verifier sets class to error on hard error, resolved on soft.

This solves problems with the runtime finding classes that were rejected
by the verifier at compile time that end up passing at runtime. Before,
all classes that failed compile time verification were being set to
error, and now only classes that have hard errors should be set to
error.

Change-Id: I3a694d12ba4d6051b0310b21f8161f5aa62b43c3

src/compiler.cc

diff --git a/src/compiler.cc b/src/compiler.cc
index b56fd49..7d71278 100644
--- a/src/compiler.cc
+++ b/src/compiler.cc
@@ -1109,11 +1109,15 @@
     // ClassLinker::VerifyClass throws, which isn't useful in the compiler.
     CHECK(Thread::Current()->IsExceptionPending());
     Thread::Current()->ClearException();
-    // We want to try verification again at run-time, so move back into the resolved state.
-    klass->SetStatus(Class::kStatusResolved);
+    art::Compiler::ClassReference ref(context->GetDexFile(), class_def_index);
+    if (!verifier::DexVerifier::IsClassRejected(ref)) {
+      // If the erroneous class wasn't rejected by the verifier, it was a soft error. We want
+      // to try verification again at run-time, so move back into the resolved state.
+      klass->SetStatus(Class::kStatusResolved);
+    }
   }
 
-  CHECK(klass->IsVerified() || klass->IsResolved()) << PrettyClass(klass);
+  CHECK(klass->IsVerified() || klass->IsResolved() || klass->IsErroneous()) << PrettyClass(klass);
   CHECK(!Thread::Current()->IsExceptionPending()) << PrettyTypeOf(Thread::Current()->GetException());
 }
 
@@ -1143,7 +1147,10 @@
     const char* descriptor = dex_file.GetClassDescriptor(class_def);
     Class* klass = class_linker->FindClass(descriptor, class_loader);
     if (klass != NULL) {
-      class_linker->EnsureInitialized(klass, false);
+      if (klass->IsVerified()) {
+        // Only try to initialize classes that were successfully verified.
+        class_linker->EnsureInitialized(klass, false);
+      }
       // record the final class status if necessary
       Class::Status status = klass->GetStatus();
       ClassReference ref(&dex_file, class_def_index);