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

Tue May 27 07:59:55 UTC 2025

On Wed, 21 May 2025 10:32:33 GMT, Roberto Castañeda Lozano <rcastanedalo 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.

Should we link it on JIRA?

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

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