[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
http://cr.openjdk.java.net/~vlivanov/8150543/webrev.00/
https://bugs.openjdk.java.net/browse/JDK-8150543
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