RFR (S) JDK-8223017: [lworld] checkcast/instance broken for LW2 arrays

[Tobias Hartmann]

Hi Mr. Simms,

I'm seeing the following inconsistent behavior:

  MyValue1?[] va1 = (MyValue1?[])null;  // does not throw NPE
  MyValue1?[] va2 = null;               // does not throw NPE
  MyValue1[]  va3 = null;               // does not throw NPE
  MyValue1[]  va4 = (MyValue1[])null;   // throws NPE

Thanks,
Tobias

On 29.04.19 12:01, David Simms wrote:
> 
> Here's a fix for the missing super type relationship for null-free arrays, i.e. "[QFoo;" <:
> "[LFoo;"...once LW2 array support went in, it accidentally skipped it's null-allow type and went
> straight to Object[]...added a few more test cases.
> 
> Webrev:
> 
> http://cr.openjdk.java.net/~dsimms/valhalla/8223017/
> 
> Bug:
> 
> https://bugs.openjdk.java.net/browse/JDK-8223017
>