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