1 /* 2 vrp-1.c from the execute part of the gcc torture tests. 3 */ 4 5 #include <testfwk.h> 6 f(int a)7int 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)18testTortureExecute (void) { 19 if (f (-2)) 20 ASSERT (0); 21 return; 22 } 23 24