[External] : Re: RFC - Improving C2 Escape Analysis

[Tobias Hartmann]

Hi Cesar,

On 27.10.21 08:20, Cesar Soares Lucas wrote:
> Right. I was suspecting this to be the most critical issue indeed. However, I
> didn't know there was a case where "... the object does not escape on any paths
> but control flow is too complicated for EA to prove that." Is this an issue
> tracked in JBS or perhaps you can show me an example where this happens?

Sure, here are four examples of EA and/or scalarization failing due to complicated control/data
flow: https://cr.openjdk.java.net/~thartmann/EA_examples

All examples would completely fold with inline types (Valhalla).

I'm not sure if these issues are tracked by JBS issues but there's most likely an overlap with some
of the issues you already described.

Best regards,
Tobias