111
|
1 /* { dg-do compile } */
|
|
2 /* { dg-options "-Os -fno-tree-fre -fdump-tree-dom2" } */
|
|
3
|
|
4 void foo(int *);
|
|
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
|