1  /* Spurious uninitialized variable warnings, case 2.
       2     Taken from cpphash.c (macroexpand) */
       3  /* { dg-do compile } */
       4  /* { dg-options "-O -Wuninitialized" } */
       5  
       6  struct definition
       7  {
       8    int nargs;
       9    int rest_args;
      10  };
      11  
      12  struct cpp_reader;
      13  
      14  enum cpp_token
      15  {
      16    CPP_EOF, CPP_POP, CPP_COMMA, CPP_RPAREN
      17  };
      18  
      19  extern enum cpp_token macarg (struct cpp_reader *, int);
      20  
      21  void
      22  macroexpand (struct cpp_reader *pfile, struct definition *defn)
      23  {
      24    int nargs = defn->nargs;
      25  
      26    if (nargs >= 0)
      27      {
      28        enum cpp_token token;  /* { dg-bogus "token" "uninitialized variable warning" } */
      29        int i, rest_args;
      30        i = 0;
      31        rest_args = 0;
      32        do
      33  	{
      34  	  if (rest_args)
      35  	    continue;
      36  	  if (i < nargs || (nargs == 0 && i == 0))
      37  	    {
      38  	      /* if we are working on last arg which absorbs rest of args... */
      39  	      if (i == nargs - 1 && defn->rest_args)
      40  		rest_args = 1;
      41  	      token = macarg (pfile, rest_args);
      42  	    }
      43  	  else
      44  	    token = macarg (pfile, 0);
      45  	  if (token == CPP_EOF || token == CPP_POP)
      46  	    return;
      47  
      48  	  i++;
      49  	}
      50        while (token == CPP_COMMA);
      51      }
      52  }