[Bug bootstrap/17330] New: ICE: verify_ssa failed during c++ code build in libjava

[Bug bootstrap/17330] New: ICE: verify_ssa failed during c++ code build in libjava

[green at redhat dot com]

I believe this regression was introduced in the last 30 hours or so.

/home/green/build/gcj/gcc/xgcc -shared-libgcc -B/home/green/build/gcj/gcc/
-nostdinc++ -L/home/green/build/gcj/i686-pc-linux-gnu/libstdc++-v3/src
-L/home/green/build/gcj/i686-pc-linux-gnu/libstdc++-v3/src/.libs
-B/home/green/install/jhbuild-inst/i686-pc-linux-gnu/bin/
-B/home/green/install/jhbuild-inst/i686-pc-linux-gnu/lib/ -isystem
/home/green/install/jhbuild-inst/i686-pc-linux-gnu/include -isystem
/home/green/install/jhbuild-inst/i686-pc-linux-gnu/sys-include -DHAVE_CONFIG_H
-I. -I/home/green/sources/jhbuild-src/gcc/libjava -I./include -I./gcj
-I/home/green/sources/jhbuild-src/gcc/libjava -Iinclude
-I/home/green/sources/jhbuild-src/gcc/libjava/include
-I/home/green/sources/jhbuild-src/gcc/libjava/../boehm-gc/include
-I../boehm-gc/include -I/home/green/sources/jhbuild-src/gcc/libjava/libltdl
-I/home/green/sources/jhbuild-src/gcc/libjava/libltdl
-I/home/green/sources/jhbuild-src/gcc/libjava/.././libjava/../gcc
-I/home/green/sources/jhbuild-src/gcc/libjava/../zlib
-I/home/green/sources/jhbuild-src/gcc/libjava/../libffi/include
-I../libffi/include -O2 -g -O2 -fno-rtti -fnon-call-exceptions
-fdollars-in-identifiers -Wswitch-enum -D_FILE_OFFSET_BITS=64 -ffloat-store
-fno-omit-frame-pointer -I/usr/X11R6/include -Wextra -Wall -D_GNU_SOURCE
-DPREFIX=\"/home/green/install/jhbuild-inst\"
-DLIBDIR=\"/home/green/install/jhbuild-inst/lib\"
-DBOOT_CLASS_PATH=\"/home/green/install/jhbuild-inst/share/java/libgcj-3.5.0.jar\"
-DJAVA_EXT_DIRS=\"/home/green/install/jhbuild-inst/share/java/ext\" -g -O2
-D_GNU_SOURCE -MT java/io/natFile.lo -MD -MP -MF java/io/.deps/natFile.Tpo -c
java/io/natFile.cc  -fPIC -DPIC -o java/io/.libs/natFile.o
java/io/natFile.cc: In member function `virtual java::lang::String*
java::io::File::getCanonicalPath()':
java/io/natFile.cc:106: error: Definition in block 34 does not dominate use in
block 9
for SSA_NAME: T.1720<D13005>_164
in statement:
T.1732<D13017>_179 = buf<D12334>_27 + T.1720<D13005>_164;
 
java/io/natFile.cc:106: internal compiler error: verify_ssa failed.
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

-- 
           Summary: ICE: verify_ssa failed during c++ code build in libjava
           Product: gcc
           Version: 3.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: bootstrap
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: green at redhat dot com
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug bootstrap/17330] ICE: verify_ssa failed during c++ code build in libjava

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-09-06 14:52 -------
Bootstrapping with -fno-ivopts is a workaround for now.

-- 


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

[Bug bootstrap/17330] ICE: verify_ssa failed during c++ code build in libjava

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-09-06 14:52 -------
Yes, it is caused by Zdenek's ivopts patch (that was not tested on 64bit 
machines because of another bootstrap bug, Devang's). Honza is looking into 
this issue:

http://gcc.gnu.org/ml/gcc-bugs/2004-09/msg00448.html



-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jh at suse dot cz
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|                            |1
           Keywords|                            |build, wrong-code
      Known to fail|                            |3.5.0
   Last reconfirmed|0000-00-00 00:00:00         |2004-09-06 14:52:26
               date|                            |


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

[Bug bootstrap/17330] ICE: verify_ssa failed during c++ code build in libjava

[jh at suse dot cz]

------- Additional Comments From jh at suse dot cz  2004-09-06 15:28 -------
Subject: Re:  ICE: verify_ssa failed during c++ code build in libjava

> 
> ------- Additional Comments From giovannibajo at libero dot it  2004-09-06 14:52 -------
> Yes, it is caused by Zdenek's ivopts patch (that was not tested on 64bit 
> machines because of another bootstrap bug, Devang's). Honza is looking into 
> this issue:
> 
> http://gcc.gnu.org/ml/gcc-bugs/2004-09/msg00448.html

In case there is an interest, this is my current patch.  It fixes 3 out
of 4 problems I know of and I hope to have fix for last one soon so I
can bootstrap and commit them.

Index: loop.c
===================================================================
RCS file: /cvs/gcc/gcc/gcc/loop.c,v
retrieving revision 1.507
diff -c -3 -p -r1.507 loop.c
*** loop.c	25 Aug 2004 08:20:09 -0000	1.507
--- loop.c	6 Sep 2004 15:25:58 -0000
*************** loop_dump_aux (const struct loop *loop, 
*** 10645,10651 ****
  {
    rtx label;
  
!   if (! loop || ! file)
      return;
  
    /* Print diagnostics to compare our concept of a loop with
--- 10645,10651 ----
  {
    rtx label;
  
!   if (! loop || ! file || !BB_HEAD (loop->first))
      return;
  
    /* Print diagnostics to compare our concept of a loop with
Index: tree-ssa-loop-ivopts.c
===================================================================
RCS file: /cvs/gcc/gcc/gcc/tree-ssa-loop-ivopts.c,v
retrieving revision 2.2
diff -c -3 -p -r2.2 tree-ssa-loop-ivopts.c
*** tree-ssa-loop-ivopts.c	5 Sep 2004 15:24:15 -0000	2.2
--- tree-ssa-loop-ivopts.c	6 Sep 2004 15:25:59 -0000
*************** add_standard_iv_candidates (struct ivopt
*** 1561,1575 ****
  {
    /* Add 0 + 1 * iteration candidate.  */
    add_candidate (data,
! 		 fold_convert (unsigned_type_node, integer_zero_node),
!       		 fold_convert (unsigned_type_node, integer_one_node),
  		 true, NULL);
  
!   /* The same for a long type.  */
!   add_candidate (data,
! 		 fold_convert (long_unsigned_type_node, integer_zero_node),
! 		 fold_convert (long_unsigned_type_node, integer_one_node),
! 		 true, NULL);
  }
  
  
--- 1561,1576 ----
  {
    /* Add 0 + 1 * iteration candidate.  */
    add_candidate (data,
! 		 build_int_cst (unsigned_intSI_type_node, 0),
!       		 build_int_cst (unsigned_intSI_type_node, 1),
  		 true, NULL);
  
!   /* The same for a long type if it is still fast enought.  */
!   if (BITS_PER_WORD > 32)
!     add_candidate (data,
! 		   build_int_cst (unsigned_intDI_type_node, 0),
! 		   build_int_cst (unsigned_intDI_type_node, 1),
! 		   true, NULL);
  }
  
  
*************** seq_cost (rtx seq)
*** 1883,1888 ****
--- 1884,1907 ----
    return cost;
  }
  
+ /* Produce DECL_RTL for object obj so it looks like it is stored in memory.  */
+ static rtx
+ produce_memory_decl_rtl (tree obj, int *regno)
+ {
+   rtx x;
+   if (!obj)
+     abort ();
+   if (TREE_STATIC (obj) || DECL_EXTERNAL (obj))
+     {
+       const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (obj));
+       x = gen_rtx_SYMBOL_REF (Pmode, name);
+     }
+   else
+     x = gen_raw_REG (Pmode, (*regno)++);
+ 
+   return gen_rtx_MEM (DECL_MODE (obj), x);
+ }
+ 
  /* Prepares decl_rtl for variables referred in *EXPR_P.  Callback for
     walk_tree.  DATA contains the actual fake register number.  */
  
*************** prepare_decl_rtl (tree *expr_p, int *ws,
*** 1895,1900 ****
--- 1914,1930 ----
  
    switch (TREE_CODE (*expr_p))
      {
+     case ADDR_EXPR:
+       for (expr_p = &TREE_OPERAND (*expr_p, 0);
+ 	   (handled_component_p (*expr_p)
+ 	    || TREE_CODE (*expr_p) == REALPART_EXPR
+ 	    || TREE_CODE (*expr_p) == IMAGPART_EXPR);
+ 	   expr_p = &TREE_OPERAND (*expr_p, 0));
+       obj = *expr_p;
+       if (DECL_P (obj))
+         x = produce_memory_decl_rtl (obj, regno);
+       break;
+ 
      case SSA_NAME:
        *ws = 0;
        obj = SSA_NAME_VAR (*expr_p);
*************** prepare_decl_rtl (tree *expr_p, int *ws,
*** 1912,1929 ****
  	break;
  
        if (DECL_MODE (obj) == BLKmode)
! 	{
! 	  if (TREE_STATIC (obj)
! 	      || DECL_EXTERNAL (obj))
! 	    {
! 	      const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (obj));
! 	      x = gen_rtx_SYMBOL_REF (Pmode, name);
! 	    }
! 	  else
! 	    x = gen_raw_REG (Pmode, (*regno)++);
! 
! 	  x = gen_rtx_MEM (DECL_MODE (obj), x);
! 	}
        else
  	x = gen_raw_REG (DECL_MODE (obj), (*regno)++);
  
--- 1942,1948 ----
  	break;
  
        if (DECL_MODE (obj) == BLKmode)
! 	x = produce_memory_decl_rtl (obj, regno);
        else
  	x = gen_raw_REG (DECL_MODE (obj), (*regno)++);
  
*************** tree_ssa_iv_optimize (struct loops *loop
*** 4392,4397 ****
--- 4411,4418 ----
    /* Scan the loops, inner ones first.  */
    while (loop != loops->tree_root)
      {
+       if (dump_file && (dump_flags & TDF_DETAILS))
+ 	flow_loop_dump (loop, dump_file, NULL, 1);
        if (tree_ssa_iv_optimize_loop (&data, loop))
  	{
  #ifdef ENABLE_CHECKING


-- 


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

[Bug bootstrap/17330] ICE: verify_ssa failed during c++ code build in libjava

[green at redhat dot com]

------- Additional Comments From green at redhat dot com  2004-09-06 16:57 -------
Ok, thanks for the tip.  Compiling all of libjava's C++ and Java code with
-fno-ivopts gets me past this problem.  Note that I'm not even building for a
64-bit target.  It looks like this patch was checked in without even trying to
build libjava. 


-- 


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

[Bug tree-optimization/17330] [3.5 Regression] ICE: verify_ssa failed during c++ code build in libjava

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|bootstrap                   |tree-optimization
           Keywords|wrong-code                  |ice-on-valid-code
            Summary|ICE: verify_ssa failed      |[3.5 Regression] ICE:
                   |during c++ code build in    |verify_ssa failed during c++
                   |libjava                     |code build in libjava
   Target Milestone|---                         |3.5.0


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

[Bug tree-optimization/17330] [3.5 Regression] ICE: verify_ssa failed during c++ code build in libjava

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-09-08 06:13 -------
Fixed.

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


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