hg: jdk9/hs-rt/hotspot: 8129895: New verifier fails to reject erroneous cast from int[] to other arrays of small integer types

harold.seigel at oracle.com harold.seigel at oracle.com
Wed Jul 22 14:44:31 UTC 2015


Changeset: 5dba7b2b6f60
Author:    hseigel
Date:      2015-07-22 08:00 -0400
URL:       http://hg.openjdk.java.net/jdk9/hs-rt/hotspot/rev/5dba7b2b6f60

8129895: New verifier fails to reject erroneous cast from int[] to other arrays of small integer types
Summary: Only allow assignability of arrays of primitive types if the types are identical
Reviewed-by: dholmes, gtriantafill

! src/share/vm/classfile/verificationType.cpp
! src/share/vm/classfile/verificationType.hpp
+ test/runtime/verifier/PrimIntArray.java
+ test/runtime/verifier/primArray.jasm
+ test/runtime/verifier/primArray49.jasm



More information about the jdk9-all-changes mailing list