RFR(XS) 8132904: Type checking verifier fails to reject assignment from array to an interface

[George Triantafillou]

Hi Harold,

Looks good.

-George

On 9/17/2015 2:03 PM, harold seigel wrote:
> Hi,
>
> Please review this small change to fix bug 8132904.  The new verifier 
> implementation in HotSpot should not allow an arbitrary array type to 
> be assignable to an arbitrary interface type.  The special cases of 
> Cloneable, and Serializable are clearly called out in the spec.  This 
> fix disallows assignability of an array to interface type unless it's 
> one of the Cloneable or Serializable special cases.
>
> Open webrev: http://cr.openjdk.java.net/~hseigel/bug_8132904/
>
> JBS Bug: https://bugs.openjdk.java.net/browse/JDK-8132904
>
> The fix was tested with JCK Lang, VM, and API java_lang tests, the UTE 
> quick and split verifier tests, and the hotspot, JDK vm, java/io, 
> java/lang, and java/util JTreg tests, the JCK tests that are currently 
> excluded because of this bug, and the test case in the bug report.
>
> This scenario will be tested by JCK-9.  So there's no regression test 
> in this webrev.
>
> Thanks, Harold