1  /* PR tree-optimization/68431 */
       2  /* { dg-options "-O2 -fdisable-tree-evrp -fdump-tree-vrp1-details" } */
       3  
       4  unsigned int x = 1;
       5  int
       6  main (void)
       7  {
       8    long long int a = -2LL;
       9    int t = 1 <= (a / x);
      10    if (t != 0)
      11      __builtin_abort ();
      12  
      13    return 0;
      14  }
      15  
      16  /* { dg-final { scan-tree-dump-times "Folding predicate .*to 0" 1 "vrp1" } } */