GCJ verification error

Mon Apr 2 13:13:00 GMT 2007

Johann Schuster writes:
 > Andrew Haley wrote:
 > > > Johann Schuster writes:
 > > > > I want to compile a java program with gcj 4.1.2,
 > > > > that compiled fine under gcj 4.0.2, but with 
 > > > > with 4.1.2 i get the error message:
 > > > ...
 > > > > Does anyone know a simple solution for that? Will an
 > > > > update to a newer gcj/gcc version will be the cure?
 > > >
 > > > Give us a test case. We can't do anything without one.
 > > 
 > Here you are. The application is called prism, a probabilistic
 > symbolic model checker. I've added the whole package, sorry for
 > the filesize.
I spent 15 minutes trying to get it to build then I gave up.
I need to try actual command that produces the error, and the actual
files involved. I'm guessing that a simple "gcj -c <some class file"
or "gcj -c <some jar file>" would do it, and that all the rest is
unnecessary.
Andrew.
-- 
Red Hat UK Ltd, Amberley Place, 107-111 Peascod Street, Windsor, Berkshire, SL4 1TE, UK
Registered in England and Wales No. 3798903