gcc/testsuite/gcc.c-torture/execute/961122-2.c

void abort (void);
void exit (int);

int
f (int a)
{
  return ((a >= 0 && a <= 10) && ! (a >= 0));
}

int
main (void)
{
  if (f (0))
    abort ();
  exit (0);
}