OSDN Git Service

ART: Relax verifier aput checking
authorAndreas Gampe <agampe@google.com>
Fri, 14 Aug 2015 21:07:43 +0000 (14:07 -0700)
committerAndreas Gampe <agampe@google.com>
Fri, 14 Aug 2015 21:25:25 +0000 (14:25 -0700)
commit4bf4c78a6e8b7da7cf306e1dd17ff5a55d0c6c98
treea24fec5a60881ba644caeb7706df183882079c32
parenta0856f5158e35e8cd83b36ece16c58915292653a
ART: Relax verifier aput checking

When checking on a null array, the cases of aput and aput-wide are
shared between integral and floating point types. Be careful to not
reject a valid program.

Bug: 21867457
Bug: 23201502
Change-Id: I6c54a389c06e40a2dae00995aa16ff08a089e512
runtime/verifier/method_verifier.cc
test/800-smali/expected.txt
test/800-smali/smali/b_23201502.smali [new file with mode: 0644]
test/800-smali/src/Main.java