if (inet->cork.opt) { kfree(inet->cork.opt); inet->cork.opt = NULL; } 
kfree(inet->cork.opt); inet->cork.opt = NULL; 
void ip_flush_pending_frames(struct sock *sk){	struct inet_sock *inet = inet_sk(sk);	struct sk_buff *skb;	while ((skb = __skb_dequeue_tail(&sk->sk_write_queue)) != NULL)		kfree_skb(skb);	inet->cork.flags &= ~IPCORK_OPT;	if (inet->cork.opt) {		kfree(inet->cork.opt);		inet->cork.opt = NULL;	}	if (inet->cork.rt) {		ip_rt_put(inet->cork.rt);		inet->cork.rt = NULL;	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a51482bde22f99c63fbbb57d5d46cc666384e379/ip_output.c/buggy/net/ipv4/ip_output.c