gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-39.c

   1 /* { dg-do run } */
   2 /* { dg-options "-O -fdump-tree-ccp1" } */
   3
   4 int main (void)
   5 {
   6   volatile int x1 = 1;
   7   volatile int x2 = 1;
   8   int x3 = 2;
   9   int t = 1;
  10
  11   t = 3<=(x2|1|x3|x1-1U);
  12
  13   if (t == 1) {}
  14   else { __builtin_abort(); }
  15
  16   return 0;
  17 }
  18
  19 /* { dg-final { scan-tree-dump-not "abort" "ccp1" } } */