RFR(XS) 8129897: Old verifier fails to reject erroneous cast from boolean[] to byte[]
harold seigel
harold.seigel at oracle.com
Tue Jul 21 20:21:33 UTC 2015
Hi,
Please review this small change to fix bug 8129897. The old verifier
treats arrays of Booleans as arrays of bytes, allowing assignability
between them. This fix distinguishes between arrays of Booleans and
arrays of bytes and so disallows assignability between them. Additional
changes were needed to make sure operands to baload and similar opcodes
could still be either Boolean or byte arrays.
Open webrev: http://cr.openjdk.java.net/~hseigel/bug_8129897/
JBS Bug: https://bugs.openjdk.java.net/browse/JDK-8129897
The fix was tested with JCK Lang and VM tests, the UTE quick and split
verifier tests, and the hotspot, and JDK vm, java/io, java/lang, and
java/util JTreg tests.
This scenario will be tested by JCK-9. So no regression test was
included in this webrev.
Thanks, Harold
More information about the hotspot-runtime-dev
mailing list