commit 4b1609f8571ca01fbb1cd5f6d81ae9d556464e5f
author Nicolas Geoffray <ngeoffray@google.com> Tue Sep 28 14:49:57 2021 +0100
committer Nicolas Geoffray <ngeoffray@google.com> Wed Sep 29 14:41:26 2021 +0000
tree cf11394bc6655bf2b6884b6e84291bdab9de7de0
parent a95a6ea27e76ef8e324a14e8f7f847c02eb3c44f

Hard fail on type assignment check.

We know the type assignment will also fail at runtime.

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

runtime/verifier/register_line-inl.h

diff --git a/runtime/verifier/register_line-inl.h b/runtime/verifier/register_line-inl.h
index bd118cb..cacd2fd 100644
--- a/runtime/verifier/register_line-inl.h
+++ b/runtime/verifier/register_line-inl.h
@@ -144,7 +144,7 @@
     } else if (check_type.IsUnresolvedTypes() || src_type.IsUnresolvedTypes()) {
       fail_type = VERIFY_ERROR_UNRESOLVED_TYPE_CHECK;
     } else {
-      fail_type = VERIFY_ERROR_BAD_CLASS_SOFT;
+      fail_type = VERIFY_ERROR_BAD_CLASS_HARD;
     }
     verifier->Fail(fail_type) << "register v" << vsrc << " has type "
                                << src_type << " but expected " << check_type;