8258946: Fix optimization-unstable code involving signed integer overflow #1900
Optimization-unstable code refers to code that is unexpectedly discarded
We applied a static checker called STACK (prototype from SOSP'13 paper
Removing undefined behaviors would make the code stable.
Note that we tested locally Jtreg tests ( tier1 and jdk::tier3) were passed on Linux x86-64/aarch64 machines after apply this patch.
The text was updated successfully, but these errors were encountered:
…flow Optimization-unstable code refers to code that is unexpectedly discarded by compiler optimizations due to undefined behavior in the program. We applied a static checker called STACK (prototype from SOSP'13 paper ) to OpenJDK source code and found the following six sites of potential unstable code involving signed integer overflow. Removing undefined behaviors would make the code stable.  https://css.csail.mit.edu/stack/
@shqking This change now passes all automated pre-integration checks.
After integration, the commit message for the final commit will be:
At the time when this comment was updated there had been 19 new commits pushed to the
As there are no conflicts, your changes will automatically be rebased on top of these commits when integrating. If you prefer to avoid this automatic rebasing, please check the documentation for the /integrate command for further details.
As you do not have Committer status in this project an existing Committer must agree to sponsor your change. Possible candidates are the reviewers of this PR (@TobiHartmann, @vnkozlov) but any other Committer may sponsor as well.
Since the new commit only updates the copyright year and the pre-submits tests were passed for the first commit (See https://github.com/shqking/jdk/actions/runs/460991763/workflow), I suppose it's ready to merge now.
Your commit was automatically rebased without conflicts.
Pushed as commit dd8996c.