Details
Backports
Issue | Fix Version | Assignee | Priority | Status | Resolution | Resolved In Build |
---|---|---|---|---|---|---|
JDK-8260979 | 16.0.2 | Tobias Hartmann | P5 | Resolved | Fixed | b01 |
JDK-8260882 | 16.0.1 | Tobias Hartmann | P5 | Resolved | Fixed | b04 |
Description
Optimization-unstable code (unstable code for short) is an emerging class of software bugs: code that is unexpectedly eliminated by compiler optimizations due to undefined behavior in the program.
We applied a static checker STACK [1] to OpenJDK and found a number of such unstable code.
[1] https://css.csail.mit.edu/stack/
We applied a static checker STACK [1] to OpenJDK and found a number of such unstable code.
[1] https://css.csail.mit.edu/stack/
Attachments
Issue Links
- backported by
-
JDK-8260882 Fix optimization-unstable code involving signed integer overflow
-
- Resolved
-
-
JDK-8260979 Fix optimization-unstable code involving signed integer overflow
-
- Resolved
-
- relates to
-
JDK-8258382 Fix optimization-unstable code involving pointer overflow
-
- Resolved
-
- links to
-
Commit openjdk/jdk16u/62e53c8d
-
Commit openjdk/jdk/dd8996c5
-
Review openjdk/jdk16u/9
-
Review openjdk/jdk/1900
(2 links to)