gnu/dist/gcc4/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 }