| /* PR tree-optimization/68431 */ | |
| /* { dg-options "-O2 -fdisable-tree-evrp -fdump-tree-vrp1-details" } */ | |
| unsigned int x = 1; | |
| int | |
| main (void) | |
| { | |
| long long int a = -2LL; | |
| int t = 1 <= (a / x); | |
| if (t != 0) | |
| __builtin_abort (); | |
| return 0; | |
| } | |
| /* { dg-final { scan-tree-dump-times "Folding predicate .*to 0" 1 "vrp1" } } */ |