/*
vrp-4.c from the execute part of the gcc torture tests.
*/

#include <testfwk.h>

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

	if (x == 1) ASSERT(0);
	if (y == 1) ASSERT(0);

	c = x / y;

	if (c != 1) ASSERT(0);
}

void
testTortureExecute (void)
{
	test(2, 2);
	return;
}