1 /* { dg-do run } */
2 
3 int a, c;
4 
main()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 }
13