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)6main (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