gcc/testsuite/gcc.dg/tree-ssa/ssa-ifcombine-4.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O -fdump-tree-optimized-details-blocks" } */
   3
   4 /* Testcase extracted from PR15353.  */
   5
   6 extern void bar(void);
   7
   8 void foo (int x, int a)
   9 {
  10   /* if ((x < a) || (x != a)) return; else bar (); */
  11   if (x < a)
  12     return;
  13   if (x != a)
  14     return;
  15
  16   /* else */
  17   bar ();
  18 }
  19
  20 /* { dg-final { scan-tree-dump "!=" "optimized" } } */
  21 /* { dg-final { scan-tree-dump-not "Invalid sum" "optimized" } } */