VerifyError in PushbackReader

Erik Corry erik at
Sat Mar 16 15:53:35 PST 2002


I have the newest (cvs) version of Kaffe checked out of CVS
on a Red Hat 7.2-like system.  I compiled with

CC=gcc3 CCC=g++3 CFLAGS=-g ./configure

(the normal Red Hat 2.96 version of gcc had trouble with the
libgcj header files).  I'm running into a bug which is also
entered in the bug database (in incoming), but which I can't
contribute to as I can't find how to log in as anyone other
than guest.

Whenever I try to run a program (javac, HelloWorld, appletviewer)
I get the same error:

java.lang.VerifyError: at pc 5 sp 7 not in range [4, 6]
    at at.dms.kjc.Main.parseFile(
    at at.dms.kjc.Main.compile(
    at at.dms.kjc.Main.main(

I haven't been able to disassemble PushbackReader to find out
whether it is the class (jar) file that is the problem or
the verifier, but I guess it is the verifier.  When I run
kaffe under gdb the problem seems to jump around, sometimes
happening at the 1805th call of verifyBasicBlock, sometimes
later.  I haven't been able to pin it down.  This makes me
think it has to do with uninitialised data on the stack.

When I try to run javap on another system in order to take
a look at the PushbackReader in the Klasses.jar file, I
think it just disassembles the PushbackReader in its own
java system - it's hard to tell, since it doesn't say
where it is getting the info from.  Also, I'm not sure
what the <init> means.

Any ideas?

Erik Corry erik at

More information about the kaffe mailing list