gcc/testsuite/gcc.dg/tree-ssa/pr72772.c

   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