1 /* { dg-do compile } */
2 /* { dg-options "-O2 -ftree-loop-distribution -fdump-tree-ldist-details" } */
3 
foo(int flag,char * a)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 
22