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