1  /* { dg-do compile } */
       2  /* { dg-options "-O -fno-tree-ccp -fdump-tree-forwprop1" } */
       3  
       4  int foo (int x)
       5  {
       6    int y = 0;
       7    int z = x + 1;
       8    int w = z + y; /* becomes z */
       9    return w - z; /* becomes 0 */
      10  }
      11  
      12  /* Only z = x + 1 is retained.  */
      13  /* { dg-final { scan-tree-dump-times " = " 1 "forwprop1" } } */
      14  /* { dg-final { scan-tree-dump "return 0;" "forwprop1" } } */