1  short a = -1;
       2  int b;
       3  char c;
       4  
       5  int
       6  main ()
       7  {
       8    c = a;
       9    b = a | c;
      10    if (b != -1)
      11      __builtin_abort ();
      12    return 0;
      13  }