1 /* PR tree-optimization/46909 */
2 
3 extern void abort (void);
4 
5 int
6 __attribute__((noinline))
foo(int x)7 foo (int x)
8 {
9   if ((x != 0 && x != 13) || x == 5 || x == 20)
10     return 1;
11   return -1;
12 }
13 
14 int
main(void)15 main (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