1  /* { dg-do compile } */
       2  /* { dg-options "-fno-tree-copy-prop -fno-tree-dominator-opts" } */
       3  
       4  struct S
       5  {
       6    struct S *s;
       7  };
       8  
       9  static struct S *ss;
      10  struct S *s;
      11  
      12  void bar(void);
      13  
      14  void foo(void)
      15  {
      16    for (;;)
      17      {
      18        s->s = ss;
      19        bar ();
      20      }
      21  }