1 /*
2 vrp-1.c from the execute part of the gcc torture tests.
3 */
4 
5 #include <testfwk.h>
6 
f(int a)7 int f (int a) {
8 	if (a != 2) {
9 		a = -a;
10 		if (a == 2)
11 		  return 0;
12 		return 1;
13 	}
14 	return 1;
15 }
16 
17 void
testTortureExecute(void)18 testTortureExecute (void) {
19 	if (f (-2))
20 		ASSERT (0);
21 	return;
22 }
23 
24