(root)/
gcc-13.2.0/
gcc/
testsuite/
gcc.c-torture/
execute/
vrp-4.c
       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  }