1  /* { dg-do run } */
       2  
       3  int a, c;
       4  
       5  int main ()
       6  {
       7    int e = -1;
       8    short d = (c <= 0) ^ e;
       9    if ((unsigned int) a - (a || d) <= (unsigned int) a)
      10      __builtin_abort ();
      11    return 0;
      12  }