1  /* { dg-do run } */
       2  
       3  __INT32_TYPE__ a = 5, b, c, d;
       4  __UINT64_TYPE__ e = 20862985922;
       5  int main()
       6  {
       7    __UINT32_TYPE__ f = 4294967292;
       8    e = e | f;
       9    c = -1 % ((~f ^ 4294967292) - (e - d));
      10    b = ~-~e % ~-d;
      11    if (b)
      12      a = 0;
      13    if (a < 1)
      14      __builtin_abort();
      15    return 0;
      16  }