Loading...

XML

Word

Printable

Type: Bug
Resolution: Fixed
Priority: P3
Fix Version/s: 17
Affects Version/s: 11, 16, 17
Component/s: hotspot
Labels:

Subcomponent:
compiler
Resolved In Build:
b04
CPU:

generic
OS:

generic

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
JDK-8290857	11.0.17-oracle	Tobias Hartmann	P3	Resolved	Fixed	b04
JDK-8291481	11.0.17	Goetz Lindenmaier	P3	Resolved	Fixed	b01

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/

backported by

JDK-8290857 Fix optimization-unstable code involving signed integer overflow

Resolved

JDK-8291481 Fix optimization-unstable code involving signed integer overflow

Resolved

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/jdk11u-dev/c61acb58

Commit openjdk/jdk16u/62e53c8d

Commit openjdk/jdk/dd8996c5

Review openjdk/jdk11u-dev/1272

Review openjdk/jdk16u/9

Review openjdk/jdk/1900

(6 links to)

Assignee:: Eric Liu

Reporter:: Eric Liu

Votes:: 0 Vote for this issue

Watchers:: 6 Start watching this issue

Created:: 2020-12-24 19:56

Updated:: 2025-01-13 10:33

Resolved:: 2021-01-04 23:32

Details

Backports

Description

Attachments

Issue Links

Activity

People

Dates