1  /* { dg-do run } */
       2  
       3  int a, b;
       4  
       5  int main ()
       6  {
       7    long c = 1 % (2 ^ b);
       8    c = -c & ~(~(b ^ ~b) || a);
       9  
      10    if (c >= 0)
      11      __builtin_abort ();
      12  
      13    return 0;
      14  }