tree 8d9ca6d6eb89d7ec38642a42636fd8bda91522fa
parent 9ebc0660f4c736b01994d34d3ad2a1171f41f048
author Nicolas Geoffray <ngeoffray@google.com> 1612871230 +0000
committer Nicolas Geoffray <ngeoffray@google.com> 1612887518 +0000

[verifier]: flag instruction that will throw at runtime

We've accidentally changed the verifier behavior in:
https://android-review.googlesource.com/c/platform/art/+/1561956

We need to preserve the behavior of marking an instruction that will
throw at runtime, so that the code following it is not looked at. This
means that if there are verification failures in that "dead code", they
won't make the class not verified.

Test: 819-verification-runtime
Bug: 179227478
Bug: 179245053
Change-Id: I4526a98b9479f47102fb00bd65bb943fe6aa9c8e