206348cea8b086a484b8bde37b2e281e5f7db638 - platform/art

commit	206348cea8b086a484b8bde37b2e281e5f7db638	[log] [tgz]
author	Hans Boehm <hboehm@google.com>	Wed Dec 05 11:11:33 2018 -0800
committer	Hans Boehm <hboehm@google.com>	Mon Jan 28 09:37:57 2019 -0800
tree	1e83b6484dbd9218ace7c94d266dc90ed7e66505
parent	58a268aa3569d8ad4f0e831de578620e1079ed59 [diff]

Selectively allow dead reference elimination

Allow dead reference elimination in methods not containing
@ReachabilitySensitive accesses or calls, when the class is marked
@DeadReferenceSafe.

Add 1339-dead-reference-safe to aggressively check that everything
works as intended.

Bug: 111453875

Test: art/test/testrunner/testrunner.py --host --64 -t 1339-dead-reference-safe

Detect ReachabilitySensitive annotations.

Change-Id: I70c20431fdbcfcfd2692b2255d12ad59e37cb669

compiler/optimizing/inliner.cc[diff]
compiler/optimizing/nodes.h[diff]
compiler/optimizing/optimizing_compiler.cc[diff]
compiler/optimizing/ssa_liveness_analysis.h[diff]
libdexfile/dex/dex_instruction.cc[diff]
runtime/art_method.cc[diff]
runtime/dex/dex_file_annotations.cc[diff]
runtime/dex/dex_file_annotations.h[diff]
runtime/oat_file.cc[diff]
runtime/oat_file.h[diff]
test/1339-dead-reference-safe/check[Added - diff]
test/1339-dead-reference-safe/expected.txt[Added - diff]
test/1339-dead-reference-safe/info.txt[Added - diff]
test/1339-dead-reference-safe/src/DeadReferenceSafeTest.java[Added - diff]
test/1339-dead-reference-safe/src/DeadReferenceUnsafeTest.java[Added - diff]
test/1339-dead-reference-safe/src/Main.java[Added - diff]
test/1339-dead-reference-safe/src/ReachabilityFenceTest.java[Added - diff]
test/1339-dead-reference-safe/src/ReachabilitySensitiveFunTest.java[Added - diff]
test/1339-dead-reference-safe/src/ReachabilitySensitiveTest.java[Added - diff]
test/knownfailures.json[diff]

20 files changed