[9] RFR (XS): 8150543: Mismatched access detection is inaccurate

Vladimir Ivanov vladimir.x.ivanov at oracle.com
Fri Feb 26 12:28:09 UTC 2016


Mismatched access detection doesn't differentiate between boolean[] and 
byte[] element accesses. Alias type flattening erases element type for 
boolean[] to T_BYTE.

The fix is to use more accurate source of information: the address type.

Also, marked the tests as not applicable to C1, since it doesn't 
constant fold unsafe accesses.

Testing: regression test, JPRT.

Best regards,
Vladimir Ivanov

More information about the hotspot-compiler-dev mailing list