gcc/testsuite/gcc.dg/pr102983.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-evrp" } */
   3 void foo(void);
   4
   5 static int a = 1;
   6
   7 int main() {
   8   int c = 0;
   9   for (int b = 0; b <= 0; b++) {
  10     if (!a)
  11       foo();
  12     if (b > c){
  13       if (c)
  14         continue;
  15       a = 0;
  16     }
  17     c = 1;
  18   }
  19 }
  20
  21 /* { dg-final { scan-tree-dump-times "Folding predicate c_.* to 1" 1 "evrp" } } */