modernc.org/cc@v1.0.1/testdata/gcc-6.3.0/gcc/testsuite/gcc.c-torture/execute/961122-2.c (about)

     1  int
     2  f (int a)
     3  {
     4    return ((a >= 0 && a <= 10) && ! (a >= 0));
     5  }
     6  
     7  main ()
     8  {
     9    if (f (0))
    10      abort ();
    11    exit (0);
    12  }