This is the mail archive of the java-patches@gcc.gnu.org mailing list for the Java project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]

Re: patch for PR java/1208, plus other try-finally cleanups

To: Per Bothner <per at bothner dot com>
Subject: Re: patch for PR java/1208, plus other try-finally cleanups
From: Tom Tromey <tromey at redhat dot com>
Date: 22 Mar 2001 18:21:52 -0700
Cc: gcc-patches at gcc dot gnu dot org, java-patches at gcc dot gnu dot org, java at gcc dot gnu dot org
References: <m2d7bbu71e.fsf@kelso.bothner.com> <878zlyet2i.fsf@creche.redhat.com> <m2u24l7f7t.fsf@kelso.bothner.com>
Reply-To: tromey at redhat dot com

>>>>> "Per" == Per Bothner <per@bothner.com> writes:

>> However this patch seems to introduce a new failure.

Per> The bytecode looks ok (from a manual inspection), which suggests
Per> a bug in the verifier.

Thanks for looking at this.

It would be nice to have a verifier regression suite.  We could just
check in .class files to libjava/testsuite/libjava.verifier.  That way
if/when we write a verifier for libjava (or if we rewrite the gcc
verifier) we would have a test suite of bug-causing examples.

Tom

Follow-Ups:
- Re: patch for PR java/1208, plus other try-finally cleanups
  - From: Per Bothner

References:
- patch for PR java/1208, plus other try-finally cleanups
  - From: Per Bothner
- Re: patch for PR java/1208, plus other try-finally cleanups
  - From: Tom Tromey
- Re: patch for PR java/1208, plus other try-finally cleanups
  - From: Per Bothner

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]