RFR: 8285835: SIGSEGV in PhaseIdealLoop::build_loop_late_post_work

Sat Oct 29 00:48:11 UTC 2022

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 good.

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

Marked as reviewed by vlivanov (Reviewer).

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