From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 11160 invoked by alias); 13 Feb 2002 17:16:13 -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 11076 invoked by uid 71); 13 Feb 2002 17:16:05 -0000 Date: Wed, 13 Feb 2002 09:16:00 -0000 Message-ID: <20020213171605.11051.qmail@sources.redhat.com> To: tromey@gcc.gnu.org Cc: gcc-prs@gcc.gnu.org, From: Tom Tromey Subject: Re: libgcj/5671: verify.cc problem merging local variables Reply-To: Tom Tromey X-SW-Source: 2002-02/txt/msg00313.txt.bz2 List-Id: The following reply was made to PR libgcj/5671; it has been noted by GNATS. From: Tom Tromey To: toddastock@yahoo.com Cc: gcc-gnats@gcc.gnu.org Subject: Re: libgcj/5671: verify.cc problem merging local variables Date: 13 Feb 2002 10:34:02 -0700 >>>>> "Todd" == Todd Stock writes: Todd> Number: 5671 Todd> Synopsis: verify.cc problem merging local variables Todd> During the merging of the local variables if the previous Todd> variable is an interface then running through the superclasses Todd> leads you directly to NULL eventually thus causing a Todd> segmentation fault. Thanks for the report and the test case. I've converted the latter into a Mauve verifier regression test and checked it in. I'm also checking in a slightly modified version of your patch. I think after the loop, if `k == NULL', then the merge result should be Object and not `old_type'. Tom