if (x->aalg) kfree(x->aalg); if (x->ealg) kfree(x->ealg); if (x->calg) kfree(x->calg); if (x->encap) kfree(x->encap); 
kfree(x->aalg); kfree(x->ealg); kfree(x->calg); kfree(x->encap); 
static void xfrm_state_gc_destroy(struct xfrm_state *x){	if (del_timer(&x->timer))		BUG();	if (x->aalg)		kfree(x->aalg);	if (x->ealg)		kfree(x->ealg);	if (x->calg)		kfree(x->calg);	if (x->encap)		kfree(x->encap);	if (x->type) {		x->type->destructor(x);		xfrm_put_type(x->type);	}	kfree(x);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a51482bde22f99c63fbbb57d5d46cc666384e379/xfrm_state.c/buggy/net/xfrm/xfrm_state.c