modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.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  }