[Bug middle-end/42914] New: [4.5 Regression][graphite] ICE with -g -ffast-math -fgraphite-identity -O2: verify_ssa failed

[spop at gcc dot gnu dot org]

int find_sad_16x16(int *intra_mode)
{
  int current_intra_sad_2,best_intra_sad2;
  int M1[16][16],M0[4][4][4][4],M3[4],M4[4][4];
  int i,j,k;
  int ii,jj;

  for (jj=0;jj<4;jj++)
    for (ii=0;ii<4;ii++)
      for (j=0;j<4;j++)
        for (j=0;j<4;j++)
          current_intra_sad_2 += abs(M0[i][ii][j][jj]);

  if(current_intra_sad_2 < best_intra_sad2)
    {
      best_intra_sad2=current_intra_sad_2;
      *intra_mode = k;
    }
}

This reduced testcase comes from h264 in the SPEC2006.
It crashes GCC only when compiling with -g -ffast-math -fgraphite-identity
and with -Os, -O2, or -O3.  The ICE disappears when removing -g.


-- 
           Summary: [4.5 Regression][graphite] ICE with -g -ffast-math -
                    fgraphite-identity -O2: verify_ssa failed
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: spop at gcc dot gnu dot org


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