1 /* { dg-do compile } */
2 /* { dg-options "-O3 -fdump-tree-cunrolli-details" } */
3 int a[2];
4 void
test(int c)5 test(int c)
6 {
7   int i;
8   for (i=0;i<c;i++)
9     a[i]=5;
10 }
11 /* Array bounds says the loop will not roll much.  */
12 /* { dg-final { scan-tree-dump "loop with 2 iterations completely unrolled" "cunrolli"} } */
13 /* { dg-final { scan-tree-dump "Last iteration exit edge was proved true." "cunrolli"} } */
14