| /* PR middle-end/90095 */ | |
| /* { dg-do run } */ | |
| /* { dg-options "-Os -fno-tree-bit-ccp" } */ | |
| unsigned long long a; | |
| unsigned int b; | |
| int | |
| main () | |
| { | |
| unsigned int c = 255, d = c |= b; | |
| if (__CHAR_BIT__ != 8 || __SIZEOF_INT__ != 4 || __SIZEOF_LONG_LONG__ != 8) | |
| return 0; | |
| d = __builtin_mul_overflow (-(unsigned long long) d, (unsigned char) - c, &a); | |
| if (d != 0) | |
| __builtin_abort (); | |
| return 0; | |
| } |