gcc/testsuite/c-c++-common/analyzer/pr98628.c

   1 /* { dg-additional-options "-O1" } */
   2
   3 void foo(void *);
   4 struct chanset_t {
   5   struct chanset_t *next;
   6   char dname[];
   7 };
   8 struct chanset_t help_subst_chan;
   9 struct chanset_t *help_subst_chan_0_0;
  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 }