1 /* PR tree-optimization/114038 */
2 /* { dg-do run { target bitint } } */
3 /* { dg-options "-std=c23 -pedantic-errors" } */
4 /* { dg-skip-if "" { ! run_expensive_tests } { "*" } { "-O0" "-O2" } } */
5 /* { dg-skip-if "" { ! run_expensive_tests } { "-flto" } { "" } } */
7 #if __BITINT_MAXWIDTH__ >= 129
9 foo (unsigned _BitInt(63) x
, unsigned _BitInt(129) y
)
11 return __builtin_mul_overflow_p (y
, x
, 0);
18 #if __BITINT_MAXWIDTH__ >= 129
19 if (!foo (90, 0x80000000000000000000000000000000uwb
))