java/5812: GCJ 3.0.2 segfaults on class file from Sun JDK 1.3 compiler

[Adam Dingle]

The following reply was made to PR java/5812; it has been noted by GNATS.

From: Adam Dingle <adam@medovina.org>
To: tromey@redhat.com
Cc: gcc-gnats@gcc.gnu.org, Per Bothner <per@bothner.com>
Subject: Re: java/5812: GCJ 3.0.2 segfaults on class file from Sun JDK 1.3
 compiler
Date: Sat, 02 Mar 2002 12:05:35 -0800

 > However, given that Sun's compiler generated this, perhaps they intend
 > that we only verify reachable code.  In this case, the `return' is not
 > reachable since there is no `ret' corresponding to the `jsr'.
 
 I'm pretty sure that Sun verifies only reachable code and believes that this 
 is what a byte code verifier should do.  The description of the bytecode 
 verification process in section 4.9.2 of the Java Virtual Machine 
 Specification describes a data-flow analyzer which will ignore unreachable 
 code; see
 
 http://java.sun.com/docs/books/vmspec/2nd-edition/html/ClassFile.doc.html#9801
 
 -adam