From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 13098 invoked by alias); 14 Feb 2002 17:52:20 -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 13011 invoked by uid 61); 14 Feb 2002 17:52:17 -0000 Date: Thu, 14 Feb 2002 09:52:00 -0000 Message-ID: <20020214175217.13010.qmail@sources.redhat.com> To: gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, java-prs@gcc.gnu.org, nobody@gcc.gnu.org, toddastock@yahoo.com, tromey@gcc.gnu.org From: tromey@gcc.gnu.org Reply-To: tromey@gcc.gnu.org, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, java-prs@gcc.gnu.org, nobody@gcc.gnu.org, toddastock@yahoo.com, tromey@gcc.gnu.org, gcc-gnats@gcc.gnu.org X-Mailer: gnatsweb 2.9.3 Subject: Re: libgcj/5670: verify.cc not properly merging states X-SW-Source: 2002-02/txt/msg00343.txt.bz2 List-Id: Synopsis: verify.cc not properly merging states Responsible-Changed-From-To: unassigned->tromey Responsible-Changed-By: tromey Responsible-Changed-When: Thu Feb 14 09:52:16 2002 Responsible-Changed-Why: I'm handling this. State-Changed-From-To: open->closed State-Changed-By: tromey State-Changed-When: Thu Feb 14 09:52:16 2002 State-Changed-Why: I've checked in the patch. Thanks. I've also noticed another bug in this area which I intend to fix soon. http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=5670