This is the mail archive of the
java@gcc.gnu.org
mailing list for the Java project.
Re: testing Jdom
- From: Tom Tromey <tromey at redhat dot com>
- To: Guido Amoruso <guidonte at libero dot it>
- Cc: java at gcc dot gnu dot org
- Date: 12 Sep 2003 08:31:56 -0600
- Subject: Re: testing Jdom
- References: <1063354672.780.27.camel@debian>
- Reply-to: tromey at redhat dot com
>>>>> "Guido" == Guido Amoruso <guidonte@libero.it> writes:
Guido> I'm testing gcj-3.3 (and gij) with classpath-0.6 on Debian (ppc and
Guido> i386) in order to use dvi2svg
Guido> Exception in thread "main" java.lang.VerifyError: verification failed at
Guido> PC 74 in
Guido> org.jdom.input.SAXBuilder:build((Lorg.xml.sax.InputSource;)Lorg.jdom.Document;): incompatible type on stack
Guido> Am I missing something or is it a bug somewhere?
This is a known bug in the bytecode verifier in 3.3. It doesn't
properly handle merging interface types. This is fixed in cvs head.
Meanwhile you could disable the verifier and rebuild 3.3 as a
workaround.
To disable the verifier, comment out the body of the function
_Jv_VerifyMethod. This appears at the end of the file
gcc/libjava/verify.cc.
Tom