gcc/testsuite/gcc.dg/tree-ssa/20040624-1.c

   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" } } */