| /* PR tree-optimization/112902 */ | |
| /* { dg-do compile { target bitint } } */ | |
| /* { dg-options "-std=c23 -O2" } */ | |
| double c; | |
| #if __BITINT_MAXWIDTH__ >= 2048 | |
| _BitInt (512) a; | |
| _BitInt (2048) b; | |
| void | |
| foo (void) | |
| { | |
| b = __builtin_mul_overflow_p (40, (_BitInt (512)) (-b * a), 0); | |
| } | |
| void | |
| bar (void) | |
| { | |
| c -= (unsigned _BitInt (512)) (a | a << b); | |
| } | |
| #endif |