This is the mail archive of the
java-prs@gcc.gnu.org
mailing list for the Java project.
[Bug java/15650] New: Binary Compatibility: definite assignment checking is broken for static fields
- From: "aph at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: java-prs at gcc dot gnu dot org
- Date: 25 May 2004 15:47:55 -0000
- Subject: [Bug java/15650] New: Binary Compatibility: definite assignment checking is broken for static fields
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
This only happens with the source compiler.
We don't notice that a
final x = 10;
field has been assigned, because the assignment is compiled to
this+*(klass->otable[N]) = 10
so we get error messages:
final_int.java:6: error: final field 'x' may not have been initialized
We need to teach check_init() about the otable.
--
Summary: Binary Compatibility: definite assignment checking is
broken for static fields
Product: gcc
Version: 3.5.0
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: java
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: aph at gcc dot gnu dot org
CC: gcc-bugs at gcc dot gnu dot org,java-prs at gcc dot gnu
dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15650