diff options
| author | Andreas Gampe <agampe@google.com> | 2015-07-13 21:12:43 -0700 |
|---|---|---|
| committer | Andreas Gampe <agampe@google.com> | 2015-07-21 09:30:45 -0700 |
| commit | 891dfaa94eda54ab620d203200191c4be46afb70 (patch) | |
| tree | b4527d4d3df8c7628c5e88fadab1b5c286de1b28 /compiler/driver/compiler_driver_test.cc | |
| parent | 9ed820697b75179e236fe5a07981b198a36400b3 (diff) | |
ART: Fix UninitializedReference handling
The merge rules in the verifier allowed Object to be successfully
merged with uninitialized references. This is invalid and should
result in a conflict. Fix by moving UninitializedReference rules
earlier.
Also add a test that forward merging is correctly allowed, both
with a valid result as well as a conflict.
Also add tests that backwards branches have the expected behavior.
Bug: 22411633
Change-Id: If837376c15f0b3550d6ce1721a3cde5901c80c7f
Diffstat (limited to 'compiler/driver/compiler_driver_test.cc')
0 files changed, 0 insertions, 0 deletions