Integrated: 8258382: Fix optimization-unstable code involving pointer overflow

[Hao Sun]

On Thu, 24 Dec 2020 00:24:32 GMT, Hao Sun <github.com+16932759+shqking at openjdk.org> wrote:

> 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
> [1]) to OpenJDK source code and found the following two sites of
> potential unstable code involving pointer overflow.
> 
> Removing undefined behaviors would make the code stable.
> 
> [1] https://css.csail.mit.edu/stack/
> 
> --------
> Note that we tested locally Jtreg tests ( tier1 and jdk::tier3) were passed on Linux x86/aarch64 machines after apply this patch.

This pull request has now been integrated.

Changeset: f351e155
Author:    Hao Sun <hao.sun at arm.com>
Committer: Ningsheng Jian <njian at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/f351e155
Stats:     8 lines in 2 files changed: 0 ins; 2 del; 6 mod

8258382: Fix optimization-unstable code involving pointer overflow

Reviewed-by: kbarrett

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

PR: https://git.openjdk.java.net/jdk/pull/1886