1  /* { dg-do compile } */
       2  /* { dg-options "-O -fdump-tree-cddce1" } */
       3  
       4  int *
       5  fx (int *a, int sz)
       6  {
       7    int *b = a + sz;
       8    b = b - sz;
       9    /* forwprop together with FRE should optimize this to return a;  */
      10    return b;
      11  }
      12  
      13  /* { dg-final { scan-tree-dump "return a" "cddce1" } } */