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
       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" } } */