[Bug tree-optimization/17273] New: ICE in get_indirect_ref_operands

[Bug tree-optimization/17273] New: ICE in get_indirect_ref_operands

[mueller at kde dot org]

g++  -v   -O2    -c tree-ssa.cpp  
Reading specs from /opt/gcc/lib/gcc/i686-pc-linux-gnu/3.5.0/specs 
Configured with: ../configure --prefix=/opt/gcc --enable-c99 
--enable-long-long --enable-checking --enable-shared --enable-threads 
--enable-languages=c,c++ 
Thread model: posix 
gcc version 3.5.0 20040901 (experimental) 
 /opt/gcc/libexec/gcc/i686-pc-linux-gnu/3.5.0/cc1plus -quiet -v -D_GNU_SOURCE 
tree-ssa.cpp -quiet -dumpbase tree-ssa.cpp -mtune=pentiumpro -auxbase tree-ssa 
-O2 -version -o /tmp/ccQIaiYk.s 
ignoring nonexistent directory 
"/opt/gcc/lib/gcc/i686-pc-linux-gnu/3.5.0/../../../../i686-pc-linux-gnu/include" 
#include "..." search starts here: 
#include <...> search starts here: 
 /opt/gcc/lib/gcc/i686-pc-linux-gnu/3.5.0/../../../../include/c++/3.5.0 
 /opt/gcc/lib/gcc/i686-pc-linux-gnu/3.5.0/../../../../include/c++/3.5.0/i686-pc-linux-gnu 
 /opt/gcc/lib/gcc/i686-pc-linux-gnu/3.5.0/../../../../include/c++/3.5.0/backward 
 /usr/local/include 
 /opt/gcc/include 
 /opt/gcc/lib/gcc/i686-pc-linux-gnu/3.5.0/include 
 /usr/include 
End of search list. 
GNU C++ version 3.5.0 20040901 (experimental) (i686-pc-linux-gnu) 
        compiled by GNU C version 3.5.0 20040830 (experimental). 
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096 
tree-ssa.cpp: In function `void foo()': 
tree-ssa.cpp:27: internal compiler error: in get_indirect_ref_operands, at 
tree-ssa-operands.c:1355 
Please submit a full bug report, 
with preprocessed source if appropriate. 
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

-- 
           Summary: ICE in get_indirect_ref_operands
           Product: gcc
           Version: 3.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: mueller at kde dot org
                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=17273

[Bug tree-optimization/17273] ICE in get_indirect_ref_operands

[mueller at kde dot org]

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


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

[Bug tree-optimization/17273] ICE in get_indirect_ref_operands

[mueller at kde dot org]

------- Additional Comments From mueller at kde dot org  2004-09-01 23:46 -------
Created an attachment (id=7017)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7017&action=view)
testcase


-- 


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

[Bug tree-optimization/17273] ICE in get_indirect_ref_operands

[mueller at kde dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |critical


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

[Bug tree-optimization/17273] [3.5 Regression] ICE in get_indirect_ref_operands

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-09-02 01:36 -------
: Search converges between 2004-08-30-trunk (#529) and 2004-08-31-trunk (#530).

Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-09-02 01:36:43
               date|                            |
            Summary|ICE in                      |[3.5 Regression] ICE in
                   |get_indirect_ref_operands   |get_indirect_ref_operands
   Target Milestone|---                         |3.5.0


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

[Bug tree-optimization/17273] [3.5 Regression] ICE in get_indirect_ref_operands

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2004-09-02 16:37 -------
With the following condensed testcase I get the failure even earlier:
: Search converges between 2004-08-22-trunk (#521) and 2004-08-23-trunk (#522).

========================================
struct A
{
    A& operator= (const A&);
};

struct B
{
    A a;

    B& foo()
    {
        bool b;
        if (b) return *this;
	return *this;
    }
};

void bar()
{
    B().foo().a = A();
}
========================================

Just compile with "-O" or higher.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
           Keywords|                            |monitored
      Known to fail|                            |3.5.0
      Known to work|                            |3.4.2


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

[Bug tree-optimization/17273] [3.5 Regression] ICE in get_indirect_ref_operands

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-09-02 16:55 -------
I think this is latent bug in the tree-ssa optimization as the two dates mine and the ones which Volker 
reports is both when &a->b is no longer lowered. (after the first date I had to revert the patch because 
it causes other problems).

-- 


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

[Bug tree-optimization/17273] [4.0 Regression] ICE in get_indirect_ref_operands

[pinskia at gcc dot gnu dot org]

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

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bangerth at dealii dot org


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

[Bug tree-optimization/17273] [4.0 Regression] ICE in get_indirect_ref_operands

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-09-15 06:26 -------
The problem is that when we do replace_exp_1 from propagate_value, we don't fold &((&a)->b) to
&(a.b).

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dnovillo at gcc dot gnu dot
                   |                            |org
      Known to fail|4.0                         |4.0.0


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

[Bug tree-optimization/17273] [4.0 Regression] ICE in get_indirect_ref_operands

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-09-15 06:37 -------
Here is another example which happens also for C:
struct A { int i; };
struct B { struct A a; };

void f(struct A*, struct A*);
#define bool _Bool

void bar(bool b)
{
  struct B * D1601;
  struct A D1576;
  struct A * D1593;
  struct B * D1592;
  struct B D1575;

  D1575 = (struct B){};

  if (b) D1592 = &D1575; else D1592 = &D1575;

  D1593 = &D1592->a; // <-- we are prograting &D1575 into here.
  D1576 = (struct A){};
  f (D1593, &D1576);
}

-- 


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

[Bug tree-optimization/17273] [4.0 Regression] ICE in get_indirect_ref_operands

[steven at gcc dot gnu dot org]

------- Additional Comments From steven at gcc dot gnu dot org  2004-09-16 23:01 -------
This bug shows up in a very large number of C++ applications I have tried to 
compile. 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P2                          |P1
   Last reconfirmed|2004-09-02 01:36:43         |2004-09-16 23:01:44
               date|                            |


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

[Bug tree-optimization/17273] [4.0 Regression] ICE in get_indirect_ref_operands

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2004-09-16 23:03 -------
Indeed, it triggers several times on my codes alone. It would be good if someone cared 
about this particular PR rather quickly... 
 
W. 

-- 


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

[Bug tree-optimization/17273] [4.0 Regression] ICE in get_indirect_ref_operands

[dnovillo at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|dnovillo at gcc dot gnu dot |
                   |org                         |
         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=17273

[Bug tree-optimization/17273] [4.0 Regression] ICE in get_indirect_ref_operands

[dnovillo at gcc dot gnu dot org]

------- Additional Comments From dnovillo at gcc dot gnu dot org  2004-09-17 15:21 -------

Patch in testing.  kill_redundant_phi_nodes is doing the job of CCP, but it
doesn't know how to fold statements properly.  There's two fixes we can try: (1)
paper over the problem by teaching k_r_p_n to fold statements, (2) do this
properly in CCP.

Option 2 may mean scheduling CCP more often, but it's preferred and cleaner.  If
that proves too invasive for 4.0, I will go with option 1.

-- 


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

[Bug tree-optimization/17273] [4.0 Regression] ICE in get_indirect_ref_operands

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-09-17 18:42 -------
Subject: Bug 17273

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	dnovillo@gcc.gnu.org	2004-09-17 18:42:52

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

Log message:
	PR tree-optimization/17273
	* tree-ssa.c (replace_immediate_uses): Call fold_stmt if the
	replacement is a constant.
	
	testsuite/ChangeLog
	
	PR tree-optimization/17273
	* gcc.c-torture/compile/pr17273.c: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.5498&r2=2.5499
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa.c.diff?cvsroot=gcc&r1=2.38&r2=2.39
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.4307&r2=1.4308
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/compile/pr17273.c.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug tree-optimization/17273] [4.0 Regression] ICE in get_indirect_ref_operands

[dnovillo at gcc dot gnu dot org]

------- Additional Comments From dnovillo at gcc dot gnu dot org  2004-09-17 18:43 -------

Fix: http://gcc.gnu.org/ml/gcc-patches/2004-09/msg01785.html

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


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