1 /* { dg-do compile } */
2 /* { dg-require-effective-target vect_int } */
3 /* { dg-additional-options "-Ofast" } */
4 
5 int b, c = 1;
6 int a[6][5] = { {0, 0, 0, 0, 0}, {0, 0, 0, 0, 0}, {0, 1, 0, 0, 0} };
7 
8 void
fn1()9 fn1 ()
10 {
11   int d;
12   for (b = 0; b < 5; b++)
13     for (d = 4; d; d--)
14       a[c + 1][b] = a[d + 1][d];
15 }
16 
17 /* { dg-final { scan-tree-dump "improved number of alias checks from \[0-9\]* to 1" "vect" } } */
18