gcc/testsuite/gcc.dg/tree-ssa/ssa-pre-6.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-pre-stats" } */
   3 int foo(int x)
   4 {
   5         int c, y;
   6         if (c)
   7                 x = 2;
   8         y = x + 1;
   9         return y;
  10 }
  11 /* We should eliminate one evaluation of x + 1 along the x = 2 path,
  12    causing one elimination.  */
  13 /* { dg-final { scan-tree-dump-times "Eliminated: 1" 1 "pre"} } */