if (hcrx == NULL || !(sk->sk_state == DCCP_OPEN || sk->sk_state == DCCP_PARTOPEN)) 
BUG_ON(hcrx == NULL);  if (!(sk->sk_state == DCCP_OPEN || sk->sk_state == DCCP_PARTOPEN)) 
static void ccid3_hc_rx_insert_options(struct sock *sk, struct sk_buff *skb){	struct ccid3_hc_rx_sock *hcrx = ccid3_hc_rx_sk(sk);	u32 x_recv, pinv;	if (hcrx == NULL || !(sk->sk_state == DCCP_OPEN ||			      sk->sk_state == DCCP_PARTOPEN))		return;	DCCP_SKB_CB(skb)->dccpd_ccval = hcrx->ccid3hcrx_last_counter;	if (dccp_packet_without_ack(skb))		return;			if (hcrx->ccid3hcrx_elapsed_time != 0)		dccp_insert_option_elapsed_time(sk, skb,						hcrx->ccid3hcrx_elapsed_time);	dccp_insert_option_timestamp(sk, skb);	x_recv = htonl(hcrx->ccid3hcrx_x_recv);	pinv   = htonl(hcrx->ccid3hcrx_pinv);	dccp_insert_option(sk, skb, TFRC_OPT_LOSS_EVENT_RATE,			   &pinv, sizeof(pinv));	dccp_insert_option(sk, skb, TFRC_OPT_RECEIVE_RATE,			   &x_recv, sizeof(x_recv));}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/59d203f9e989c81defc2cb1c559d678e16dbe684/ccid3.c/clean/net/dccp/ccids/ccid3.c