1 /* { dg-do compile } */
2 /* { dg-options "-Os -fno-tree-fre -fdump-tree-dom2" } */
3 
4 void foo(int *);
f2(int dst[3],int R)5 void f2(int dst[3], int R)
6 {
7   int i, inter[2];
8   _Bool inter0p = 0;
9   _Bool inter1p = 0;
10   for (i = 1; i < R; i++)
11     {
12       inter0p = 1;
13       inter1p = 1;
14     }
15   if (inter0p)
16     inter[0] = 1;
17   if (inter1p)
18     inter[1] = 1;
19   foo(inter);
20 }
21 
22 
23 /* There should be precisely two conditionals.  One for the loop condition
24    and one for the test after the loop.  Previously we failed to eliminate
25    the second conditional after the loop.  */
26 /* { dg-final { scan-tree-dump-times "if" 2 "dom2"} } */
27 
28 
29