1  
       2  unsigned a = 0xFFFFFFFF;
       3  int b;
       4  int main()
       5  {
       6    int c = ~a;
       7    unsigned d = c - 10;
       8    if (d > c)
       9      c = 20;
      10    b = -(c | 0);
      11    if (b > -8)
      12      __builtin_abort ();
      13    return 0;
      14  }
      15