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

     1  extern void exit (int);
     2  extern void abort ();
     3  
     4  void test(int x, int y)
     5  {
     6  	int c;
     7  
     8  	if (x == 1) abort();
     9  	if (y == 1) abort();
    10  
    11  	c = x / y;
    12  
    13  	if (c != 1) abort();
    14  }
    15  
    16  int main()
    17  {
    18  	test(2, 2);
    19  	exit (0);
    20  }