1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-evrp -fno-tree-ccp" } */
       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" } } */