gcc-4.9/gcc/testsuite/gcc.c-torture/execute/vrp-4.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

extern void exit (int);
extern void abort ();

void test(int x, int y)
{
	int c;

	if (x == 1) abort();
	if (y == 1) abort();

	c = x / y;

	if (c != 1) abort();
}

int main()
{
	test(2, 2);
	exit (0);
}