gcc/testsuite/gcc.dg/tree-ssa/pr21458-2.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-evrp-details" } */
   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 "Predicate evaluates to: 1" 1 "evrp" } } */