| /* PR middle-end/116486 */ | |
| /* { dg-do run { target bitint } } */ | |
| /* { dg-options "-O2 -fno-tree-ccp" } */ | |
| unsigned u; | |
| #if __BITINT_MAXWIDTH__ >= 129 | |
| #define N 0x100000000000000000000000000000000uwb | |
| #else | |
| #define N 0xffffffffffffffffuwb | |
| #endif | |
| int | |
| foo (void) | |
| { | |
| return __builtin_stdc_first_leading_one (u / N); | |
| } | |
| int | |
| main () | |
| { | |
| int x = foo (); | |
| if (x) | |
| __builtin_abort (); | |
| } |