[lworld] Integrated: 8326597: [lworld] Verifier must enforce new JEP 401 rules related to strict fields

[David Holmes]

On Fri, 24 May 2024 05:07:40 GMT, David Holmes <dholmes at openjdk.org> wrote:

> There are a number of commits here relating to different changes. To keep things more simple you can look at them individually.
> 
> Changes:
> - removed the old Q-type support from the verifier (verifierType.hpp/cpp)
> - added the necessary checks for strict fields to the verifier and added some tests
> - added missing class modifier checks for value classes in the classfile parse
> - brought the field modifier checks in classfile parser into line with JEP 401, simplified logic and provided more informative exception messages.
> - updated existing tests to  support the above
> 
> There is still a lot of inline-type terminology remaining, at least some of which should be cleaned up in future RFE's

This pull request has now been integrated.

Changeset: 4c31fe8e
Author:    David Holmes <dholmes at openjdk.org>
URL:       https://git.openjdk.org/valhalla/commit/4c31fe8e0fa851fe8be0f1fafe66aa3e6e1d2fd8
Stats:     355 lines in 9 files changed: 202 ins; 126 del; 27 mod

8326597: [lworld] Verifier must enforce new JEP 401 rules related to strict fields

Reviewed-by: fparain, heidinga

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

PR: https://git.openjdk.org/valhalla/pull/1109