if (state->strm.workspace) vfree(state->strm.workspace); 
vfree(state->strm.workspace); 
static void z_comp_free(void *arg){	struct ppp_deflate_state *state = (struct ppp_deflate_state *) arg;	if (state) {		zlib_deflateEnd(&state->strm);		if (state->strm.workspace)			vfree(state->strm.workspace);		kfree(state);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/96edf83c4e284c08584f97623f7c7f029759459e/ppp_deflate.c/buggy/drivers/net/ppp_deflate.c