gcc/testsuite/gcc.dg/tree-ssa/ssa-dse-8.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fno-tree-dce -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dominator-opts" } */
   3
   4 /* This caused the compiler to enter an infinite loop if copies are not
   5    fully propagated.   The options are to disable copy propagation and
   6    thus expose the bug.   */
   7
   8 int foo (void);
   9
  10 struct A {
  11   struct B {
  12     struct B *n;
  13   } *p;
  14 };
  15
  16 static inline void baz (struct A *a)
  17 {
  18   a->p = a->p->n;
  19 }
  20
  21 void bar (struct A a)
  22 {
  23   while (foo ())
  24     baz (&a);
  25   while (foo ());
  26 }