Re: java/2424: gjc thinks a final variable is reassigned when it is not

Re: java/2424: gjc thinks a final variable is reassigned when it is not

[tromey]

Synopsis: gjc thinks a final variable is reassigned when it is not

Responsible-Changed-From-To: unassigned->tromey
Responsible-Changed-By: tromey
Responsible-Changed-When: Mon Dec 10 10:10:42 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:10:42 2001
State-Changed-Why:
    I believe this is fixed on the cvs trunk.
    I tried your example and it now works for me.
    If you can try this, please do so and report back.
    If you can't try it, that is fine -- but please tell
    me so that I can close the PR.

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

Re: java/2424: gjc thinks a final variable is reassigned when it is not

[tromey]

The following reply was made to PR java/2424; 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, sdlee@csis.hku.hk, tromey@gcc.gnu.org
Cc:  
Subject: Re: java/2424: gjc thinks a final variable is reassigned when it is not
Date: 11 Dec 2001 17:37:05 -0000

 Synopsis: gjc thinks a final variable is reassigned when it is not
 
 State-Changed-From-To: feedback->closed
 State-Changed-By: tromey
 State-Changed-When: Tue Dec 11 09:37:04 2001
 State-Changed-Why:
     Original reporter can't test, and I think it is fixed.
 
 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&pr=2424&database=gcc

Re: java/2424: gjc thinks a final variable is reassigned when it is not

[tromey]

Synopsis: gjc thinks a final variable is reassigned when it is not

State-Changed-From-To: feedback->closed
State-Changed-By: tromey
State-Changed-When: Tue Dec 11 09:37:04 2001
State-Changed-Why:
    Original reporter can't test, and I think it is fixed.

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

Re: java/2424: gjc thinks a final variable is reassigned when it is not

[Sau Dan Lee]

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

From: Sau Dan Lee <danlee@informatik.uni-freiburg.de>
To: tromey@gcc.gnu.org
Cc: gcc-bugs@gcc.gnu.org, gcc-gnats@gcc.gnu.org, gcc-prs@gcc.gnu.org,
        java-prs@gcc.gnu.org, nobody@gcc.gnu.org
Subject: Re: java/2424: gjc thinks a final variable is reassigned when it is not
Date: 11 Dec 2001 12:04:41 +0100

 >>>>> "tromey" =3D=3D tromey  <tromey@gcc.gnu.org> writes:
 
     tromey> State-Changed-Why: I believe this is fixed
     tromey> on the cvs trunk.  I tried your example and it now works
     tromey> for me.  If you can try this, please do so and report
     tromey> back.  If you can't try it, that is fine -- but please
     tromey> tell me so that I can close the PR.
 
 Thanks.   I  cannot test  it  again, as  the  environment  in which  I
 produced the bug report is no longer available.  I'm sorry for that.
 
 
 --=20
 Sau Dan LEE                     =A7=F5=A6u=B4=B0(Big5)                    ~=
 {@nJX6X~}(HZ)=20
 
 E-mail: danlee@informatik.uni-freiburg.de
 Home page: http://www.informatik.uni-freiburg.de/~danlee
 

Re: java/2424: gjc thinks a final variable is reassigned when it is not

[tromey]

The following reply was made to PR java/2424; 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/2424: gjc thinks a final variable is reassigned when it is not
Date: 10 Dec 2001 18:10:43 -0000

 Synopsis: gjc thinks a final variable is reassigned when it is not
 
 Responsible-Changed-From-To: unassigned->tromey
 Responsible-Changed-By: tromey
 Responsible-Changed-When: Mon Dec 10 10:10:42 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:10:42 2001
 State-Changed-Why:
     I believe this is fixed on the cvs trunk.
     I tried your example and it now works for me.
     If you can try this, please do so and report back.
     If you can't try it, that is fine -- but please tell
     me so that I can close the PR.
 
 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&pr=2424&database=gcc

java/2424: gjc thinks a final variable is reassigned when it is not

[sdlee]

>Number:         2424
>Category:       java
>Synopsis:       gjc thinks a final variable is reassigned when it is not
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          rejects-legal
>Submitter-Id:   net
>Arrival-Date:   Thu Mar 29 19:36:04 PST 2001
>Closed-Date:
>Last-Modified:
>Originator:     sdlee@csis.hku.hk
>Release:        gcc-20010320 snapshot
>Organization:
>Environment:
bash$ gcj -dumpversion
3.0
bash$ gcj -dumpmachine
i686-pc-linux-gnu
>Description:
When a final variable is assigned (in a constructor)
via different execution paths, gcj thinks it is being
reassigned.  This behaviour is different from javac and
jikes.
>How-To-Repeat:
public class A {
    public static void main(String[] a) {
	new A(0).go();
	new A(1).go();
    }

    private final boolean b;

    private A(int i) {
	if (i==0)
	    b = false;
	else
	    b = true;
    }

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

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