RFR(XS) 8129895: New verifier fails to reject erroneous cast from int[] to other arrays of small integer types

harold seigel harold.seigel at oracle.com
Mon Jul 20 18:29:24 UTC 2015


Please review this small change to fix bug 8129895.  The split verifier 
erroneously allows arrays of primitive ints to be assignable to arrays 
of Booleans, bytes, chars, and shorts.  This fix adds a new function 
(is_component_assignable_from()) for explicitly checking assign-ability 
of array components.  The new function requires that primitive array 
components be identical for assign-ability.

Open webrev: http://cr.openjdk.java.net/~hseigel/bug_8129895/

JBS Bug: https://bugs.openjdk.java.net/browse/JDK-8129895

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.

Thanks, Harold

More information about the hotspot-runtime-dev mailing list