1 /* { dg-do compile } */
2 /* { dg-options "-Os -fno-tree-fre -fdump-tree-dom2-details" } */
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 /* { dg-final { scan-tree-dump "Threaded jump" "dom2" } } */
23