[Bug libgcj/27104] New: definite assingment bug in GCJ

[Bug libgcj/27104] New: definite assingment bug in GCJ

[vnasardinov at gmail dot com]

All of the compiler versions are the same as in bug 27101.

Sun's compiler:

| $ javac UnwelcomeGuest.java 
| UnwelcomeGuest.java:9: variable USER_ID might already have been assigned
|             USER_ID = GUEST_USER_ID;
|             ^
| 1 error

The Eclipse compiler:

| $ ecj UnwelcomeGuest.java 
| ----------
| 1. ERROR in UnwelcomeGuest.java
|  (at line 9)
|       USER_ID = GUEST_USER_ID;
|       ^^^^^^^
| The final field USER_ID may already have been assigned
| ----------
| 1 problem (1 error)

GCJ:

| $ gcj -C UnwelcomeGuest.java 
| $ echo $?
| 0

Will attach the test case momentarily.


-- 
           Summary: definite assingment bug in GCJ
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: libgcj
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: vnasardinov at gmail dot com


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27104

[Bug libgcj/27104] definite assingment bug in GCJ

[vnasardinov at gmail dot com]

------- Comment #1 from vnasardinov at gmail dot com  2006-04-10 19:02 -------
Created an attachment (id=11237)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11237&action=view)
the test case 

This comes from http://www.javapuzzlers.com/java-puzzlers.zip with minor
modifications.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27104

[Bug java/27104] static final variable not being tracked as being set correctly

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-04-10 19:04 -------
And I already filed this once before too :).

Anyways this is a dup of bug 24835.

*** This bug has been marked as a duplicate of 24835 ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
          Component|libgcj                      |java
           Keywords|                            |accepts-invalid
         Resolution|                            |DUPLICATE
            Summary|definite assingment bug in  |static final variable not
                   |GCJ                         |being tracked as being set
                   |                            |correctly


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27104

[Bug java/27104] static final variable not being tracked as being set correctly

[vnasardinov at gmail dot com]

------- Comment #3 from vnasardinov at gmail dot com  2006-04-10 19:15 -------
Thanks.  It would help to have the words "definite assignment"
and/or "definitely unassigned" and/or
http://java.sun.com/docs/books/jls/third_edition/html/defAssign.html
somewhere in the summary or comments, so people can find it
before filing duplicates.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27104