1  /* { dg-additional-options "-fno-analyzer-suppress-followups" } */
       2  
       3  typedef unsigned char Byte;
       4  typedef unsigned int uInt;
       5  typedef unsigned long uLong;
       6  
       7  typedef struct z_stream_s {
       8    Byte *next_in;
       9    uInt avail_in;
      10    uLong total_in;
      11  } z_stream;
      12  
      13  typedef struct inflate_blocks_state {
      14    uInt bitk;
      15    uLong bitb;
      16    Byte *write;
      17  } inflate_blocks_statef;
      18  
      19  extern int inflate_flush(inflate_blocks_statef *, z_stream *, int);
      20  
      21  int inflate_blocks(inflate_blocks_statef *s, z_stream *z, int r) {
      22    uInt t;
      23    uLong b;
      24    uInt k;
      25    Byte *p;
      26    uInt n;
      27    Byte *q;
      28    uInt m;
      29  
      30    while (k < (3)) { /* { dg-warning "use of uninitialized value 'k'" } */
      31      {
      32        if (n) /* { dg-warning "use of uninitialized value 'n'" } */
      33          r = 0;
      34        else {
      35          {
      36  	  s->bitb = b; /* { dg-warning "use of uninitialized value 'b'" } */
      37  	  s->bitk = k; /* { dg-warning "use of uninitialized value 'k'" } */
      38  	  z->avail_in = n; /* { dg-warning "use of uninitialized value 'n'" } */
      39  	  z->total_in += p - z->next_in; /* { dg-warning "use of uninitialized value 'p'" } */
      40  	  z->next_in = p; /* { dg-warning "use of uninitialized value 'p'" } */
      41            s->write = q; /* { dg-warning "use of uninitialized value 'q'" } */
      42          }
      43          return inflate_flush(s, z, r);
      44        }
      45      };
      46      b |= ((uLong)(n--, *p++)) << k; /* { dg-warning "use of uninitialized value" } */
      47      k += 8; /* { dg-warning "use of uninitialized value 'k'" } */
      48    }
      49  }