1  /* PR middle-end/90095 */
       2  /* { dg-do run } */
       3  /* { dg-options "-Os -fno-tree-bit-ccp" } */
       4  
       5  unsigned long long a;
       6  unsigned int b;
       7  
       8  int
       9  main ()
      10  {
      11    unsigned int c = 255, d = c |= b;
      12    if (__CHAR_BIT__ != 8 || __SIZEOF_INT__ != 4 || __SIZEOF_LONG_LONG__ != 8)
      13      return 0;
      14    d = __builtin_mul_overflow (-(unsigned long long) d, (unsigned char) - c, &a);
      15    if (d != 0)
      16      __builtin_abort ();
      17    return 0;
      18  }