RFR(XS) 8129895: New verifier fails to reject erroneous cast from int to other arrays of small integer types
george.triantafillou at oracle.com
Mon Jul 20 18:56:43 UTC 2015
This looks good.
On 7/20/2015 2:29 PM, harold seigel wrote:
> 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