This is the mail archive of the
java-patches@gcc.gnu.org
mailing list for the Java project.
Re: java/5794: gcj fails to verify .class file generated by Sun JDK 1.4 compiler
- From: Tom Tromey <tromey at redhat dot com>
- To: Per Bothner <per at bothner dot com>
- Cc: Jesse Rosenstock <jmr at ugcs dot caltech dot edu>, java-patches at gcc dot gnu dot org
- Date: 11 Sep 2002 13:32:50 -0600
- Subject: Re: java/5794: gcj fails to verify .class file generated by Sun JDK 1.4 compiler
- References: <20020904194416.86E5A84063@euro.ugcs.caltech.edu><3D7F9430.1030606@bothner.com>
- Reply-to: tromey at redhat dot com
>>>>> "Per" == Per Bothner <per@bothner.com> writes:
Per> Jesse Rosenstock wrote:
Per> [ verifier patch ]
Per> This seems reqasonable. Please check it in.
I don't think Jesse has write access. I'll check it in shortly.
Tom> Per will really have to review it. He wrote the verifier in gcj
Tom> and remains the only person who fully understands it.
Per> While I wrote it, I can't pretend to fully understand it. I
Per> don't think I fully understood it even as I was writing it -
Per> verification of subroutines is really nasty and tricky.
I have that same experience with the verifier in libgcj. I'm
surprised every time a bug report turns up some new bizarre case I
failed to think of.
Tom