1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdisable-tree-evrp -fdump-tree-vrp1" } */
3 
4 extern void g (void);
5 extern void bar (int);
6 
7 int
foo(int a)8 foo (int a)
9 {
10   int i;
11 
12   for (i = 1; i < 100; i++)
13     {
14       if (i)
15 	g ();
16     }
17 }
18 
19 /* { dg-final { scan-tree-dump-times "Folding predicate.*to 1" 1 "vrp1" } } */
20