[Verifier] Fix the field access issue with putfield/getfield

[ChengJin01]

The changes aim to capture the corner case when
the specified field doesn't exist in the current
class or it is intentionally accessed by a hostile
subclass prior to its superclass's initialization
when it belongs to one of the superclasses.

Related: #16524

Signed-off-by: ChengJin01 [email protected]

[ChengJin01]

The idea is: for an instance initialization method of the subclass, the access to the superclass's fields must be delayed till the superclass's initialization is finished; otherwise, the fields must belong to the subclass.

The correct output (matching the RI's output at #16524 (comment)) is as follows:

Error: Unable to initialize main class AcceptInvalid01
Caused by: java.lang.VerifyError: JVMVRFY021 thrown object not throwable; 
class=AcceptInvalid01, method=<init>()V, pc=22
Exception Details:
  Location:
    AcceptInvalid01.<init>()V @22: JBputfield
  Reason:
    Type 'uninitializedThis' (current frame, stack[0]) is not assignable to 'AcceptInvalid01'
  Current Frame:
    bci: @22
    flags: { flagThisUninit }
    locals: { 'uninitializedThis' }
    stack: { 'uninitializedThis' }

[ChengJin01]

The PR is verified in internal & external builds (Java 8, 11, 17, 21, and beyond).

Reviewer: @gacholio
FYI: @TobiAjila, @pshipton

[gacholio]

jenkins test sanity win jdk21