1  /* { dg-do compile { target int128 } } */
       2  /* { dg-options "-O1 -ftree-vrp -fdump-tree-vrp" } */
       3  
       4  int a, b;
       5  int main() {
       6    int c;
       7    if (a > 1)
       8      a++;
       9    while (a)
      10      if (c == b)
      11        c = a;
      12    return 0;
      13  }
      14  
      15  
      16  /* { dg-final { scan-tree-dump-not "Folding predicate" "vrp2" } } */
      17  
      18