[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