8066103: C2's range check smearing allows out of bound array accesses

John Rose john.r.rose at oracle.com
Mon Dec 8 19:41:17 UTC 2014

On Dec 8, 2014, at 9:58 AM, Roland Westrelin <roland.westrelin at oracle.com> wrote:
>> That's good; let's do it that way!
>> Final suggestion (really):  Add some more test cases, containing duplicate array indexes, to exercise the "local" logic. 
> Thanks John. I’ll add some test cases. Do you want to see another webrev with test cases?

I'd like to look at it, so please update the webrev, but you can proceed with a thumbs up from me as a reviewer no matter what.

— John
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.openjdk.java.net/pipermail/hotspot-compiler-dev/attachments/20141208/9517f41c/attachment.html>

More information about the hotspot-compiler-dev mailing list