OSDN Git Service

ART: Relax IsInstantiable check
authorAndreas Gampe <agampe@google.com>
Tue, 28 Jul 2015 04:41:49 +0000 (21:41 -0700)
committerAndreas Gampe <agampe@google.com>
Tue, 28 Jul 2015 04:58:16 +0000 (21:58 -0700)
commitbe2aa44277e5be04d6e3a9b80af9df01e26b73c0
treec6bf7d24add7c1cf7bff423b859d13a3d0ec8d7c
parent73961d95f2bfa9d0fbc8980cdd4aef8aeed84e1d
ART: Relax IsInstantiable check

Relax the IsInstantiable check when converting an uninitialized
reference type. This is a double protection that leads to wrong
behavior as it may trigger an incorrect hard failure.

Bug: 22777307
Change-Id: Ie555b175f78876647fef083369d40bfe3fd7b69a
runtime/verifier/reg_type.cc
runtime/verifier/reg_type_cache.cc
test/800-smali/expected.txt
test/800-smali/smali/b_22777307.smali [new file with mode: 0644]
test/800-smali/src/Main.java