VerifyError in PushbackReader

[Erik Corry]

Hi

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 java.io.PushbackReader.<init>(PushbackReader.java:32)
    at at.dms.compiler.tools.antlr.extra.InputBuffer.<init>(InputBuffer.java:68)
    at at.dms.compiler.tools.antlr.extra.InputBuffer.<init>(InputBuffer.java:81)
    at at.dms.kjc.Main.parseFile(Main.java:278)
    at at.dms.kjc.Main.run(Main.java:116)
    at at.dms.kjc.Main.compile(Main.java:68)
    at at.dms.kjc.Main.main(Main.java:59)

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 arbat.com