* [Bug java/13733] internal compiler error: in check_pointer_types_r, at gimplify.c:3460
2004-01-19 1:48 [Bug java/13733] New: internal compiler error: in check_pointer_types_r, at gimplify.c:3460 jsturm at gcc dot gnu dot org
@ 2004-01-19 1:49 ` jsturm at gcc dot gnu dot org
2004-01-19 1:57 ` jsturm at gcc dot gnu dot org
` (11 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: jsturm at gcc dot gnu dot org @ 2004-01-19 1:49 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From jsturm at gcc dot gnu dot org 2004-01-19 01:49 -------
Created an attachment (id=5518)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=5518&action=view)
test case
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13733
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug java/13733] internal compiler error: in check_pointer_types_r, at gimplify.c:3460
2004-01-19 1:48 [Bug java/13733] New: internal compiler error: in check_pointer_types_r, at gimplify.c:3460 jsturm at gcc dot gnu dot org
2004-01-19 1:49 ` [Bug java/13733] " jsturm at gcc dot gnu dot org
@ 2004-01-19 1:57 ` jsturm at gcc dot gnu dot org
2004-01-19 3:38 ` pinskia at gcc dot gnu dot org
` (10 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: jsturm at gcc dot gnu dot org @ 2004-01-19 1:57 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |ice-on-valid-code
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13733
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug java/13733] internal compiler error: in check_pointer_types_r, at gimplify.c:3460
2004-01-19 1:48 [Bug java/13733] New: internal compiler error: in check_pointer_types_r, at gimplify.c:3460 jsturm at gcc dot gnu dot org
2004-01-19 1:49 ` [Bug java/13733] " jsturm at gcc dot gnu dot org
2004-01-19 1:57 ` jsturm at gcc dot gnu dot org
@ 2004-01-19 3:38 ` pinskia at gcc dot gnu dot org
2004-01-19 3:41 ` [Bug java/13733] [tree-ssa] " pinskia at gcc dot gnu dot org
` (9 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-01-19 3:38 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-01-19 03:38 -------
The java front-end is not converting the trees to gimple right.
--
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |tree-ssa
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13733
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug java/13733] [tree-ssa] internal compiler error: in check_pointer_types_r, at gimplify.c:3460
2004-01-19 1:48 [Bug java/13733] New: internal compiler error: in check_pointer_types_r, at gimplify.c:3460 jsturm at gcc dot gnu dot org
` (2 preceding siblings ...)
2004-01-19 3:38 ` pinskia at gcc dot gnu dot org
@ 2004-01-19 3:41 ` pinskia at gcc dot gnu dot org
2004-01-19 5:45 ` jsturm at gcc dot gnu dot org
` (8 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-01-19 3:41 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Summary|internal compiler error: in |[tree-ssa] internal compiler
|check_pointer_types_r, at |error: in
|gimplify.c:3460 |check_pointer_types_r, at
| |gimplify.c:3460
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13733
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug java/13733] [tree-ssa] internal compiler error: in check_pointer_types_r, at gimplify.c:3460
2004-01-19 1:48 [Bug java/13733] New: internal compiler error: in check_pointer_types_r, at gimplify.c:3460 jsturm at gcc dot gnu dot org
` (3 preceding siblings ...)
2004-01-19 3:41 ` [Bug java/13733] [tree-ssa] " pinskia at gcc dot gnu dot org
@ 2004-01-19 5:45 ` jsturm at gcc dot gnu dot org
2004-01-20 3:48 ` pinskia at gcc dot gnu dot org
` (7 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: jsturm at gcc dot gnu dot org @ 2004-01-19 5:45 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From jsturm at gcc dot gnu dot org 2004-01-19 05:45 -------
(In reply to comment #2)
> The java front-end is not converting the trees to gimple right.
That's not precisely correct since java isn't responsible for conversion to
gimple, aside from a few minor langhooks. Either the generic trees produced are
wrong or the gimplifier is misbehaving somewhere.
After compiling the statement
if ((result = this.member).binding == arg)
to generic, the nested MODIFY_EXPR has type (DerivedBug *). The gimplifier
reduces the above to:
struct DerivedBug * T.1;
struct java.lang.Object * T.2;
struct Bug * result;
T.1 = this->member;
result = T.1;
T.2 = result->binding; <---
if (T.2 == arg)
note that the INDIRECT_REF now has "result" as its operand. This operand
substitution is legal provided the operands have the same type, but they do not.
IMO the INDIRECT_REF should have been gimplified into
T.2 = T.1->binding;
with no need for type conversion, since T.1 is equivalent to the result of the
original MODIFY_EXPR.
--
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|tree-ssa |---
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13733
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug java/13733] [tree-ssa] internal compiler error: in check_pointer_types_r, at gimplify.c:3460
2004-01-19 1:48 [Bug java/13733] New: internal compiler error: in check_pointer_types_r, at gimplify.c:3460 jsturm at gcc dot gnu dot org
` (4 preceding siblings ...)
2004-01-19 5:45 ` jsturm at gcc dot gnu dot org
@ 2004-01-20 3:48 ` pinskia at gcc dot gnu dot org
2004-01-21 1:03 ` jsturm at gcc dot gnu dot org
` (6 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-01-20 3:48 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |tree-ssa
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13733
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug java/13733] [tree-ssa] internal compiler error: in check_pointer_types_r, at gimplify.c:3460
2004-01-19 1:48 [Bug java/13733] New: internal compiler error: in check_pointer_types_r, at gimplify.c:3460 jsturm at gcc dot gnu dot org
` (5 preceding siblings ...)
2004-01-20 3:48 ` pinskia at gcc dot gnu dot org
@ 2004-01-21 1:03 ` jsturm at gcc dot gnu dot org
2004-01-21 2:31 ` [Bug java/13733] The result of an assignment operator is the LHS after assignment, not the RHS giovannibajo at libero dot it
` (5 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: jsturm at gcc dot gnu dot org @ 2004-01-21 1:03 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From jsturm at gcc dot gnu dot org 2004-01-21 01:02 -------
Please disregard my last post. The gimplifier gets this right after all, and
the Java frontend is wrong, even on mainline.
This isn't really a tree-ssa bug, it's a latent gcj bug exposed by tree-ssa.
According to JLS 15.26, the result of an assignment operator is the LHS after
assignment, not the RHS.
The following class does not compile with javac or jikes, although it is
(incorrectly) compiled by all versions of gcj I tried:
class Bug2 {
String str;
Object obj;
void reveal(String arg) {
str = (obj = arg);
}
}
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13733
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug java/13733] The result of an assignment operator is the LHS after assignment, not the RHS
2004-01-19 1:48 [Bug java/13733] New: internal compiler error: in check_pointer_types_r, at gimplify.c:3460 jsturm at gcc dot gnu dot org
` (6 preceding siblings ...)
2004-01-21 1:03 ` jsturm at gcc dot gnu dot org
@ 2004-01-21 2:31 ` giovannibajo at libero dot it
2004-01-22 23:45 ` cvs-commit at gcc dot gnu dot org
` (4 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: giovannibajo at libero dot it @ 2004-01-21 2:31 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From giovannibajo at libero dot it 2004-01-21 02:31 -------
Confirmed by Jeff. Not a regression nor a tree-ssa issue, so I'm resetting the
milestone.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Keywords|ice-on-valid-code |rejects-valid
Last reconfirmed|0000-00-00 00:00:00 |2004-01-21 02:31:02
date| |
Summary|[tree-ssa] internal compiler|The result of an assignment
|error: in |operator is the LHS after
|check_pointer_types_r, at |assignment, not the RHS
|gimplify.c:3460 |
Target Milestone|tree-ssa |---
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13733
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug java/13733] The result of an assignment operator is the LHS after assignment, not the RHS
2004-01-19 1:48 [Bug java/13733] New: internal compiler error: in check_pointer_types_r, at gimplify.c:3460 jsturm at gcc dot gnu dot org
` (7 preceding siblings ...)
2004-01-21 2:31 ` [Bug java/13733] The result of an assignment operator is the LHS after assignment, not the RHS giovannibajo at libero dot it
@ 2004-01-22 23:45 ` cvs-commit at gcc dot gnu dot org
2004-01-23 0:21 ` cvs-commit at gcc dot gnu dot org
` (3 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2004-01-22 23:45 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2004-01-22 23:45 -------
Subject: Bug 13733
CVSROOT: /cvs/gcc
Module name: gcc
Changes by: jsturm@gcc.gnu.org 2004-01-22 23:45:11
Modified files:
gcc/java : ChangeLog parse.y
Log message:
PR java/13733
* parse.y (patch_assignment): Don't modify lhs_type for
reference assignments.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/java/ChangeLog.diff?cvsroot=gcc&r1=1.1318&r2=1.1319
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/java/parse.y.diff?cvsroot=gcc&r1=1.464&r2=1.465
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13733
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug java/13733] The result of an assignment operator is the LHS after assignment, not the RHS
2004-01-19 1:48 [Bug java/13733] New: internal compiler error: in check_pointer_types_r, at gimplify.c:3460 jsturm at gcc dot gnu dot org
` (8 preceding siblings ...)
2004-01-22 23:45 ` cvs-commit at gcc dot gnu dot org
@ 2004-01-23 0:21 ` cvs-commit at gcc dot gnu dot org
2004-01-23 1:41 ` jsturm at gcc dot gnu dot org
` (2 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2004-01-23 0:21 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2004-01-23 00:21 -------
Subject: Bug 13733
CVSROOT: /cvs/gcc
Module name: gcc
Changes by: jsturm@gcc.gnu.org 2004-01-23 00:21:05
Added files:
libjava/testsuite: ChangeLog
libjava/testsuite/libjava.compile: PR13733.java PR13733.xfail
Log message:
PR java/13733
* libjava.compile/PR13733.java: New file.
* libjava.compile/PR13733.xfail: New file.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libjava/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.311&r2=1.312
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libjava/testsuite/libjava.compile/PR13733.java.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libjava/testsuite/libjava.compile/PR13733.xfail.diff?cvsroot=gcc&r1=NONE&r2=1.1
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13733
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug java/13733] The result of an assignment operator is the LHS after assignment, not the RHS
2004-01-19 1:48 [Bug java/13733] New: internal compiler error: in check_pointer_types_r, at gimplify.c:3460 jsturm at gcc dot gnu dot org
` (9 preceding siblings ...)
2004-01-23 0:21 ` cvs-commit at gcc dot gnu dot org
@ 2004-01-23 1:41 ` jsturm at gcc dot gnu dot org
2004-01-23 1:43 ` pinskia at gcc dot gnu dot org
2004-01-23 1:45 ` pinskia at gcc dot gnu dot org
12 siblings, 0 replies; 14+ messages in thread
From: jsturm at gcc dot gnu dot org @ 2004-01-23 1:41 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From jsturm at gcc dot gnu dot org 2004-01-23 01:41 -------
Patch approved by aph.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13733
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug java/13733] The result of an assignment operator is the LHS after assignment, not the RHS
2004-01-19 1:48 [Bug java/13733] New: internal compiler error: in check_pointer_types_r, at gimplify.c:3460 jsturm at gcc dot gnu dot org
` (10 preceding siblings ...)
2004-01-23 1:41 ` jsturm at gcc dot gnu dot org
@ 2004-01-23 1:43 ` pinskia at gcc dot gnu dot org
2004-01-23 1:45 ` pinskia at gcc dot gnu dot org
12 siblings, 0 replies; 14+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-01-23 1:43 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |3.4.0
Version|tree-ssa |3.4.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13733
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug java/13733] The result of an assignment operator is the LHS after assignment, not the RHS
2004-01-19 1:48 [Bug java/13733] New: internal compiler error: in check_pointer_types_r, at gimplify.c:3460 jsturm at gcc dot gnu dot org
` (11 preceding siblings ...)
2004-01-23 1:43 ` pinskia at gcc dot gnu dot org
@ 2004-01-23 1:45 ` pinskia at gcc dot gnu dot org
12 siblings, 0 replies; 14+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-01-23 1:45 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|3.4.0 |3.5.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13733
^ permalink raw reply [flat|nested] 14+ messages in thread