1 /* { dg-do compile } */
2 /* { dg-options "-O -fdump-tree-optimized-details-blocks" } */
3 
4 /* Testcase extracted from PR15353.  */
5 
foo(int x,int a)6 int foo (int x, int a)
7 {
8   /* if ((x > a) || (x == a)) */
9   if (x > a)
10     goto doit;
11   if (x == a)
12     goto doit;
13 
14   /* else */
15   return 0;
16 
17   /* then - returing 1 causes phiopt to trigger */
18 doit:
19   return 2;
20 }
21 
22 /* { dg-final { scan-tree-dump ">=" "optimized" } } */
23 /* { dg-final { scan-tree-dump-not "Invalid sum" "optimized" } } */
24