OSDN Git Service

runtime: Don't skip verification for -Xverify:soft-fail
authorIgor Murashkin <iam@google.com>
Wed, 3 Feb 2016 00:56:50 +0000 (16:56 -0800)
committerIgor Murashkin <iam@google.com>
Wed, 3 Feb 2016 21:39:19 +0000 (13:39 -0800)
commitdf707e406877e9c0426dd051c00933ebb331673e
treedb9c96c96d373935a83dda2fafbf3c7e1aef3377
parente3d4ff566f9545114bf9ed72421e49eaf9d37953
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
compiler/driver/compiler_driver.cc
runtime/art_method.h
runtime/class_linker.cc
runtime/class_linker.h
runtime/class_linker_test.cc
runtime/interpreter/interpreter.cc
runtime/mirror/class.cc
runtime/mirror/class.h
runtime/modifiers.h
runtime/runtime.cc
test/Android.run-test.mk