From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 3817 invoked by alias); 30 Jan 2002 12:26:02 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 3771 invoked by uid 71); 30 Jan 2002 12:26:01 -0000 Resent-Date: 30 Jan 2002 12:26:01 -0000 Resent-Message-ID: <20020130122601.3770.qmail@sources.redhat.com> Resent-From: gcc-gnats@gcc.gnu.org (GNATS Filer) Resent-To: nobody@gcc.gnu.org Resent-Cc: gcc-prs@gcc.gnu.org, gcc-bugs@gcc.gnu.org, java-prs@gcc.gnu.org Resent-Reply-To: gcc-gnats@gcc.gnu.org, Daniel.Bonniot@inria.fr Received:(qmail 31225 invoked by uid 61); 30 Jan 2002 12:20:46 -0000 Message-Id:<20020130122046.31224.qmail@sources.redhat.com> Date: Wed, 30 Jan 2002 04:26:00 -0000 From: Daniel.Bonniot@inria.fr Reply-To: Daniel.Bonniot@inria.fr To: gcc-gnats@gcc.gnu.org X-Send-Pr-Version:gnatsweb-2.9.3 (1.1.1.1.2.31) Subject: java/5537: Error compiling simple bytecode with jsr X-SW-Source: 2002-01/txt/msg01047.txt.bz2 List-Id: >Number: 5537 >Category: java >Synopsis: Error compiling simple bytecode with jsr >Confidential: no >Severity: critical >Priority: medium >Responsible: unassigned >State: open >Class: rejects-legal >Submitter-Id: net >Arrival-Date: Wed Jan 30 04:26:01 PST 2002 >Closed-Date: >Last-Modified: >Originator: Daniel Bonniot >Release: 3.0.3 >Organization: >Environment: Debian package gcj-3.0 Configured with: ../src/configure -v --enable-languages=c,c++,java,f77,proto,objc --prefix=/usr --infodir=/share/info --mandir=/share/man --enable-shared --with-gnu-as --with-gnu-ld --with-system-zlib --enable-long-long --enable-nls --without-included-gettext --disable-checking --enable-threads=posix --enable-java-gc=boehm --with-cpp-install-dir=bin --enable-objc-gc i386-linux Thread model: posix gcc version 3.0.3 >Description: This case involves calling return in a try/finally block, and compiling from bytecode. public class A { public static void main(String[] args) { try{ return; } finally{ } } } gcj compiles correctly from source, but fails on the corresponding bytecode (attached): $ gcj A.class A.java: In class `A': A.java: In method `A.main(java.lang.String[])': A.java:6: verification error at PC=8 A.java:6: loading local variable 1 which has unknown type $ javap -c A.class Compiled from A.java public class A extends java.lang.Object { public A(); public static void main(java.lang.String[]); } Method A() 0 aload_0 1 invokespecial #1 4 return Method void main(java.lang.String[]) 0 jsr 10 3 return 4 astore_1 5 jsr 10 8 aload_1 9 athrow 10 astore_2 11 ret 2 Exception table: from to target type 0 4 4 any >How-To-Repeat: gcj A.class >Fix: >Release-Note: >Audit-Trail: >Unformatted: ----gnatsweb-attachment---- Content-Type: application/x-java-vm; name="A.class" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="A.class" yv66vgADAC0ADwoAAwAMBwANBwAOAQAGPGluaXQ+AQADKClWAQAEQ29kZQEAD0xpbmVOdW1iZXJU YWJsZQEABG1haW4BABYoW0xqYXZhL2xhbmcvU3RyaW5nOylWAQAKU291cmNlRmlsZQEABkEuamF2 YQwABAAFAQABQQEAEGphdmEvbGFuZy9PYmplY3QAIQACAAMAAAAAAAIAAQAEAAUAAQAGAAAAHQAB AAEAAAAFKrcAAbEAAAABAAcAAAAGAAEAAAABAAkACAAJAAEABgAAADEAAQADAAAADagACrFMqAAF K79NqQIAAQAAAAQABAAAAAEABwAAAAoAAgAAAAYABAAIAAEACgAAAAIACw==