1 /* { dg-do compile } */
2 /* { dg-options "-O1 -fdump-tree-dom2" } */
3 
4 void bar1 (void);
5 void bar2 (void);
6 
7 void
foo(unsigned int a,unsigned int b)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" } } */
21