1 /* PR tree-optimization/68431 */
2 /* { dg-options "-O2 -fdisable-tree-evrp -fdump-tree-vrp1-details" } */
3 
4 unsigned int x = 1;
5 int
main(void)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" } } */
17