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

[Vicente Romero]

On Fri, 29 Aug 2025 10:56:14 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

>> Example:
>> 
>> 
>> class Test {
>> 
>>     int x = 4;
>> 
>>     static String m(Runnable r) { return null; }
>> 
>>     Test() {
>>         m(() -> System.out.println(x)).toString();
>>         super();
>>     }
>> 
>>     public static void main(String[] args) {
>>         new Test();
>>     }
>> }
>> 
>> 
>> This seems to compile, but then fails with verifier error.
>
> (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

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

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