commit bc6944b88b5eba676b2385ce41d75feb18b09da6
author Nicolas Geoffray <ngeoffray@google.com> Mon Oct 11 13:54:23 2021 +0100
committer Nicolas Geoffray <ngeoffray@google.com> Tue Oct 12 08:01:47 2021 +0000
tree f411e87c063d5ab688790208a0111a1d313c8c8a
parent 9104d670935067b42675ec95e60c79fde90a5679

Remove useless test.

We know at this point either adjusted_type is unresolved, or it's
resolved and res_method_class must also be resolved to pass the
IsAssignableFrom check.

Test: test.py
Bug: 28313047
Change-Id: Ic5c17ac1110f5c766d6a362c8f1e4d97c9ea0655

runtime/verifier/method_verifier.cc

diff --git a/runtime/verifier/method_verifier.cc b/runtime/verifier/method_verifier.cc
index 66b2137..4e9697c 100644
--- a/runtime/verifier/method_verifier.cc
+++ b/runtime/verifier/method_verifier.cc
@@ -3937,7 +3937,7 @@
             false);
       }
       if (!res_method_class->IsAssignableFrom(adjusted_type, this)) {
-        Fail((adjusted_type.IsUnresolvedTypes() || res_method_class->IsUnresolvedTypes())
+        Fail(adjusted_type.IsUnresolvedTypes()
                  ? VERIFY_ERROR_UNRESOLVED_TYPE_CHECK
                  : VERIFY_ERROR_BAD_CLASS_HARD)
             << "'this' argument '" << actual_arg_type << "' not instance of '"