RFR: 8285835: SIGSEGV in PhaseIdealLoop::build_loop_late_post_work

[Roland Westrelin]

On Thu, 27 Oct 2022 23:14:11 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote:

> EA does not adjust NSR (not_scalar_replaceable) state for referenced allocations. 
> In the test case object A is NSR because it merges with NULL object. But this state is not propagated to allocations it references. As result other allocations are marked scalar replaceable and related Load node is moved above guarding condition (where A object is checked for NULL).
> EA should propagate NSR state.
> 
> Thanks to @rwestrel who provided reproducer test case.
> 
> Testing tier1-4, xcomp, stress.

Looks reasonable to me. Have you verified that the failure with the replay file and jars from the initial crash doesn't reproduce either?

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

Marked as reviewed by roland (Reviewer).

PR: https://git.openjdk.org/jdk/pull/10894