[jdk17] RFR: 8269795: C2: Out of bounds array load floats above its range check in loop peeling resulting in SEGV

Fri Jul 9 08:02:52 UTC 2021

On Fri, 9 Jul 2021 06:21:54 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote:

> Nice analysis, the fix looks good to me! Just some minor comments below.

Thanks for your review Tobias!

> 
> > [...] which is only the initial Bool node of the dominating test before the first invocation [...]
> 
> Should be "of the **dominated** test", right?

Yes, you're right as we are updating `test` to nodes in the loop.

-------------

PR: https://git.openjdk.java.net/jdk17/pull/235