[Bug middle-end/38786] New: [graphite] ICE with -floop-block in verify_ssa

["spop at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

Compiling with -O2 -fgraphite-identity -floop-block the program below,
cc1 fails with:

image.c:11: error: definition in block 10 does not dominate use in block 28
for SSA_NAME: D.1621_16 in statement:
# VUSE <SMT.13_53(D)>
D.1713_120 = *D.1621_16;
image.c:11: internal compiler error: verify_ssa failed



typedef struct
{
  int ****cofAC;
} ImageParameters;
typedef struct
{
  int ****cofAC;
} RD_DATA;
extern RD_DATA *rdopt;
extern ImageParameters *img;
dummy_slice_too_big (int bits_slice)
{
  int i, j, k, l;
  for (j = 0; j < 4; j++)
    for (k = 0; k < 2; k++)
      for (l = 0; l < 65; l++)
        img->cofAC[i][j][k][l] = rdopt->cofAC[i][j][k][l];
}


-- 
           Summary: [graphite] ICE with -floop-block in verify_ssa
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: spop at gcc dot gnu dot org
        ReportedBy: spop at gcc dot gnu dot org


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