Re: java/2423: false reporting of "Final variable initialization error" in constructor

Re: java/2423: false reporting of "Final variable initialization error" in constructor

[bryce]

Synopsis: false reporting of "Final variable initialization error" in constructor

State-Changed-From-To: feedback->closed
State-Changed-By: bryce
State-Changed-When: Sun Jan 20 17:31:01 2002
State-Changed-Why:
    Fixed for GCC 3.1.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=2423

Re: java/2423: false reporting of "Final variable initialization error" in constructor

[tromey]

The following reply was made to PR java/2423; it has been noted by GNATS.

From: tromey@gcc.gnu.org
To: gcc-bugs@gcc.gnu.org, gcc-gnats@gcc.gnu.org, gcc-prs@gcc.gnu.org,
  java-prs@gcc.gnu.org, nobody@gcc.gnu.org, sdlee@csis.hku.hk,
  tromey@gcc.gnu.org
Cc:  
Subject: Re: java/2423: false reporting of "Final variable initialization error" in constructor
Date: 10 Dec 2001 18:21:38 -0000

 Synopsis: false reporting of "Final variable initialization error" in constructor
 
 Responsible-Changed-From-To: unassigned->tromey
 Responsible-Changed-By: tromey
 Responsible-Changed-When: Mon Dec 10 10:21:38 2001
 Responsible-Changed-Why:
     I'm handling the PR.
 State-Changed-From-To: open->feedback
 State-Changed-By: tromey
 State-Changed-When: Mon Dec 10 10:21:38 2001
 State-Changed-Why:
     I believe this is fixed on the current cvs trunk.
     Can you try it and see?
     If not, please tell me and I will simply close the PR.
     Thanks.
 
 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&pr=2423&database=gcc

Re: java/2423: false reporting of "Final variable initialization error" in constructor

[tromey]

Synopsis: false reporting of "Final variable initialization error" in constructor

Responsible-Changed-From-To: unassigned->tromey
Responsible-Changed-By: tromey
Responsible-Changed-When: Mon Dec 10 10:21:38 2001
Responsible-Changed-Why:
    I'm handling the PR.
State-Changed-From-To: open->feedback
State-Changed-By: tromey
State-Changed-When: Mon Dec 10 10:21:38 2001
State-Changed-Why:
    I believe this is fixed on the current cvs trunk.
    Can you try it and see?
    If not, please tell me and I will simply close the PR.
    Thanks.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&pr=2423&database=gcc

java/2423: false reporting of "Final variable initialization error" in constructor

[sdlee]

>Number:         2423
>Category:       java
>Synopsis:       false reporting of "Final variable initialization error" in constructor
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          rejects-legal
>Submitter-Id:   net
>Arrival-Date:   Thu Mar 29 19:36:01 PST 2001
>Closed-Date:
>Last-Modified:
>Originator:     sdlee@csis.hku.hk
>Release:        gcc-20010320 snapshot
>Organization:
>Environment:
bash$ ~/y/bin/gcj -dumpmachine
i686-pc-linux-gnu
bash$ ~/y/bin/gcj -dumpversion
3.0
>Description:
Sun's javac (JDK version 1.3 for Linux/x86) and
IBM's jikes (Version 1.11, 10 Jan 2000)
both accept a constructor that contains
an execution path that does not initialize
all final variables, but exits by throwing an exception.
'gcj' does not accept it.  The behaviour is the same whether
the thrown exception is checked or unchecked (or is an Error
rather than an Exception).

Compiling such a class with jikes and javac and then
compiling the resulting .class file with gcj results
in a native binary executable that seems to work correctly,
though.
>How-To-Repeat:
public class A {
    public static void main(String[] a) {
	new A().go();
    }

    private final boolean b;

    private A() {
	//b = true; // without this line, GCJ chokes!
	throw new RuntimeException("Haha");
    }

    private void go() {
	System.out.println("Hello!");
    }
}
>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: