1  /* { dg-do compile } */
       2  /* { dg-options "-O1 -fdump-tree-dom2" } */
       3    
       4  void bar1 (void);
       5  void bar2 (void);
       6  
       7  void
       8  foo (unsigned int a, unsigned int b)
       9  {
      10    if (a >= b)
      11      bar1 ();
      12    else if (a <= b)
      13      bar2 ();
      14  }
      15  
      16  /* The second conditional is redundant since we know it must be
      17     true (to reach the second condition we know a < b via the first
      18     conditional.  */
      19  
      20  /* { dg-final { scan-tree-dump-times "if " 1 "dom2" } } */