commit f3c5bbb742c9cd1bf8a67aadd656a5c5f45a3f6f
author Nicolas Geoffray <ngeoffray@google.com> Tue Sep 28 14:47:41 2021 +0100
committer Nicolas Geoffray <ngeoffray@google.com> Tue Sep 28 14:47:41 2021 +0100
tree 70cfd3fb951af62ad7157905d1a35cf9cf7a51ce
parent e153a62e8e8a2c42f86d2db87c8188cd0d7bef6b

An invalid wide pair will remain invalid at runtime.

So mark the failure as a hard failure.

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

runtime/verifier/register_line-inl.h

diff --git a/runtime/verifier/register_line-inl.h b/runtime/verifier/register_line-inl.h
index 65a22df..bd118cb 100644
--- a/runtime/verifier/register_line-inl.h
+++ b/runtime/verifier/register_line-inl.h
@@ -68,7 +68,7 @@
                                               const RegType& new_type2) {
   DCHECK_LT(vdst + 1, num_regs_);
   if (!new_type1.CheckWidePair(new_type2)) {
-    verifier->Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "Invalid wide pair '"
+    verifier->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Invalid wide pair '"
         << new_type1 << "' '" << new_type2 << "'";
     return false;
   } else {