VerifierError with gcc trunk and ant 1.5.2

Thu Mar 13 10:23:00 GMT 2003

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Am Donnerstag, 13. März 2003 10:34 schrieb Andrew Haley:
> Michael Koch writes:
> > -----BEGIN PGP SIGNED MESSAGE-----
> > Hash: SHA1
> >
> > Am Montag, 10. März 2003 12:54 schrieb Andrew Haley:
> > > If we emit a jsr, we cannot free any of our local state
> > > variables unless we can prove that it's safe to do so. We
> > > can't prove such a thing, so don't free them.
> > >
> > > This has the disadvantage of wasting some local variable
> > > space. However, it is far better than what we do at the
> > > moment, which is silently generate incorrect code.
> >
> > Thanks Andrew, this patch helped and ... lead to another
> > VerifierError.
>> I presume this is a verifier bug -- did you try this with someone
> else's JVM?

Yes, with SUN's JDK this one passes. I tried to create a testcase for 
this but failed for now.
In my tests I saw that SUN's JDK throws VerifierErrors on GCJ 
generated code too. I currently try to create testcases for this.
Will post later.
Michael
- -- 
Homepage: http://www.worldforge.org/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.1 (GNU/Linux)
iD8DBQE+cFw/WSOgCCdjSDsRAkavAJ9H6OmTKpqvojal3Nj0lXD2LRHdwQCeJQwI
WrMjmD7dDJstFeMpWxVL85E=
=JMLn
-----END PGP SIGNATURE-----