RFR: 8327963: C2: fix construction of memory graph around Initialize node to prevent incorrect execution if allocation is removed [v6]

Wed May 21 10:34:53 UTC 2025

On Wed, 21 May 2025 09:18:01 GMT, Roland Westrelin <roland at openjdk.org> wrote:

> > I also think it would be good to investigate, separately, early elimination of dead array allocations, even after the integration of this work. Dead allocations may inhibit later optimizations so it would be good to eliminate them as early as possible anyway. One difficulty (not addressed in [c28f81a](https://github.com/openjdk/jdk/commit/c28f81a7ef2a4f3d3cb761ea23a80c09276e7e58)) is that early array elimination should still generate the nonnegative array size check code.
> 
> That makes sense. It would be useful to have a bugs to track that one.

Turns out there is one already: [JDK-8180290](https://bugs.openjdk.org/browse/JDK-8180290), I just added a comment there.

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

PR Comment: https://git.openjdk.org/jdk/pull/24570#issuecomment-2897452323