-
Bug
-
Resolution: Fixed
-
P3
-
11, 15, 16
-
b17
Issue | Fix Version | Assignee | Priority | Status | Resolution | Resolved In Build |
---|---|---|---|---|---|---|
JDK-8253925 | 11.0.10-oracle | Roland Westrelin | P3 | Resolved | Fixed | b01 |
JDK-8254071 | 11.0.10 | Roland Westrelin | P3 | Resolved | Fixed | b01 |
This came up with testing of JDK-8223051:
https://mail.openjdk.java.net/pipermail/hotspot-compiler-dev/2020-August/039801.html
A loop is unswitched then a pre/post loop is created and finally the main loop is fully unrolled. A load in the main loop floats above the unswitching test and is executed even though it's out of bound (the main loop wouldn't have been executed). This doesn't seem specific toJDK-8223051 even though I couldn't write a test case that reproduces it with current jdk code.
https://mail.openjdk.java.net/pipermail/hotspot-compiler-dev/2020-August/039801.html
A loop is unswitched then a pre/post loop is created and finally the main loop is fully unrolled. A load in the main loop floats above the unswitching test and is executed even though it's out of bound (the main loop wouldn't have been executed). This doesn't seem specific to
- backported by
-
JDK-8253925 Loop unswitching may cause out of bound array load to be executed
-
- Resolved
-
-
JDK-8254071 Loop unswitching may cause out of bound array load to be executed
-
- Resolved
-
- relates to
-
JDK-8240227 Loop predicates should be copied to unswitched loops
-
- Closed
-