1 /* { dg-do compile } */
2 /* { dg-options "-O -fdump-tree-fre1" } */
3 
foo(int i)4 int foo (int i)
5 {
6   int k = i + 1;
7   int j = i + 1;
8   if (k != j)
9     k = k + 1;
10   if (k != j)
11     k = k + 1;
12   k = k - i;
13   return k;
14 }
15 
16 /* We should be able to value-number the final assignment to k to 1.  */
17 
18 /* { dg-final { scan-tree-dump "return 1;" "fre1" } } */
19