This is the mail archive of the
java@gcc.gnu.org
mailing list for the Java project.
gcj -C / gcj verifier bug (?)
- From: Tom Tromey <tromey at redhat dot com>
- To: Java Discuss List <java at gcc dot gnu dot org>
- Cc: Per Bothner <per at bothner dot com>
- Date: 07 Dec 2001 18:07:41 -0700
- Subject: gcj -C / gcj verifier bug (?)
- Reply-to: tromey at redhat dot com
I tried running rhug through the gij verifier and I think it found a
`gcj -C' bug.
Here is body of com.ibm.bsf.util.type.TypeConvertorRegistry$1.<init>:
0: aload_0
1: aload_1
2: putfield #14=<Field com.ibm.bsf.util.type.TypeConvertorRegistry$1.this$0 com.ibm.bsf.util.type.TypeConvertorRegistry>
5: aload_0
6: invokespecial #17=<Method java.lang.Object.<init> ()void>
9: return
Here we're using `this' before invoking the superclass <init>.
The JVM Spec 4.9.4 says:
It must either invoke an alternative instance initialization method
for class myClass or invoke the initialization method of a
superclass on the this object before it is allowed to do anything
else with this.
Is there something I'm missing? Both the JDK and gcj verifiers pass
this.
Tom