[Bug c/17656] New: internal compiler error: in replace_immediate_uses, at tree-ssa.c:1041

[Bug c/17656] New: internal compiler error: in replace_immediate_uses, at tree-ssa.c:1041

[arjanv at redhat dot com]

support.c: In function 'tsc_launch_remote':
support.c:198: internal compiler error: in replace_immediate_uses, at
tree-ssa.c:1041
Please submit a full bug report

I will attach the preprocessed file (including compiler commandline)

-- 
           Summary: internal compiler error: in replace_immediate_uses, at
                    tree-ssa.c:1041
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: arjanv at redhat dot com
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: gcc version 4.0.0 20040920
  GCC host triplet: x86_64


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

[Bug tree-optimization/17656] [4.0 Regression] internal compiler error: in replace_immediate_uses, at tree-ssa.c:1041

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org, dnovillo at gcc dot gnu
                   |                            |dot org
          Component|c                           |tree-optimization
            Summary|internal compiler error: in |[4.0 Regression] internal
                   |replace_immediate_uses, at  |compiler error: in
                   |tree-ssa.c:1041             |replace_immediate_uses, at
                   |                            |tree-ssa.c:1041
   Target Milestone|---                         |4.0.0


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

[Bug tree-optimization/17656] [4.0 Regression] internal compiler error: in replace_immediate_uses, at tree-ssa.c:1041

[arjanv at redhat dot com]

------- Additional Comments From arjanv at redhat dot com  2004-09-24 15:50 -------
Created an attachment (id=7215)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7215&action=view)
preprocessed source


-- 


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

[Bug tree-optimization/17656] [4.0 Regression] internal compiler error: in replace_immediate_uses, at tree-ssa.c:1041

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  GCC build triplet|gcc version 4.0.0 20040920  |
   GCC host triplet|x86_64                      |


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

[Bug tree-optimization/17656] [4.0 Regression] internal compiler error: in replace_immediate_uses, at tree-ssa.c:1041

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
 GCC target triplet|                            |x86_64-redhat-linux


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

[Bug tree-optimization/17656] [4.0 Regression] internal compiler error: in replace_immediate_uses, at tree-ssa.c:1041

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-09-24 18:13 -------
I cannot reproduce this with a cross compiler from powerpc-apple-darwin to x86_64-linux with today's 
sources (so either it has been fixed or it can only be produced with a native compiler).

-- 


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

[Bug tree-optimization/17656] [4.0 Regression] internal compiler error: in replace_immediate_uses, at tree-ssa.c:1041

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code


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

[Bug tree-optimization/17656] [4.0 Regression] internal compiler error: in replace_immediate_uses, at tree-ssa.c:1041

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-06 03:44 -------
Can you try this again?

-- 


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

[Bug tree-optimization/17656] [4.0 Regression] internal compiler error: in replace_immediate_uses, at tree-ssa.c:1041

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-09 16:41 -------
I cannot reproduce this with a cross compiler to x86_64-linux-gnu from ppc-darwin, can you try again?

-- 


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

[Bug tree-optimization/17656] [4.0 Regression] internal compiler error: in replace_immediate_uses, at tree-ssa.c:1041

[aj at gcc dot gnu dot org]

------- Additional Comments From aj at gcc dot gnu dot org  2004-10-10 06:34 -------
 
> I cannot reproduce this with a cross compiler to x86_64-linux-gnu from 
ppc-darwin, can you try again? 
 
I see the same ICE on i586, x86-64 and ppc.  I can send a preprocessed 
source file for any of the archs.  Just ask which one you want ;-) 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |aj at gcc dot gnu dot org


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

[Bug tree-optimization/17656] [4.0 Regression] internal compiler error: in replace_immediate_uses, at tree-ssa.c:1041

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-11 13:49 -------
Andreas, yes please for PPC and/or x86.

It might be we are miscompiling GCC :(.

-- 


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

[Bug tree-optimization/17656] [4.0 Regression] internal compiler error: in replace_immediate_uses, at tree-ssa.c:1041

[aj at gcc dot gnu dot org]

------- Additional Comments From aj at gcc dot gnu dot org  2004-10-11 15:28 -------
(In reply to comment #6) 
> Andreas, yes please for PPC and/or x86. 
>  
> It might be we are miscompiling GCC :(. 
 
Here's the actual call on 32-bit ppc: 
 
# gcc -DHAVE_CONFIG_H -I. -I. -I.. -DPACKAGE_DATA_DIR=\""/opt/gnome/share"\" 
-DPACKAGE_LOCALE_DIR=\""/opt/gnome/share/locale"\" -DXTHREADS -D_REENTRANT 
-DXUSE_MTSAFE_API -DORBIT2=1 -pthread -I/usr/include/libart-2.0 
-I/usr/include/libxml2 -I/opt/gnome/include/panel-2.0 
-I/opt/gnome/include/gtk-2.0 -I/opt/gnome/include/libgnomeui-2.0 
-I/opt/gnome/include/libbonoboui-2.0 -I/opt/gnome/lib/gtk-2.0/include 
-I/usr/X11R6/include -I/opt/gnome/include/atk-1.0 
-I/opt/gnome/include/pango-1.0 -I/usr/include/freetype2 
-I/usr/include/freetype2/config -I/opt/gnome/include/glib-2.0 
-I/opt/gnome/lib/glib-2.0/include -I/opt/gnome/include/libgnome-2.0 
-I/opt/gnome/include/libgnomecanvas-2.0 -I/opt/gnome/include/gconf/2 
-I/opt/gnome/include/orbit-2.0 -I/opt/gnome/include/libbonobo-2.0 
-I/opt/gnome/include/gnome-vfs-2.0 -I/opt/gnome/lib/gnome-vfs-2.0/include 
-I/opt/gnome/include/bonobo-activation-2.0      -g -O2 -MT support.o -MD -MP 
-MF".deps/support.Tpo"   -c -o support.o support.c -v -save-temps 
Reading specs from /usr/lib/gcc/powerpc-suse-linux/4.0.0/specs 
Configured with: ../configure --enable-threads=posix --prefix=/usr 
--with-local-prefix=/usr/local--infodir=/usr/share/info --mandir=/usr/share/man 
--libdir=/usr/lib --libexecdir=/usr/lib --enable-languages=c,c++,objc,f95,java 
--enable-checking --with-slibdir=/lib --with-system-zlib --enable-shared 
--enable-__cxa_atexit powerpc-suse-linux 
Thread model: posix 
gcc version 4.0.0 20041010 (experimental) (SUSE Linux) 
 /usr/lib/gcc/powerpc-suse-linux/4.0.0/cc1 -E -quiet -v -I. -I. -I.. 
-I/usr/include/libart-2.0 -I/usr/include/libxml2 -I/opt/gnome/include/panel-2.0 
-I/opt/gnome/include/gtk-2.0 -I/opt/gnome/include/libgnomeui-2.0 
-I/opt/gnome/include/libbonoboui-2.0 -I/opt/gnome/lib/gtk-2.0/include 
-I/usr/X11R6/include -I/opt/gnome/include/atk-1.0 
-I/opt/gnome/include/pango-1.0 -I/usr/include/freetype2 
-I/usr/include/freetype2/config -I/opt/gnome/include/glib-2.0 
-I/opt/gnome/lib/glib-2.0/include -I/opt/gnome/include/libgnome-2.0 
-I/opt/gnome/include/libgnomecanvas-2.0 -I/opt/gnome/include/gconf/2 
-I/opt/gnome/include/orbit-2.0 -I/opt/gnome/include/libbonobo-2.0 
-I/opt/gnome/include/gnome-vfs-2.0 -I/opt/gnome/lib/gnome-vfs-2.0/include 
-I/opt/gnome/include/bonobo-activation-2.0 -MD support.d -MF .deps/support.Tpo 
-MP -MT support.o -MQ support.o -D__unix__ -D__gnu_linux__ -D__linux__ -Dunix 
-D__unix -Dlinux -D__linux -Asystem=linux -Asystem=unix -Asystem=posix 
-D_REENTRANT -DHAVE_CONFIG_H -DPACKAGE_DATA_DIR="/opt/gnome/share" 
-DPACKAGE_LOCALE_DIR="/opt/gnome/share/locale" -DXTHREADS -D_REENTRANT 
-DXUSE_MTSAFE_API -DORBIT2=1 support.c -fworking-directory -O2 -fpch-preprocess 
-o support.i 
ignoring duplicate directory "." 
ignoring nonexistent directory "/usr/include/freetype2/config" 
#include "..." search starts here: 
#include <...> search starts here: 
 . 
 .. 
 /usr/include/libart-2.0 
 /usr/include/libxml2 
 /opt/gnome/include/panel-2.0 
 /opt/gnome/include/gtk-2.0 
 /opt/gnome/include/libgnomeui-2.0 
 /opt/gnome/include/libbonoboui-2.0 
 /opt/gnome/lib/gtk-2.0/include 
 /usr/X11R6/include 
 /opt/gnome/include/atk-1.0 
 /opt/gnome/include/pango-1.0 
 /usr/include/freetype2 
 /opt/gnome/include/glib-2.0 
 /opt/gnome/lib/glib-2.0/include 
 /opt/gnome/include/libgnome-2.0 
 /opt/gnome/include/libgnomecanvas-2.0 
 /opt/gnome/include/gconf/2 
 /opt/gnome/include/orbit-2.0 
 /opt/gnome/include/libbonobo-2.0 
 /opt/gnome/include/gnome-vfs-2.0 
 /opt/gnome/lib/gnome-vfs-2.0/include 
 /opt/gnome/include/bonobo-activation-2.0 
 /usr/local/include 
 /usr/lib/gcc/powerpc-suse-linux/4.0.0/include 
 /usr/lib/gcc/powerpc-suse-linux/4.0.0/../../../../powerpc-suse-linux/include 
 /usr/include 
End of search list. 
 /usr/lib/gcc/powerpc-suse-linux/4.0.0/cc1 -fpreprocessed support.i -quiet 
-dumpbase support.c -auxbase-strip support.o -g -O2 -version -o support.s 
GNU C version 4.0.0 20041010 (experimental) (SUSE Linux) (powerpc-suse-linux) 
        compiled by GNU C version 4.0.0 20041010 (experimental) (SUSE Linux). 
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096 
support.c: In function 'tsc_launch_remote': 
support.c:198: internal compiler error: in replace_immediate_uses, 
at /tree-ssa.c:1056 
Please submit a full bug report, 
with preprocessed source if appropriate. 
See <URL:http://www.suse.de/feedback> for instructions. 
 
I'll attach support.i as bzip2 compressed file. 
 

-- 


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

[Bug tree-optimization/17656] [4.0 Regression] internal compiler error: in replace_immediate_uses, at tree-ssa.c:1041

[aj at gcc dot gnu dot org]

------- Additional Comments From aj at gcc dot gnu dot org  2004-10-11 15:29 -------
Created an attachment (id=7325)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7325&action=view)
Preprocessed file for Linux/PPC


-- 


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

[Bug tree-optimization/17656] [4.0 Regression] internal compiler error: in replace_immediate_uses, at tree-ssa.c:1041

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2004-10-11 15:47 -------
Here's a reduced testcase that fails with "-O" on i686-pc-linux-gnu:

================================================
int sprintf (char *s, const char *format, ...);

int foo(int i, int j)
{
   char *buf, *str;

   if (i)
     str = "";
   else if (j)
     str = "";
   else
     return 1;

   sprintf(buf, str);
   return 0;
}
================================================


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |monitored
   Last reconfirmed|0000-00-00 00:00:00         |2004-10-11 15:47:03
               date|                            |


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

[Bug tree-optimization/17656] [4.0 Regression] internal compiler error: in replace_immediate_uses, at tree-ssa.c:1041

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2004-10-11 16:19 -------
Eric, the regression appears with your patch
http://gcc.gnu.org/ml/gcc-cvs/2004-09/msg01039.html

Could you please have a look?


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


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

[Bug tree-optimization/17656] [4.0 Regression] internal compiler error: in replace_immediate_uses, at tree-ssa.c:1041

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-11 17:43 -------
This fixes the problem for me (basically what this patch does is gets rid of the check for CALL_EXPR 
because we do the fold later and it would not cause any other issue):
Diego, what do you think of this (with the additional updated comment)?
Index: tree-ssa.c
===============================================================
====
RCS file: /cvs/gcc/gcc/gcc/tree-ssa.c,v
retrieving revision 2.45
diff -u -p -r2.45 tree-ssa.c
--- tree-ssa.c	5 Oct 2004 13:57:06 -0000	2.45
+++ tree-ssa.c	11 Oct 2004 17:41:31 -0000
@@ -1048,7 +1048,7 @@ replace_immediate_uses (tree var, tree r
 	 Note that all this will become unnecessary soon.  This
 	 pass is being replaced with a proper copy propagation pass
 	 for 4.1 (dnovillo, 2004-09-17).  */
-      if (TREE_CODE (repl) != SSA_NAME)
+      if (TREE_CODE (repl) != SSA_NAME && TREE_CODE (stmt) != CALL_EXPR)
 	{
 	  tree tmp = stmt;
 	  fold_stmt (&tmp);


-- 


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

[Bug tree-optimization/17656] [4.0 Regression] internal compiler error: in replace_immediate_uses, at tree-ssa.c:1041

[echristo at redhat dot com]

------- Additional Comments From echristo at redhat dot com  2004-10-11 23:45 -------
Not a big fan of Andrew's patch. I don't think it will cover all the cases where
we have a problem. Basically, afaict, we're folding the toplevel call into
something else. In this case a builtin_memcpy to the destination. Basically we
can't check if the toplevel function call has changed and then go on with our
lives since set_rhs deals with the ssa name.

Diego, I'm positive the bits that I did to builtins.c is correct, I'm not sure
that this workaround is correct, or that it won't involve quite a bit of
workaround in the ccp, can you take a look at this please?


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


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

[Bug tree-optimization/17656] [4.0 Regression] internal compiler error: in replace_immediate_uses, at tree-ssa.c:1041

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-18 00:09 -------
*** Bug 18043 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu dot org


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

[Bug tree-optimization/17656] [4.0 Regression] internal compiler error: in replace_immediate_uses, at tree-ssa.c:1041

[dnovillo at gcc dot gnu dot org]

------- Additional Comments From dnovillo at gcc dot gnu dot org  2004-10-18 15:13 -------

Testing patch.

-- 


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

[Bug tree-optimization/17656] [4.0 Regression] internal compiler error: in replace_immediate_uses, at tree-ssa.c:1041

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-10-18 17:39 -------
Subject: Bug 17656

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	dnovillo@gcc.gnu.org	2004-10-18 17:39:47

Modified files:
	gcc            : ChangeLog tree-ssa.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/gcc.c-torture/compile: pr17656.c 

Log message:
	PR tree-optimization/17656
	* tree-ssa.c (replace_immediate_uses): When replacing a
	constant, if the call to fold_stmt produced a different
	statement, get an appropriate statement pointer by scanning
	STMT's basic block.
	
	PR tree-optimization/17656
	* testsuite/gcc.c-torture/compile/pr17656.c: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.5928&r2=2.5929
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa.c.diff?cvsroot=gcc&r1=2.47&r2=2.48
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.4468&r2=1.4469
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/compile/pr17656.c.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug tree-optimization/17656] [4.0 Regression] internal compiler error: in replace_immediate_uses, at tree-ssa.c:1041

[dnovillo at gcc dot gnu dot org]

------- Additional Comments From dnovillo at gcc dot gnu dot org  2004-10-18 18:05 -------
Fix: http://gcc.gnu.org/ml/gcc-patches/2004-10/msg01502.html

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


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