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);
}

Reply via email to