1  /* { dg-additional-options "-O1" } */
       2  
       3  void foo(void *);
       4  struct chanset_t help_subst_chan;
       5  struct chanset_t *help_subst_chan_0_0;
       6  struct chanset_t {
       7    struct chanset_t *next;
       8    char dname[];
       9  };
      10  void help_subst(char *writeidx) {
      11    for (;; help_subst_chan = *help_subst_chan_0_0) {
      12      foo(help_subst_chan.next->dname);
      13      if (help_subst_chan_0_0) {
      14        writeidx++;
      15        *writeidx++ = ' ';
      16      }
      17    }
      18  }