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).