| /* PR tree-optimization/113849 */ | |
| /* { dg-do run { target bitint } } */ | |
| /* { dg-options "-std=c23 -pedantic-errors" } */ | |
| /* { dg-skip-if "" { ! run_expensive_tests } { "*" } { "-O0" "-O2" } } */ | |
| /* { dg-skip-if "" { ! run_expensive_tests } { "-flto" } { "" } } */ | |
| signed char c; | |
| unsigned _BitInt(512) b; | |
| __attribute__((noipa)) void | |
| foo (unsigned _BitInt(511) a, int *x) | |
| { | |
| int z = (a << 510) <= b; | |
| *x = z + c; | |
| } | |
| int | |
| main () | |
| { | |
| int x; | |
| foo (2, &x); | |
| if (x != 1) | |
| __builtin_abort (); | |
| return 0; | |
| } |