1/* PR tree-optimization/46909 */ 2 3extern void abort (void); 4 5int 6__attribute__((noinline)) 7foo (int x) 8{ 9 if ((x != 0 && x != 13) || x == 5 || x == 20) 10 return 1; 11 return -1; 12} 13 14int 15main (void) 16{ 17 int i; 18 for (i = -10; i < 30; i++) 19 if (foo (i) != 1 - 2 * (i == 0) - 2 * (i == 13)) 20 abort (); 21 return 0; 22} 23