1  /* PR tree-optimization/46909 */
       2  
       3  extern void abort (void);
       4  
       5  int
       6  __attribute__((noinline))
       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
      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  }