gcc/testsuite/gcc.c-torture/compile/xfoo.c

foo (a)
{
  return (a & ~0xfff) == 0;
}