public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug java/13733] New: internal compiler error: in check_pointer_types_r, at gimplify.c:3460
@ 2004-01-19  1:48 jsturm at gcc dot gnu dot org
  2004-01-19  1:49 ` [Bug java/13733] " jsturm at gcc dot gnu dot org
                   ` (12 more replies)
  0 siblings, 13 replies; 14+ messages in thread
From: jsturm at gcc dot gnu dot org @ 2004-01-19  1:48 UTC (permalink / raw)
  To: gcc-bugs

Compile the attached test case with gcj from tree-ssa.

-- 
           Summary: internal compiler error: in check_pointer_types_r, at
                    gimplify.c:3460
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: java
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jsturm at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
  GCC host triplet: i686-pc-linux-gnu


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 ` 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
end of thread, other threads:[~2004-01-23  1:45 UTC | newest]

Thread overview: 14+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
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
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
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
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

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