[Bug tree-optimization/23627] New: ICE: tree check: expected ssa_name, have unlt_expr in verify_ssa, at tree-ssa.c:746

[Bug tree-optimization/23627] New: ICE: tree check: expected ssa_name, have unlt_expr in verify_ssa, at tree-ssa.c:746

[micis at gmx dot de]

I get an ICE if I compile the small program below with the actual snapshot.

Michael Cieslinski


gcc41m -v
Using built-in specs.
Target: x86_64-unknown-linux-gnu
Configured with: ../gcc-4.1-20050826/configure --prefix=/usr/local/gcc41m --
program-suffix=41m --with-arch=opteron --enable-languages=c,c++ --enable-
checking
Thread model: posix
gcc version 4.1.0 20050826 (experimental)


gcc41m -O2 -funswitch-loops -c -o calclut.o calclut.ii
calclut.ii: In function 'int CalculateLut(MetisApi*, long int, long int, 
std::string&)':
calclut.ii:12: internal compiler error: tree check: expected ssa_name, have 
unlt_expr in verify_ssa, at tree-ssa.c:746
Please submit a full bug report, with preprocessed source if appropriate.


file calclut.ii

namespace std
{
    template <typename _CharT>
    class basic_string ;
    typedef basic_string <char> string;
}

 typedef unsigned U16;
 class MetisApi;
 using namespace std;

int CalculateLut (MetisApi *metisapi, long dx, long dy, string &directory)
{
    int     h, i;
    U16*    darkBuffer = __null;
    U16*    lowBuffer;
    U16*    t1orig[15];
    U16*    t0;
    int     err;
    {
        if (err) { return -1; }

        for (i=0; i<dx*dy; i++)
        {
            if (t1orig[h]) t1orig[h][i] = lowBuffer[i];
            t0[i] += darkBuffer[i];
        }
    }
}

-- 
           Summary: ICE: tree check: expected ssa_name, have unlt_expr in
                    verify_ssa, at tree-ssa.c:746
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: micis at gmx dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


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

[Bug tree-optimization/23627] [4.1 Regression] ICE: tree check: expected ssa_name, have unlt_expr in verify_ssa, at tree-ssa.c:746

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-29 18:03 -------
Reduced testcase:
typedef unsigned U16;
U16*    t1orig[15];
void CalculateLut (long dx, U16 *lowBuffer, U16*    t0)
{
    int     i;
    U16*    darkBuffer = __null;
    for (i=0; i<dx; i++)
    {
      if (t1orig[0]) t1orig[0][i] = lowBuffer[i];
      t0[i] += darkBuffer[i];
    }
}

Fails after iv-opts.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rakdver at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
  GCC build triplet|x86_64-unknown-linux-gnu    |
   GCC host triplet|x86_64-unknown-linux-gnu    |
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2005-08-29 18:03:25
               date|                            |
            Summary|ICE: tree check: expected   |[4.1 Regression] ICE: tree
                   |ssa_name, have unlt_expr in |check: expected ssa_name,
                   |verify_ssa, at tree-        |have unlt_expr in
                   |ssa.c:746                   |verify_ssa, at tree-
                   |                            |ssa.c:746
   Target Milestone|---                         |4.1.0


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

[Bug tree-optimization/23627] [4.1 Regression] ICE: tree check: expected ssa_name, have unlt_expr in verify_ssa, at tree-ssa.c:746

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-29 18:09 -------
A dup of bug 23509.

*** This bug has been marked as a duplicate of 23509 ***

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


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