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

[John Rose]

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>