1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-ivopts-details" } */
3 
4 void f2 (void);
5 
main(void)6 int main (void)
7 {
8   int i;
9   for (i = 0; i < 10; i++)
10     f2 ();
11 }
12 
13 /* { dg-final { scan-tree-dump-times "!= 0" 5 "ivopts" } }  */
14