1  /* { dg-do compile } */ 
       2  /* { dg-options "-O2 -fno-tree-vrp -fdump-tree-dom-details" } */
       3  
       4  
       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