1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -ftree-loop-distribution -fdump-tree-ldist-details" } */
       3  
       4  int foo (int flag, char *a)
       5  {
       6    short i, j;
       7    short l = 0;
       8    if (flag == 1)
       9      l = 3;
      10  
      11    for (i = 0; i < 4; i++)
      12      {
      13        for (j = l - 1; j > 0; j--)
      14          a[j] = a[j - 1];
      15        a[0] = i;
      16      }
      17  }
      18  
      19  /* Addresses of array reference a[j] and a[j - 1] are SCEVs.  */
      20  /* { dg-final { scan-tree-dump-not "failed: evolution of base is not affine." "ldist" } } */
      21