From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 21005 invoked by alias); 12 Aug 2002 23:36:01 -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 20987 invoked by uid 71); 12 Aug 2002 23:36:01 -0000 Date: Mon, 12 Aug 2002 16:43:00 -0000 Message-ID: <20020812233601.20986.qmail@sources.redhat.com> To: nobody@gcc.gnu.org Cc: gcc-prs@gcc.gnu.org, From: Tom Tromey Subject: Re: java/7482: gij verify error Reply-To: Tom Tromey X-SW-Source: 2002-08/txt/msg00238.txt.bz2 List-Id: The following reply was made to PR java/7482; it has been noted by GNATS. From: Tom Tromey To: Cc: gcc-gnats@gcc.gnu.org Subject: Re: java/7482: gij verify error Date: 12 Aug 2002 17:38:18 -0600 >>>>> "jmr" == jmr writes: jmr> The gij verifier erroneously gives an error when run on the class jmr> file resulting from the following code: I've investigated this. It is definitely a bug in the verifier. The problem is that after merging we see Object on the stack -- but this isn't compatible with the return value of the method. This is due to a limitation in how we represent the type of items on the stack. One fix would be to adopt a workaround in the verifier's handling of areturn similar to that used in invokeinterface. This fix would require adding a runtime check to the interpreter. Another choice would be to change the verifier's internal representation of types and merging. Tom