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:33:39 +0000 (14:33 -0700)
commiteb9d1f79a79e3235f25889a25cdba465a7a0f7bf
tree1a25444c071b1105f1854acf4ec6751a89000caa
parente682a0250702c65a668e39eefdd1c49cfea5f388
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

(cherry picked from commit 4bf4c78a6e8b7da7cf306e1dd17ff5a55d0c6c98)

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