Re: java/6163: anonymous class verifier error

[Tom Tromey <tromey@redhat.com>]

The following reply was made to PR java/6163; it has been noted by GNATS.

From: Tom Tromey <tromey@redhat.com>
To: nferrier@tapsellferrier.co.uk
Cc: gcc-gnats@gcc.gnu.org
Subject: Re: java/6163: anonymous class verifier error
Date: 08 Apr 2002 11:35:54 -0600

 >>>>> "Nic" == Nic Ferrier <nferrier@tapsellferrier.co.uk> writes:
 
 Nic> When compiling to byte-code source with anonymous classes GCJ
 Nic> produces code which causes verifier errors with Sun's
 Nic> interpreter.
 
 I looked at this.
 
 Are you using the 1.2 JDK?
 
 Sun changed the verifier a bit between 1.2 and 1.4.  In particular
 they added a special exception for field initialization in <init>
 methods.
 
 This change is the root of the problem you are seeing.  When I run the
 `gcj -C' output against the 1.2 java interpreter, I get a verification
 error.  When I use the 1.4 interpreter, it works.  It also works with
 gij (gij specifically implements this particular verifier change).
 
 Inspecting the <init> method in test$1.class, I see that the code in
 question is definitely one of these field assignments.
 
 So my current thinking is that this is not a bug.  What do you think?
 
 Tom