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