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

[Keith McGuigan]

Looks good, though I would update the comment above your fix to more
accurately describe what is going on now.

--
- Keith

On Thu, Sep 17, 2015 at 2:03 PM, harold seigel <harold.seigel at oracle.com>
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
>



-- 

[image: twitter-icon-large.png]

Keith McGuigan

@kamggg

kmcguigan at twitter.com