From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 16337 invoked by alias); 10 Dec 2001 18:25:40 -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 16296 invoked by uid 61); 10 Dec 2001 18:25:39 -0000 Date: Mon, 10 Dec 2001 10:25:00 -0000 Message-ID: <20011210182539.16295.qmail@sources.redhat.com> To: bryce@albatross.co.nz, gcc-bugs@gcc.gnu.org, gcc-gnats@gcc.gnu.org, gcc-prs@gcc.gnu.org, java-prs@gcc.gnu.org, nobody@gcc.gnu.org, tromey@gcc.gnu.org From: tromey@gcc.gnu.org X-Mailer: gnatsweb 2.9.2 Subject: Re: java/2312: Check for initialization of all final fields erronously fails X-SW-Source: 2001-12/txt/msg00575.txt.bz2 List-Id: Synopsis: Check for initialization of all final fields erronously fails Responsible-Changed-From-To: unassigned->tromey Responsible-Changed-By: tromey Responsible-Changed-When: Mon Dec 10 10:25:39 2001 Responsible-Changed-Why: I'm handling the PR. State-Changed-From-To: open->closed State-Changed-By: tromey State-Changed-When: Mon Dec 10 10:25:39 2001 State-Changed-Why: I think Per's recent check-init changes fixed this. The example in the PR now works for me. http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&pr=2312&database=gcc