summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.c-torture/execute/vrp-4.c
blob: 23f29220c8a692a488b54a163e9b2f164af24a80 (plain)
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);
}