1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fno-tree-vrp -fdump-tree-dom-details" } */
3 
4 
f(int x,int y)5 int f(int x, int y)
6 {
7    int ret;
8 
9    if (x == y)
10      ret = x ^ y;
11    else
12      ret = 1;
13 
14    return ret;
15 }
16 
17 /* { dg-final { scan-tree-dump "Replaced redundant expr \[^\r\n\]* with .0."  "dom2" } } */
18 
19 
20