gcc/testsuite/gcc.dg/tree-ssa/pr68431.c

   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" } } */