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

[harold seigel]

Hi George,

Thanks for the review.

Harold

On 9/17/2015 2:33 PM, George Triantafillou wrote:
> 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
>