[Bug middle-end/15643] New: ICE in replace_ssa_names, at tree-ssa-copy.c:73

[Bug middle-end/15643] New: ICE in replace_ssa_names, at tree-ssa-copy.c:73

[lucier at math dot purdue dot edu]

[xsun21:~/programs/gambc40b4] lucier%
/pkgs/gcc-mainline/libexec/gcc/powerpc-apple-darwin7.3.0/3.5.0/cc1 -O1
-fno-math-errno -fschedule-insns2 -fno-trapping-math -fno-strict-aliasing
-fomit-frame-pointer -fPIC -fno-common _repl.i
 {GC 5327k -> 1368k} ___H__23__23_cmd_2d_y

_repl.c: In function `___H__23__23_cmd_2d_y':
_repl.c:12116: internal compiler error: in replace_ssa_names, at tree-ssa-copy.c:73
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

This bit me on 8 files building Gambit; unfortunately this is the shortest
example I can come up with quickly.

The example is at

http://www.math.purdue.edu/~lucier/GNATS/GNATS-9/_repl.i.gz

(with a lot of auxiliary stuff preceding and following the critical routine in
the middle, unfortunately).

-- 
           Summary: ICE in replace_ssa_names, at tree-ssa-copy.c:73
           Product: gcc
           Version: 3.5.0
            Status: UNCONFIRMED
          Severity: critical
          Priority: P2
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: lucier at math dot purdue dot edu
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: powerpc-apple-darwin7.3.0
  GCC host triplet: powerpc-apple-darwin7.3.0
GCC target triplet: powerpc-apple-darwin7.3.0


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

[Bug middle-end/15643] ICE in replace_ssa_names, at tree-ssa-copy.c:73

[falk at debian dot org]

------- Additional Comments From falk at debian dot org  2004-05-25 10:40 -------
Confirmed with alphaev68-linux 3.5.0 20040513

Here's a test case:

void f(int r1, int *fp) 
{     
  void *hlbl_tbl[] = { &&label1 }; 
  goto *hlbl_tbl[r1]; 
  *fp = 0; 
 label0: 
  fp += 8; 
 label1: 
  *fp = 0; 
  if (r1)  
    goto label2; 
  if (r1) 
    goto label0; 
 label2: 
  ; 
} 


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1


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

[Bug tree-optimization/15643] [3.5 Regression] ICE in replace_ssa_names, at tree-ssa-copy.c:73

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|middle-end                  |tree-optimization
  GCC build triplet|powerpc-apple-darwin7.3.0   |
   GCC host triplet|powerpc-apple-darwin7.3.0   |
 GCC target triplet|powerpc-apple-darwin7.3.0   |
           Keywords|                            |ice-on-valid-code
      Known to fail|                            |3.5.0
      Known to work|                            |3.4.0
            Summary|ICE in replace_ssa_names, at|[3.5 Regression] ICE in
                   |tree-ssa-copy.c:73          |replace_ssa_names, at tree-
                   |                            |ssa-copy.c:73
   Target Milestone|---                         |3.5.0


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

[Bug tree-optimization/15643] [3.5 Regression] ICE in replace_ssa_names, at tree-ssa-copy.c:73

[belyshev at lubercy dot com]

------- Additional Comments From belyshev at lubercy dot com  2004-05-25 22:52 -------
Testcase in java:

cat > boog.java << EOF
public class boog {
	class abcd {
	}
	
	static void defineProperty (Object destination)
	{
	}
	
	public static void defineClass ()
	{
		abcd ctor = new abcd ();
		boolean b = true;
		Object dest = b ? ctor : null;
		defineProperty(dest);
	}
}
EOF
gcj boog.java -O2 -fno-tree-dominator-opts
boog.java: In class `boog':
boog.java: In method `boog.defineClass()':
boog.java:10: internal compiler error: in replace_ssa_names, at tree-ssa-copy.c:73
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 


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

[Bug tree-optimization/15643] [3.5 Regression] ICE in replace_ssa_names, at tree-ssa-copy.c:73

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-05-27 03:08 -------
For the C testcase, it is failing to reduce the following PHI:
  # fp_1 = PHI <fp_9(0)>;

I should say I can reproduce the failure on the tree-ssa on the smaller C testcase (I think the bigger one 
is just optimized more after Law's changes and hits the ICE after the changes).

-- 


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

[Bug tree-optimization/15643] [3.5 Regression] ICE in replace_ssa_names, at tree-ssa-copy.c:73

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-05-27 03:10 -------
And for the java teastcase:
boog.defineClass() ()
{
  struct java.lang.Object * dest;
  boolean b;
  struct boog$abcd * ctor;
  struct java.lang.Object * dest.4;
  struct boog$abcd * iftmp.3;
  struct boog$abcd * T.2;
  struct boog$abcd * T.1;

<bb 0>:
  _Jv_InitClass (&boog.class);
  ctor_6 = _Jv_AllocObjectNoFinalizer (&boog$abcd.class);
  <init> (ctor_6, 0B);
  ctor_11 = ctor_6;
  ctor_12 = ctor_11;
  b_13 = 1;
  ctor_19 = ctor_12;

  # dest_1 = PHI <ctor_19(0)>; <--- here.
<L2>:;
  dest_14 = dest_1;
  dest_15 = dest_14;
  defineProperty (dest_15);
  return;

}

-- 


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

[Bug tree-optimization/15643] [3.5 Regression] ICE in replace_ssa_names, at tree-ssa-copy.c:73

[green at redhat dot com]

------- Additional Comments From green at redhat dot com  2004-05-27 22:22 -------
Just FYI, I'm seeing a similar failure in rhino and am looking forward to a fix.  

/home/green/sources/jhbuild-src/rhug/rhino/upstream/src/org/mozilla/javascript/ScriptableObject.java:
In class `org.mozilla.javascript.ScriptableObject':
/home/green/sources/jhbuild-src/rhug/rhino/upstream/src/org/mozilla/javascript/ScriptableObject.java:
In method
`org.mozilla.javascript.ScriptableObject.defineClass(org.mozilla.javascript.Scriptable,java.lang.Class,boolean)':
/home/green/sources/jhbuild-src/rhug/rhino/upstream/src/org/mozilla/javascript/ScriptableObject.java:764:
internal compiler error: in replace_ssa_names, at tree-ssa-copy.c:88



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


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

[Bug tree-optimization/15643] [3.5 Regression] ICE in replace_ssa_names, at tree-ssa-copy.c:73

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-06-08 18:24 -------
Here is another testcase this time in C++:
void foo();

struct A
{
    int i;

    A() : i(0) {}
    ~A() { if (i) foo(); }
    void bar(A &a) { a.i = 1; }
};

void quus()
{
    A a1, a2;
    foo();
    a1.bar(a1);
}

-- 


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

[Bug tree-optimization/15643] [3.5 Regression] ICE in replace_ssa_names, at tree-ssa-copy.c:73

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-06-12 05:03 -------
*** Bug 15904 has been marked as a duplicate of this bug. ***

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


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

[Bug tree-optimization/15643] [3.5 Regression] ICE in replace_ssa_names, at tree-ssa-copy.c:73

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-06-12 05:04 -------
Note this is causes 20_util/auto_ptr/3.cc to ICE which is a regression.

-- 


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

[Bug tree-optimization/15643] [3.5 Regression] ICE in replace_ssa_names, at tree-ssa-copy.c:73

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-06-14 13:57 -------
*** Bug 15983 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |snyder at fnal dot gov


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

[Bug tree-optimization/15643] [3.5 Regression] ICE in replace_ssa_names, at tree-ssa-copy.c:73

[law at gcc dot gnu dot org]

------- Additional Comments From law at gcc dot gnu dot org  2004-06-14 20:42 -------
All these ought to be fixed with today's checkin to tree-ssa.c.

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


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