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: Andrew Haley <aph at cambridge dot redhat dot com>
- To: tromey at redhat dot com
- Cc: jmr at ugcs dot caltech dot edu (Jesse Rosenstock), java-patches at gcc dot gnu dot org
- Date: Thu, 5 Sep 2002 14:27:17 +0100 (BST)
- Subject: Re: java/5794: gcj fails to verify .class file generated by Sun JDK 1.4 compiler
- References: <20020904194416.86E5A84063@euro.ugcs.caltech.edu><87u1l51n9l.fsf@fleche.redhat.com>
Tom Tromey writes:
> >>>>> "Jesse" == Jesse Rosenstock <jmr@ugcs.caltech.edu> writes:
>
> Jesse> pr=5794
>
> Jesse> This problem bit me yesterday, and I want to compile something
> Jesse> I don't have the source for, so I investigated it.
>
> Thanks! I've also been bitten by this problem recently, and it was on
> my list to fix in the next few weeks.
>
> Jesse> As previously discussed, I commented out the check that the
> Jesse> exception handler target is outside of the range of the code
> Jesse> the exception handler is for. This is not dangerous, the worst
> Jesse> it could cause is an infinite loop.
>
> Also see Andrew's pending patch to turn this into a warning. I think
> his approach makes sense, since it is unlikely that such bytecode has
> a useful meaning.
I checked that patch in. IMO it probably qualifies under the
"obvious" rule anyway, and it fixes a long standing bug.
Andrew.