1 /* { dg-do compile } */ 2 /* { dg-options "-O -fdump-tree-fre1" } */ 3 foo(int i)4int 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