[Bug bootstrap/12547] New: Libjava-failure with CVS-version on FreeBSD

[Bug bootstrap/12547] New: Libjava-failure with CVS-version on FreeBSD

[lsjoberg at aland dot net]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12547

           Summary: Libjava-failure with CVS-version on FreeBSD
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: bootstrap
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: lsjoberg at aland dot net
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i386-unknown-freebsd4.9
  GCC host triplet: i386-unknown-freebsd4.9
GCC target triplet: i386-unknown-freebsd4.9

My nightly builds have been failing for a while, so I just manually
updated the tree and ran a build with the following ICE as a result.


[linus@hal9000 ~]$ uname -a
FreeBSD hal9000.alcom.aland.fi 4.9-RC FreeBSD 4.9-RC #9: Sat Oct  4 13:48:12 
EEST 2003
root@hal9000.alcom.aland.fi:/usr/obj/usr/src/sys/HAL  i386
[linus@hal9000 ~]$ gcc -v
Using builtin specs.
gcc version 2.95.4 20020320 [FreeBSD]
[linus@hal9000 ~]$ 



/stuff/gcc.obj/gcc/gcj -B/stuff/gcc.obj/i386-unknown-freebsd4.9/libjava/ 
-B/stuff/gcc.obj/gcc/ --encoding=UTF-8 -Wno-deprecated -fclasspath= 
-fbootclasspath=/stuff/gcc.obj/i386-unknown-freebsd4.9/libjava -ffloat-store -g 
-O2 -MD -MT java/lang/Runnable.lo -MF java/lang/Runnable.d -c ../../..
/gcc/libjava/java/lang/Runnable.java -o java/lang/Runnable.o >/dev/null 2>&1
/bin/sh ./libtool --tag=GCJ --mode=compile /stuff/gcc.obj/gcc/gcj -B/stuff/gcc.
obj/i386-unknown-freebsd4.9/libjava/ -B/stuff/gcc.obj/gcc/ --encoding=UTF-8 
-Wno-deprecated -fclasspath= -fbootclasspath=/stuff/gcc.
obj/i386-unknown-freebsd4.9/libjava -ffloat-store -g -O2 -MD -MT 
java/lang/Runtime.lo -MF java/lang/Runtime.d -c -o java/lang/Runtime.lo ../../..
/gcc/libjava/java/lang/Runtime.java
/stuff/gcc.obj/gcc/gcj -B/stuff/gcc.obj/i386-unknown-freebsd4.9/libjava/ 
-B/stuff/gcc.obj/gcc/ --encoding=UTF-8 -Wno-deprecated -fclasspath= 
-fbootclasspath=/stuff/gcc.obj/i386-unknown-freebsd4.9/libjava -ffloat-store -g 
-O2 -MD -MT java/lang/Runtime.lo -MF java/lang/Runtime.d -c ../../..
/gcc/libjava/java/lang/Runtime.java -fPIC -o java/lang/.libs/Runtime.o
gimplification failed:
if (cmd.293 == 0B)
  {
    _Jv_ThrowNullPointerException ()
  }
else
  {
    iftmp.292 = cmd.293
  } <cond_expr 0x2864a280
    type <void_type 0x28543c3c void asm_written VOID
        align 1 symtab 0 alias set 29
        pointer_to_this <pointer_type 0x28543d24> chain <type_decl 0x28543cb0 
void>>
    side-effects
    arg 0 <eq_expr 0x28649520
        type <boolean_type 0x28543f68 boolean unsigned asm_written QI
            size <integer_cst 0x285416a8 constant 8>
            unit size <integer_cst 0x285414e0 constant 1>
            align 8 symtab 677810256 alias set 28 precision 1 min <integer_cst 
0x28541768 0> max <integer_cst 0x28541780 1>
            chain <type_decl 0x28548000 boolean>>
       
        arg 0 <var_decl 0x289052b8 cmd.293 type <pointer_type 0x285ad89c>
            unsigned used ignored SI file ../../..
/gcc/libjava/java/lang/Runtime.java line 680
            size <integer_cst 0x285414f8 constant 32>
            unit size <integer_cst 0x28541558 constant 4>
            align 32 context <function_decl 0x2857a6cc exec> chain <var_decl 
0x28905244 iftmp.292>>
        arg 1 <integer_cst 0x285416f0 constant 0>>
    arg 1 <call_expr 0x28649500 type <void_type 0x28543c3c void>
        side-effects
        arg 0 <addr_expr 0x286494e0 type <pointer_type 0x2860e2b8>
            side-effects arg 0 <function_decl 0x2854fc3c 
_Jv_ThrowNullPointerException>>
        ../../../gcc/libjava/java/lang/Runtime.java:680>
    arg 2 <modify_expr 0x28902660 type <void_type 0x28543c3c void>
        side-effects
        arg 0 <var_decl 0x28905244 iftmp.292 type <pointer_type 0x285ad89c>
            unsigned used ignored SI file ../../..
/gcc/libjava/java/lang/Runtime.java line 680 size <integer_cst 0x285414f8 32> 
unit size <integer_cst 0x2854155
8 4>
            align 32 context <function_decl 0x2857a6cc exec> chain <var_decl 
0x289051d0 T.291>> arg 1 <var_decl 0x289052b8 cmd.293>
        ../../../gcc/libjava/java/lang/Runtime.java:680>
    ../../../gcc/libjava/java/lang/Runtime.java:680>
../../../gcc/libjava/java/lang/Runtime.java: In class `java.lang.Runtime':
../../../gcc/libjava/java/lang/Runtime.java: In method `java.lang.Runtime.exec(j
ava.lang.String,java.lang.String[],java.io.File)':
../../../gcc/libjava/java/lang/Runtime.java:680: internal compiler error: in 
gimplify_expr, at gimplify.c:756
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
gmake[2]: *** [java/lang/Runtime.lo] Fel 1
gmake[2]: Leaving directory `/stuff/gcc.obj/i386-unknown-freebsd4.9/libjava'
gmake[1]: *** [all-recursive] Fel 1
gmake[1]: Leaving directory `/stuff/gcc.obj/i386-unknown-freebsd4.9/libjava'
gmake: *** [all-target-libjava] Fel 2

[Bug optimization/12547] [tree-ssa] Libjava-failure with CVS-version on FreeBSD

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12547


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |critical
          Component|bootstrap                   |optimization
           Keywords|                            |ice-on-valid-code
            Summary|Libjava-failure with CVS-   |[tree-ssa] Libjava-failure
                   |version on FreeBSD          |with CVS-version on FreeBSD
   Target Milestone|---                         |tree-ssa

[Bug optimization/12547] [tree-ssa] Libjava-failure with CVS-version on FreeBSD

[dnovillo at redhat dot com]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12547



------- Additional Comments From dnovillo at redhat dot com  2003-10-09 19:37 -------
Subject: Re: 

-----Forwarded Message-----
From: Jeff Sturm <jsturm@one-point.com>
To: Diego Novillo <dnovillo@redhat.com>
Cc: Andrew Haley <aph@redhat.com>, gcc-patches@gcc.gnu.org <gcc-patches@gcc.gnu.org>
Subject: Re: [tree-ssa] gimplifier problem in libjava
Date: Thu, 09 Oct 2003 14:53:31 -0400

On Thu, 9 Oct 2003, Diego Novillo wrote:
> The problem is that gimplify_expr is asked to gimplify the inner
> COND_EXPR into a gimple value, which it can't do.

Indeed.  In case anyone is looking at it, here's a reduced test case.
Compile with -fcheck-references:

class Bug {
  void exec(String[] cmd, String str) { cmd[0] = str; }
}

Jeff

[Bug optimization/12547] [tree-ssa] Libjava-failure with CVS-version on FreeBSD

[jsturm at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12547



------- Additional Comments From jsturm at gcc dot gnu dot org  2003-10-09 21:28 -------
This may be a failure of the gimplifier after all.  The Java FE is creating a
tree similar to:

t = (void *) (p ? p : throw e;)

which is getting mangled by gimplify_cond_expr into:

(void *) if (p)
  t = p;
else
  throw e;

i.e. the cast stays with the COND_EXPR which is now void.

This can be easily worked around in gcj, but I don't know how to fix the gimplifier.

[Bug optimization/12547] [tree-ssa] Libjava-failure with CVS-version on FreeBSD

[jsturm at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12547


jsturm at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jsturm at one-point dot com
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2003-10-09 21:29:12
               date|                            |

[Bug optimization/12547] [tree-ssa] simple java code with -fcheck-references causes gimplification failed

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12547


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  GCC build triplet|i386-unknown-freebsd4.9     |
   GCC host triplet|i386-unknown-freebsd4.9     |
 GCC target triplet|i386-unknown-freebsd4.9     |
           Keywords|                            |build
   Last reconfirmed|2003-10-09 21:29:12         |2003-10-18 23:21:13
               date|                            |
            Summary|[tree-ssa] Libjava-failure  |[tree-ssa] simple java code
                   |with CVS-version on FreeBSD |with -fcheck-references
                   |                            |causes gimplification failed


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-10-18 23:21 -------
I also ran into this on powerpc-apple-darwin, resummarizing.

[Bug optimization/12547] [tree-ssa] simple java code with -fcheck-references causes gimplification failed

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12547


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |green at redhat dot com


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-10-20 15:01 -------
*** Bug 12689 has been marked as a duplicate of this bug. ***

[Bug optimization/12547] [tree-ssa] simple java code with -fcheck-references causes gimplification failed

[dnovillo at gcc dot gnu dot org]

------- Additional Comments From dnovillo at gcc dot gnu dot org  2003-11-11 15:22 -------
Jason agreed to take this one.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jason at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12547

[Bug optimization/12547] [tree-ssa] simple java code with -fcheck-references causes gimplification failed

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-11-13 01:25 -------
Subject: Bug 12547

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	jason@gcc.gnu.org	2003-11-13 01:25:25

Modified files:
	gcc/java       : ChangeLog lang.c 

Log message:
	PR optimization/12547
	* lang.c (java_tree_inlining_walk_subtrees): Just walk
	BLOCK_EXPR_BODY directly.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/java/ChangeLog.diff?cvsroot=gcc&r1=1.1289&r2=1.1290
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/java/lang.c.diff?cvsroot=gcc&r1=1.146&r2=1.147



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12547

[Bug optimization/12547] [tree-ssa] simple java code with -fcheck-references causes gimplification failed

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-11-13 01:26 -------
Subject: Bug 12547

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	tree-ssa-20020619-branch
Changes by:	jason@gcc.gnu.org	2003-11-13 01:26:35

Modified files:
	gcc/java       : ChangeLog ChangeLog.tree-ssa lang.c 

Log message:
	PR optimization/12547
	* lang.c (java_tree_inlining_walk_subtrees): Restore.
	(LANG_HOOKS_TREE_INLINING_WALK_SUBTREES): Restore.
	
	* lang.c (java_tree_inlining_walk_subtrees): Just walk
	BLOCK_EXPR_BODY directly.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/java/ChangeLog.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.1019.2.40&r2=1.1019.2.41
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/java/ChangeLog.tree-ssa.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.1.2.24&r2=1.1.2.25
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/java/lang.c.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.103.2.23&r2=1.103.2.24



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12547

[Bug optimization/12547] [tree-ssa] simple java code with -fcheck-references causes gimplification failed

[jason at gcc dot gnu dot org]

------- Additional Comments From jason at gcc dot gnu dot org  2003-11-13 01:30 -------
Fixed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12547

[Bug optimization/12547] [tree-ssa] simple java code with -fcheck-references causes gimplification failed

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-12-28 22:13 -------
Subject: Bug 12547

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	hammer-3_3-branch
Changes by:	rakdver@gcc.gnu.org	2003-12-28 22:13:06

Modified files:
	gcc            : ChangeLog.hammer 
	gcc/java       : lang.c 

Log message:
	Merge from mainline:
	
	2003-11-12  Jason Merrill  <jason@redhat.com>
	
	PR optimization/12547
	* java/lang.c (java_tree_inlining_walk_subtrees): Just walk
	BLOCK_EXPR_BODY directly.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.hammer.diff?cvsroot=gcc&only_with_tag=hammer-3_3-branch&r1=1.1.2.245&r2=1.1.2.246
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/java/lang.c.diff?cvsroot=gcc&only_with_tag=hammer-3_3-branch&r1=1.113.2.4&r2=1.113.2.5



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12547