https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117649
--- Comment #2 from Andreas Schwab <sch...@linux-m68k.org> --- void __attribute__ ((noinline)) f (unsigned int i) { if ((i & 0xf0000000) != 0xc0000000) __builtin_abort (); } int main () { f (0xc0000022); }