gcc/testsuite/gcc.dg/tree-ssa/pr71947-8.c

   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   if (x == y)
   9     ret = x / y;
  10   else
  11     ret = 0;
  12
  13   return ret;
  14 }
  15 /* { dg-final { scan-tree-dump "Replaced redundant expr \[^\r\n\]* with .1."  "dom2" } } */
  16
  17