[Bug tree-optimization/23969] New: no flow-sensitive alias info for pretmp.28_145 in D.1305_17 = *pretmp.28_145;

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

PRE fails to merge flow-sensitive alias-information for

void Ekin(double *e, int *stridee,
          double *vx, int *stridevx,
          double *vy, int *stridevy,
          double *vz, int *stridevz,
          int *sz)
{
  int i1 = sz[0];
  int j1 = sz[1];
  int k1 = sz[2];
  int i, j, k;
  for (k=0; k<k1; ++k)
   for (j=0; j<j1; ++j)
    for (i=0; i<i1; ++i)
     {
       e[i + j * stridee[1] + k * stridee[2]]
        = 0.128 * (
            ((vx[i + j * stridevx[1] + k * stridevx[2]]
              + vx[i+1 + j * stridevx[1] + k * stridevx[2]])
             * (vx[i + j * stridevx[1] + k * stridevx[2]]
                + vx[i+1 + j * stridevx[1] + k * stridevx[2]]))
          + ((vy[i + j * stridevy[1] + k * stridevy[2]]
              + vy[i + (j+1) * stridevy[1] + k * stridevy[2]])
             * (vy[i + j * stridevy[1] + k * stridevy[2]]
                + vy[i + (j+1) * stridevy[1] + k * stridevy[2]]))
          + ((vz[i + j * stridevz[1] + k * stridevz[2]]
              + vz[i + j * stridevz[1] + (k+1) * stridevz[2]])
             * (vz[i + j * stridevz[1] + k * stridevz[2]]
                + vz[i + j * stridevz[1] + (k+1) * stridevz[2]])));

     }
}

>From the .lim dump:

NOTE: no flow-sensitive alias info for pretmp.28_145 in D.1305_17 = *pretmp.28_145;
NOTE: no flow-sensitive alias info for pretmp.29_46 in D.1308_20 = *pretmp.29_46;
NOTE: no flow-sensitive alias info for pretmp.30_50 in D.1317_31 = *pretmp.30_50;
NOTE: no flow-sensitive alias info for pretmp.31_3 in D.1320_34 = *pretmp.31_3;
NOTE: no flow-sensitive alias info for pretmp.32_212 in D.1340_90 = *pretmp.32_212;
NOTE: no flow-sensitive alias info for pretmp.33_197 in D.1343_93 = *pretmp.33_197;
NOTE: no flow-sensitive alias info for pretmp.35_2 in D.1365_150 = *pretmp.35_2;
NOTE: no flow-sensitive alias info for pretmp.36_211 in D.1368_153 = *pretmp.36_211;

-- 
           Summary: no flow-sensitive alias info for pretmp.28_145 in
                    D.1305_17 = *pretmp.28_145;
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rguenth at gcc dot gnu dot org
                CC: dberlin at gcc dot gnu dot org,gcc-bugs at gcc dot gnu
                    dot org


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