1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-fre1" } */
       3  
       4  int a, *b;
       5  
       6  void f ()
       7  { 
       8    int d = 0, e = d;
       9    while (a++)
      10      ;
      11    if (e)
      12      goto L2;
      13  L1:
      14    d = e;
      15    b = &d;
      16  L2:
      17    if (d)
      18      goto L1;
      19  }
      20  
      21  /* The load of d could be eliminated if we'd value-number the
      22     irreducible region in RPO of the reducible result.  Likewise
      23     a redundant store could be removed.  */
      24  /* { dg-final { scan-tree-dump-times "d = 0;" 1 "fre1" { xfail *-*-* } } } */
      25  /* { dg-final { scan-tree-dump-not " = d;" "fre1" { xfail *-*-* } } } */