tree db9c96c96d373935a83dda2fafbf3c7e1aef3377
parent e3d4ff566f9545114bf9ed72421e49eaf9d37953
author Igor Murashkin <iam@google.com> 1454461010 -0800
committer Igor Murashkin <iam@google.com> 1454535559 -0800

runtime: Don't skip verification for -Xverify:soft-fail

When forcing the interpreter into access checks mode,
make sure that the regular verification is still run,
giving the verifier an opportunity to throw a VerifyError.

If verification would've succeeded (without -Xverify:soft-fail flag),
override this and soft-fail, to force the interpreter-with-access-checks to be run
instead of the normal faster interpreter.

This fixes the following run-tests under the interpeter-access-checks:
* 135
* 412
* 471
* 506
* 800

Bug: 22414682
Change-Id: I5cb86a8bba71c7af9361a63c0802786c852b857b