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