[lworld] RFR: 8281279: [lworld] Add JVM support for ACC_PERMITS_VALUE [v3]

[Harold Seigel]

On Mon, 7 Feb 2022 17:59:25 GMT, Frederic Parain <fparain at openjdk.org> wrote:

>> Harold Seigel has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Update test TestResolvedJavaType.java
>
> src/hotspot/share/classfile/classFileParser.cpp line 4596:
> 
>> 4594:       return;
>> 4595:     }
>> 4596: 
> 
> This is not the behavior written in the JVMS draft for value classes, which requires the direct super class of a value class to have the ACC_PERMITS _VALUE flag set. However, because we haven't changed java.lang.Object into an abstract class, java.lang.Object cannot have the ACC_PERMITS _VALUE flag set. Currently, I see no other solution than the one you have implemented, adding a special case when the direct super class is java.lang.Object. But it would be useful to add a comment in the source code and the CR to remember and track this discrepancy.

Thanks for suggesting this.  I added a comment.

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

PR: https://git.openjdk.java.net/valhalla/pull/632