[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
6 files changed