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

     1  void func(int, int);
     2  
     3  int main()
     4  {
     5          int x = 7;
     6          func(!x, !7);
     7  	exit (0);
     8  }
     9  
    10  void func(int x, int y)
    11  {
    12          if (x == y)
    13                  return;
    14          else
    15                  abort ();
    16  }