[lworld] RFR: 8359370: [lworld] allow instance fields of identity classes to be readable in the prologue phase [v13]

[Maurizio Cimadamore]

On Fri, 29 Aug 2025 11:08:26 GMT, Vicente Romero <vromero at openjdk.org> wrote:

>> (e.g. we really need to make sure that `analyzeSelect` is not applied too broadly)
>
> true, now that we removed the visitor at TreeInfo that is a problem

Actually -- this is enough:

class Test {

    int x = 4;

    static String m(Object r) { return null; }

    Test() {
        m(x).toString();
        super();
    }

    public static void main(String[] args) {
        new Test();
    }
}

No lambda. So probably was an issue even before, with `TreeInfo`.

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

PR Review Comment: https://git.openjdk.org/valhalla/pull/1523#discussion_r2310258047