r = zlib_inflate(&s, Z_FINISH); 
r = zlib_inflate(&s, Z_FULL_FLUSH); 
static void gunzip(void *dst, int dstlen, unsigned char *src, int *lenp){	z_stream s;	int r, i, flags;	/* skip header */	i = 10;	flags = src[3];	if (src[2] != Z_DEFLATED || (flags & RESERVED) != 0) {		printf("bad gzipped data\n\r");		exit();	}	if ((flags & EXTRA_FIELD) != 0)		i = 12 + src[10] + (src[11] << 8);	if ((flags & ORIG_NAME) != 0)		while (src[i++] != 0)			;	if ((flags & COMMENT) != 0)		while (src[i++] != 0)			;	if ((flags & HEAD_CRC) != 0)		i += 2;	if (i >= *lenp) {		printf("gunzip: ran out of data in header\n\r");		exit();	}	if (zlib_inflate_workspacesize() > sizeof(scratch)) {		printf("gunzip needs more mem\n");		exit();	}	memset(&s, 0, sizeof(s));	s.workspace = scratch;	r = zlib_inflateInit2(&s, -MAX_WBITS);	if (r != Z_OK) {		printf("inflateInit2 returned %d\n\r", r);		exit();	}	s.next_in = src + i;	s.avail_in = *lenp - i;	s.next_out = dst;	s.avail_out = dstlen;	r = zlib_inflate(&s, Z_FINISH);	if (r != Z_OK && r != Z_STREAM_END) {		printf("inflate returned %d msg: %s\n\r", r, s.msg);		exit();	}	*lenp = s.next_out - (unsigned char *) dst;	zlib_inflateEnd(&s);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/8a76baf02006c945fa4a2a01a58848cb38777697/main.c/buggy/arch/ppc64/boot/main.c