diff options
author | Andreas Gampe <agampe@google.com> | 2019-06-25 12:39:15 -0700 |
---|---|---|
committer | Andreas Gampe <agampe@google.com> | 2019-07-16 22:13:40 +0000 |
commit | b5204f4216557b1f7bfd72be1fd49ec9d0960ecb (patch) | |
tree | 95ca743a14876cda3e8e185ef4613220aba196ce /compiler/driver/compiler_options_map-inl.h | |
parent | 4bd5234a05db801892ce28ea0504aebb46d06a25 (diff) |
ART: Add interface class join heuristic
Do not treat interfaces as regular classes. This will always
lead to a join of java.lang.Object, rejecting semantically
valid programs.
We want to retain IMT dispatch, forcing us to verify interface
assigment. In the absence of set types, the result is ambiguous
and not well defined. In a best effort, attempt to find a joint
interface by walking the interface tables of the join arguments
backwards.
In the case of two non-interface classes, we still prefer the
class hierarchy.
Bug: 69826014
Test: m test-art-host-gtest-reg_type_test
Change-Id: I7e0086f045e5bb2a7c3ee3464de45fc5b02f4d3f
Diffstat (limited to 'compiler/driver/compiler_options_map-inl.h')
0 files changed, 0 insertions, 0 deletions