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