public inbox for java-prs@sourceware.org help / color / mirror / Atom feed
* [Bug java/15650] New: Binary Compatibility: definite assignment checking is broken for static fields
@ 2004-05-25 15:48 aph at gcc dot gnu dot org
2004-05-25 15:51 ` [Bug java/15650] " aph at gcc dot gnu dot org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: aph at gcc dot gnu dot org @ 2004-05-25 15:48 UTC (permalink / raw)
To: java-prs
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
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug java/15650] Binary Compatibility: definite assignment checking is broken for static fields 2004-05-25 15:48 [Bug java/15650] New: Binary Compatibility: definite assignment checking is broken for static fields aph at gcc dot gnu dot org @ 2004-05-25 15:51 ` aph at gcc dot gnu dot org 2004-05-25 22:09 ` pinskia at gcc dot gnu dot org ` (3 subsequent siblings) 4 siblings, 0 replies; 6+ messages in thread From: aph at gcc dot gnu dot org @ 2004-05-25 15:51 UTC (permalink / raw) To: java-prs -- What |Removed |Added ---------------------------------------------------------------------------- OtherBugsDependingO| |12725 nThis| | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15650 ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug java/15650] Binary Compatibility: definite assignment checking is broken for static fields 2004-05-25 15:48 [Bug java/15650] New: Binary Compatibility: definite assignment checking is broken for static fields aph at gcc dot gnu dot org 2004-05-25 15:51 ` [Bug java/15650] " aph at gcc dot gnu dot org @ 2004-05-25 22:09 ` pinskia at gcc dot gnu dot org 2004-06-21 12:59 ` [Bug java/15650] [BC]: " pinskia at gcc dot gnu dot org ` (2 subsequent siblings) 4 siblings, 0 replies; 6+ messages in thread From: pinskia at gcc dot gnu dot org @ 2004-05-25 22:09 UTC (permalink / raw) To: java-prs -- What |Removed |Added ---------------------------------------------------------------------------- Keywords| |rejects-valid http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15650 ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug java/15650] [BC]: definite assignment checking is broken for static fields 2004-05-25 15:48 [Bug java/15650] New: Binary Compatibility: definite assignment checking is broken for static fields aph at gcc dot gnu dot org 2004-05-25 15:51 ` [Bug java/15650] " aph at gcc dot gnu dot org 2004-05-25 22:09 ` pinskia at gcc dot gnu dot org @ 2004-06-21 12:59 ` pinskia at gcc dot gnu dot org 2004-07-21 16:19 ` aph at gcc dot gnu dot org 2004-12-01 3:14 ` pinskia at gcc dot gnu dot org 4 siblings, 0 replies; 6+ messages in thread From: pinskia at gcc dot gnu dot org @ 2004-06-21 12:59 UTC (permalink / raw) To: java-prs ------- Additional Comments From pinskia at gcc dot gnu dot org 2004-06-20 06:59 ------- Confirmed. -- What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Ever Confirmed| |1 Last reconfirmed|0000-00-00 00:00:00 |2004-06-20 06:59:20 date| | Summary|Binary Compatibility: |[BC]: definite assignment |definite assignment checking|checking is broken for |is broken for static fields |static fields http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15650 ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug java/15650] [BC]: definite assignment checking is broken for static fields 2004-05-25 15:48 [Bug java/15650] New: Binary Compatibility: definite assignment checking is broken for static fields aph at gcc dot gnu dot org ` (2 preceding siblings ...) 2004-06-21 12:59 ` [Bug java/15650] [BC]: " pinskia at gcc dot gnu dot org @ 2004-07-21 16:19 ` aph at gcc dot gnu dot org 2004-12-01 3:14 ` pinskia at gcc dot gnu dot org 4 siblings, 0 replies; 6+ messages in thread From: aph at gcc dot gnu dot org @ 2004-07-21 16:19 UTC (permalink / raw) To: java-prs ------- Additional Comments From aph at gcc dot gnu dot org 2004-07-21 16:19 ------- Fixed on gcj-abi-2-dev-branch by 2004-06-22 Andrew Haley <aph@redhat.com> * class.c (gen_indirect_dispatch_tables): Set the DECL_OWNER of the otable. * check-init.c (get_variable_decl): Teach check-init about FIELD_DECLs addressed via the otable. * jcf-parse.c (load_class): Check CLASS_LOADED_P, not CLASS_PARSED_P. -- What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15650 ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug java/15650] [BC]: definite assignment checking is broken for static fields 2004-05-25 15:48 [Bug java/15650] New: Binary Compatibility: definite assignment checking is broken for static fields aph at gcc dot gnu dot org ` (3 preceding siblings ...) 2004-07-21 16:19 ` aph at gcc dot gnu dot org @ 2004-12-01 3:14 ` pinskia at gcc dot gnu dot org 4 siblings, 0 replies; 6+ messages in thread From: pinskia at gcc dot gnu dot org @ 2004-12-01 3:14 UTC (permalink / raw) To: java-prs ------- Additional Comments From pinskia at gcc dot gnu dot org 2004-12-01 03:14 ------- Fixed on the mainline by merge of the BC branch. -- What |Removed |Added ---------------------------------------------------------------------------- Target Milestone|--- |4.0.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15650 ^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2004-12-01 3:14 UTC | newest] Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2004-05-25 15:48 [Bug java/15650] New: Binary Compatibility: definite assignment checking is broken for static fields aph at gcc dot gnu dot org 2004-05-25 15:51 ` [Bug java/15650] " aph at gcc dot gnu dot org 2004-05-25 22:09 ` pinskia at gcc dot gnu dot org 2004-06-21 12:59 ` [Bug java/15650] [BC]: " pinskia at gcc dot gnu dot org 2004-07-21 16:19 ` aph at gcc dot gnu dot org 2004-12-01 3:14 ` pinskia at gcc dot gnu dot org
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).