1  /* PR tree-optimization/46909 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -fdump-tree-optimized" } */
       4  
       5  extern void abort ();
       6  
       7  int
       8  __attribute__ ((__noinline__))
       9  foo (unsigned int x)
      10  {
      11    if (! (x == 4 || x == 6) || (x == 2 || x == 6))
      12      return 1;
      13    return -1;
      14  }
      15  
      16  /* { dg-final { scan-tree-dump-times "x_\[0-9\]+\\(D\\) != 4" 1 "optimized" } } */
      17  /* { dg-final { scan-tree-dump-times "x_\[0-9\]+\\(D\\) != 6" 0 "optimized" } } */
      18  /* { dg-final { scan-tree-dump-times "x_\[0-9\]+\\(D\\) == 2" 0 "optimized" } } */
      19  /* { dg-final { scan-tree-dump-times "x_\[0-9\]+\\(D\\) == 6" 0 "optimized" } } */