From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 19836 invoked by alias); 18 Feb 2005 14:52:27 -0000 Mailing-List: contact java-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Subscribe: List-Archive: List-Post: List-Help: , Sender: java-prs-owner@gcc.gnu.org Received: (qmail 19812 invoked by uid 48); 18 Feb 2005 14:52:26 -0000 Date: Fri, 18 Feb 2005 16:49:00 -0000 From: "bonniot at users dot sf dot net" To: java-prs@gcc.gnu.org Message-ID: <20050218145225.20056.bonniot@users.sf.net> Reply-To: gcc-bugzilla@gcc.gnu.org Subject: [Bug java/20056] New: [4.0 regression] 'verification failed: incompatible type on stack' with --indirect-dispatch X-Bugzilla-Reason: CC X-SW-Source: 2005-q1/txt/msg00431.txt.bz2 List-Id: The testcase is a tiny bytecode class. gcj 3.3 and 3.4 can compile it, and the bcel verifier says it is valid. However, gcj 4.0.0 fails on it when --indirect-dispatch is enabled: $ /usr/lib/gcc-snapshot/bin/gcj --indirect-dispatch test/ACatch.class test/main.nice: In class 'test.ACatch': test/main.nice: In constructor '(test.Monotype)': test/main.nice:1: error: verification failed: incompatible type on stack -- Summary: [4.0 regression] 'verification failed: incompatible type on stack' with --indirect-dispatch Product: gcc Version: 4.0.0 Status: UNCONFIRMED Severity: normal Priority: P2 Component: java AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: bonniot at users dot sf dot net CC: gcc-bugs at gcc dot gnu dot org,java-prs at gcc dot gnu dot org GCC host triplet: i386-debian-linux-gnu http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20056