[Bug c++/14468] New: [tree-ssa] ICE in verify_stmts (tree-cfg.c)

[Bug c++/14468] New: [tree-ssa] ICE in verify_stmts (tree-cfg.c)

[epanelelytha at kellertimo dot de]

zztest.cpp: In function `void foo()':
zztest.cpp:9: error: Invalid operand to binary operator
(struct N *)i.6;

zztest.cpp:9: internal compiler error: verify_stmts failed.

class N {
public:
	N() {}
};

N x(N, N) {return N();}

void foo()
{
	N b,c;
	static N a[2]; // no ICE without static

	for (unsigned i=1; i < 2; ++i)
		a[i] = x(a[i-1], b);
}



Reading specs from /usr/local/lib/gcc/i686-pc-cygwin/3.5-tree-ssa/specs
Configured with: ./configure --enable-languages=c,c++ : (reconfigured)
./configure --enable-language
s=c,c++ : (reconfigured) ./configure --enable-languages=c,c++
Thread model: single
gcc version 3.5-tree-ssa 20040307 (merged 20040305)

The code worked with GCC 3.5.0 (some days ago).

-- 
           Summary: [tree-ssa] ICE in verify_stmts (tree-cfg.c)
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: epanelelytha at kellertimo dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: cygwin
  GCC host triplet: i686-pc-cygwin
GCC target triplet: i686-pc-cygwin


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

[Bug c++/14468] [tree-ssa] ICE in verify_stmts (tree-cfg.c)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-03-07 16:56 -------
"Lowering" strikes:
From:
        i.6 = (struct N *)i;
        T.7 = i.6 + &a - 1B;

To:
  T.7 = (struct N *)i.6 + (struct N *)&a - 1B;

But then again C++ is producing werid trees (i.e. if I disable some lowering from happening in the 
front-end, this works as expected).

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2004-03-07 16:56:03
               date|                            |
   Target Milestone|---                         |tree-ssa


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

[Bug c++/14468] [tree-ssa] ICE in verify_stmts (tree-cfg.c)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-03-07 17:10 -------
After disabling the lowering I get:
  T.5 = i - 1;
  <D1486> = a[T.5];

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  GCC build triplet|cygwin                      |
   GCC host triplet|i686-pc-cygwin              |
 GCC target triplet|i686-pc-cygwin              |


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

[Bug c++/14468] [tree-ssa] ICE in verify_stmts (tree-cfg.c)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-04-06 20:21 -------
Fixed also.

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


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