gcc/testsuite/gcc.dg/pr58742-3.c

   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" } } */