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