OSDN Git Service

ART: Make a soft failure in method verifier hard, add check
authorAndreas Gampe <agampe@google.com>
Thu, 17 Jul 2014 23:13:35 +0000 (16:13 -0700)
committerAndreas Gampe <agampe@google.com>
Thu, 17 Jul 2014 23:16:59 +0000 (16:16 -0700)
commit00633eb490ad21f711dcfccfb3a70992b2f8a72a
tree625bb71f4b14bf7cbb2e40a881b31da84ff9aef9
parent031ddea20cb311dfdb3bd16a13750f9cb426b299
ART: Make a soft failure in method verifier hard, add check

Make the soft error of using a primitive type in an instanceof a
hard verifier error.

Add a check when doing check_cast peep-hole optimization to check
whether the cast type is valid.

Bug: 16020300
Change-Id: Icaea560d17804f24a13dc09c115e9ec7039cb472
runtime/verifier/method_verifier.cc